ALFRED TARSKI: LOGICAL CONSEQUENCE, LOGICAL NOTIONS, AND LOGICAL FORMS / ALFRED TARSKI: CONSEQÜÊNCIA LÓGICA, NOÇÕES LÓGICAS E FORMAS LÓGICAS

AUTOR(ES)
DATA DE PUBLICAÇÃO

2004

RESUMO

The subject of this paper is the problem of demarcation between logical and extra-logical terms of formal languages, as formulated for the first time by Tarski in his 1936 paper On the Concept of Logical Consequence. After presenting and discussing the demarcation problem, pointing out how it arises from the need for a materially adequate definition of the concept of logical consequence, we analyze the solution presented by Tarski in his posthumously published paper, entitled What Are Logical Notions? Some subsidiary issues, that are also important for the work as a whole, concern the conception of model and interpretation that springs from the two papers mentioned, and how this conception differs from the standard conception in model theory. Our main goal is to show the place occupied by the concept of logical form in Tarski`s work, and how his conception of this concept implies a broader view about the related concept of logical consequence whose correct characterization makes necessary the stratification of logical forms into a hierarchy of types.

ASSUNTO(S)

fixed domain dominio fixo logical forms invariancia invariance higher order logic formas logicas logica de ordem superior

ACESSO AO ARTIGO

Documentos Relacionados