Título
[pt] ALFRED TARSKI: CONSEQÜÊNCIA LÓGICA, NOÇÕES LÓGICAS E FORMAS LÓGICAS
Título
[en] ALFRED TARSKI: LOGICAL CONSEQUENCE, LOGICAL NOTIONS, AND LOGICAL FORMS
Autor
[pt] STEFANO DOMINGUES STIVAL
Vocabulário
[pt] FORMAS LOGICAS
Vocabulário
[pt] LOGICA DE ORDEM SUPERIOR
Vocabulário
[pt] INVARIANCIA
Vocabulário
[pt] DOMINIO FIXO
Vocabulário
[en] LOGICAL FORMS
Vocabulário
[en] HIGHER ORDER LOGIC
Vocabulário
[en] INVARIANCE
Vocabulário
[en] FIXED DOMAIN
Resumo
[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.
Resumo
[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.
Orientador(es)
OSWALDO CHATEAUBRIAND FILHO
Banca
LUIZ CARLOS PINHEIRO DIAS PEREIRA
Banca
OSWALDO CHATEAUBRIAND FILHO
Banca
ARNO AURELIO VIERO
Catalogação
2004-09-17
Apresentação
2004-03-25
Tipo
[pt] TEXTO
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Formato
application/pdf
Idioma(s)
PORTUGUÊS
Referência [pt]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5484@1
Referência [en]
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=5484@2
Referência DOI
https://doi.org/10.17771/PUCRio.acad.5484
Arquivos do conteúdo
CAPA, AGRADECIMENTOS, RESUMO, ABSTRACT E SUMÁRIO PDF CAPÍTULO 1 PDF CAPÍTULO 2 PDF CAPÍTULO 3 PDF CAPÍTULO 4 PDF CAPÍTULO 5 PDF REFERÊNCIAS BIBLIOGRÁFICAS PDF