Skip navigation

Use este identificador para citar ou linkar para este item: https://repositorio.ufpb.br/jspui/handle/123456789/12432
Tipo: Dissertação
Título: Alfred Tarski e o conceito de verdade em linguagens formalizadas
Autor(es): Lima, Leonardo Weber Castor de
Primeiro Orientador: Sarmento, Garibaldi Monteiro
Resumo: Nesta dissertação, oferecemos uma apresentação geral das investigações semânticas de Alfred Tarski, focalizando, em particular, sua contribuição à formalização matemática do conceito de verdade. A apresentação inclui, especialmente, um estudo sobre a monografia The Concept of Truth in Formalized Languages, e um estudo sobre a noção Tarskiana de critério de verdade – uma noção relativamente negligenciada na literatura lógico-filosófica.
Abstract: In this work we offer a general presentation of Alfred Tarski’s semantical investigations. Particularly we focus on his contribution to the mathematical formalization of the concept of truth. Our presentation includes especially a study of the monograph The Concept of Truth in Formalized Languages, as well as a study of the Tarskian notion of criterion of truth – a relatively neglected notion in logico-philosophical literature.
Palavras-chave: Lógica simbólica
Teoria dos modelos
Verdade
Alfred Tarski
CNPq: CNPQ::CIENCIAS HUMANAS::FILOSOFIA
Idioma: por
País: Brasil
Editor: Universidade Federal da Paraíba
Sigla da Instituição: UFPB
Departamento: Filosofia
Programa: Programa de Pós-Graduação em Filosofia
Tipo de Acesso: Acesso aberto
Attribution-NoDerivs 3.0 Brazil
URI: http://creativecommons.org/licenses/by-nd/3.0/br/
URI: https://repositorio.ufpb.br/jspui/handle/123456789/12432
Data do documento: 30-Jan-2004
Aparece nas coleções:Centro de Ciências Humanas, Letras e Artes (CCHLA) - Programa de Pós-Graduação em Filosofia

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
Arquivototal.pdfArquivo total1,05 MBAdobe PDFVisualizar/Abrir


Este item está licenciada sob uma Licença Creative Commons Creative Commons