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)
STEFANO DOMINGUES STIVAL
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
- Concepção semântica da verdade segundo Alfred Tarski
- Adaptive cellular immunity in aortic aneurysms: cause, consequence, or context?
- Lógica, arquitetônica e estruturas constitutivas dos sistemas filosóficos
- Noções gerais e áreas de atuação da controladoria
- Retórica organizacional: lógica, emoção e ética no processo de gestão