[pt] O tema da presente dissertação é o problema da demarcação
entre os termos lógicos e extralógicos no âmbito das
ciências formais, anunciado primeiramente por Alfred Tarski
em seu artigo de 1936, On the Concept of Logical
Consequence. Depois de expor e discutir o problema em
questão, mostrando seu surgimento a partir da necessidade
de uma definição materialmente adequada do conceito de
conseqüência lógica, analisamos a solução formulada por
Tarski em um artigo publicado postumamente, intitulado What
Are Logical Notions? Algumas discussões subsidiárias,
igualmente importantes para o trabalho como um todo, dizem
respeito à concepção dos conceitos de modelo e
interpretação que se podem depreender dos artigos
supracitados, e de como ela difere da assim chamada
concepção standard em teoria de modelos. Nosso objetivo
principal é mostrar o lugar ocupado pelo conceito de forma
lógica na obra de Tarski, e de como sua concepção acerca
deste conceito implica uma visão ampliada do conceito de
conseqüência lógica, cuja caracterização correta torna
necessária a estratificação das formas lógicas numa
hierarquia de tipos. / [en] 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.
Identifer | oai:union.ndltd.org:puc-rio.br/oai:MAXWELL.puc-rio.br:5484 |
Date | 17 September 2004 |
Creators | STEFANO DOMINGUES STIVAL |
Contributors | OSWALDO CHATEAUBRIAND FILHO |
Publisher | MAXWELL |
Source Sets | PUC Rio |
Language | Portuguese |
Detected Language | English |
Type | TEXTO |
Page generated in 0.0024 seconds