Alfred Tarski e o conceito de verdade em linguagens formalizadas
Autor(a) principal: | |
---|---|
Data de Publicação: | 2004 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da UFPB |
Texto Completo: | 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_ |
1801842937772900352 |