Alfred Tarski e o conceito de verdade em linguagens formalizadas

Detalhes bibliográficos
Ano de defesa:	2004
Autor(a) principal:	Lima, Leonardo Weber Castor de
Orientador(a):	Não Informado pela instituição
Banca de defesa:	Não Informado pela instituição
Tipo de documento:	Dissertação
Tipo de acesso:	Acesso aberto
Idioma:	por
Instituição de defesa:	Universidade Federal da Paraíba Brasil Filosofia Programa de Pós-Graduação em Filosofia UFPB
Programa de Pós-Graduação:	Não Informado pela instituição
Departamento:	Não Informado pela instituição
País:	Não Informado pela instituição
Palavras-chave em Português:	Lógica simbólica Teoria dos modelos Verdade Alfred Tarski CNPQ::CIENCIAS HUMANAS::FILOSOFIA
Link de acesso:	https://repositorio.ufpb.br/jspui/handle/123456789/12432
Resumo:	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.

Registros relacionados