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.
id UFPB_712986d6e4b0803885cb6835d087c5ab
oai_identifier_str oai:repositorio.ufpb.br:123456789/12432
network_acronym_str UFPB
network_name_str Biblioteca Digital de Teses e Dissertações da UFPB
repository_id_str
spelling Alfred Tarski e o conceito de verdade em linguagens formalizadasLógica simbólicaTeoria dos modelosVerdadeAlfred TarskiCNPQ::CIENCIAS HUMANAS::FILOSOFIAIn 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.Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPqNesta 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.Universidade Federal da ParaíbaBrasilFilosofiaPrograma de Pós-Graduação em FilosofiaUFPBSarmento, Garibaldi Monteirohttp://lattes.cnpq.br/2084521582064670Lima, Leonardo Weber Castor de2018-12-05T13:53:24Z2018-12-052018-12-05T13:53:24Z2004-01-30info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttps://repositorio.ufpb.br/jspui/handle/123456789/12432porAttribution-NoDerivs 3.0 Brazilhttp://creativecommons.org/licenses/by-nd/3.0/br/info:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFPBinstname:Universidade Federal da Paraíba (UFPB)instacron:UFPB2018-12-05T13:53:24Zoai:repositorio.ufpb.br:123456789/12432Biblioteca Digital de Teses e Dissertaçõeshttps://repositorio.ufpb.br/PUBhttp://tede.biblioteca.ufpb.br:8080/oai/requestdiretoria@ufpb.br|| diretoria@ufpb.bropendoar:2018-12-05T13:53:24Biblioteca Digital de Teses e Dissertações da UFPB - Universidade Federal da Paraíba (UFPB)false
dc.title.none.fl_str_mv Alfred Tarski e o conceito de verdade em linguagens formalizadas
title Alfred Tarski e o conceito de verdade em linguagens formalizadas
spellingShingle Alfred Tarski e o conceito de verdade em linguagens formalizadas
Lima, Leonardo Weber Castor de
Lógica simbólica
Teoria dos modelos
Verdade
Alfred Tarski
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
title_short Alfred Tarski e o conceito de verdade em linguagens formalizadas
title_full Alfred Tarski e o conceito de verdade em linguagens formalizadas
title_fullStr Alfred Tarski e o conceito de verdade em linguagens formalizadas
title_full_unstemmed Alfred Tarski e o conceito de verdade em linguagens formalizadas
title_sort Alfred Tarski e o conceito de verdade em linguagens formalizadas
author Lima, Leonardo Weber Castor de
author_facet Lima, Leonardo Weber Castor de
author_role author
dc.contributor.none.fl_str_mv Sarmento, Garibaldi Monteiro
http://lattes.cnpq.br/2084521582064670
dc.contributor.author.fl_str_mv Lima, Leonardo Weber Castor de
dc.subject.por.fl_str_mv Lógica simbólica
Teoria dos modelos
Verdade
Alfred Tarski
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
topic Lógica simbólica
Teoria dos modelos
Verdade
Alfred Tarski
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
description 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.
publishDate 2004
dc.date.none.fl_str_mv 2004-01-30
2018-12-05T13:53:24Z
2018-12-05
2018-12-05T13:53:24Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://repositorio.ufpb.br/jspui/handle/123456789/12432
url https://repositorio.ufpb.br/jspui/handle/123456789/12432
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv Attribution-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nd/3.0/br/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nd/3.0/br/
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal da Paraíba
Brasil
Filosofia
Programa de Pós-Graduação em Filosofia
UFPB
publisher.none.fl_str_mv Universidade Federal da Paraíba
Brasil
Filosofia
Programa de Pós-Graduação em Filosofia
UFPB
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFPB
instname:Universidade Federal da Paraíba (UFPB)
instacron:UFPB
instname_str Universidade Federal da Paraíba (UFPB)
instacron_str UFPB
institution UFPB
reponame_str Biblioteca Digital de Teses e Dissertações da UFPB
collection Biblioteca Digital de Teses e Dissertações da UFPB
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFPB - Universidade Federal da Paraíba (UFPB)
repository.mail.fl_str_mv diretoria@ufpb.br|| diretoria@ufpb.br
_version_ 1798964149873541120

Registros relacionados