Tarski anotado: estudo dos §2 e §3 do artigo O Conceito de Verdade nas Linguagens Formalizadas

Detalhes bibliográficos
Autor(a) principal: Alves, Carlos Roberto Teixeira
Data de Publicação: 2011
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da PUC_SP
Texto Completo: https://tede2.pucsp.br/handle/handle/11560
Resumo: In 1929 Alfred Tarski wrote the paper The Concept of Truth for Formalized Languages which presents the question to respect use concept of truth . His hypothesis is that truth or false are not predicates of things, but attribute for expressions more pre-cisely of sentences. So Tarski constructed a way to preach these attributes without reaching a self-reference contradictory in that the truth or the false are not predicated the same time: the use of a formal language and metalanguage for this formal language. This paper aims to explain the Tarskian Theory of Truth. A previus exposure in the general introduction of this paper shows the limitation of the definition for natural lan-guages. The body of this paper is devoted careful analysis, thorough and comprehensive part of the artcle The Conceopt of Truth in Formalized Languages, §2 and §3 (Theorem 7), clarificity the main points to be locasted precisely at what for Tarski the semantic meaning of the word truth
id PUC_SP-1_e54f62a754f75751983fa7e0db6a8255
oai_identifier_str oai:repositorio.pucsp.br:handle/11560
network_acronym_str PUC_SP-1
network_name_str Biblioteca Digital de Teses e Dissertações da PUC_SP
repository_id_str
spelling Souza, Edelcio Goncalves dehttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4131115U1Alves, Carlos Roberto Teixeira2016-04-27T17:26:55Z2016-02-152011-05-17Alves, Carlos Roberto Teixeira. Tarski anotado: estudo dos §2 e §3 do artigo O Conceito de Verdade nas Linguagens Formalizadas. 2011. 283 f. Dissertação (Mestrado em Filosofia) - Pontifícia Universidade Católica de São Paulo, São Paulo, 2011.https://tede2.pucsp.br/handle/handle/11560In 1929 Alfred Tarski wrote the paper The Concept of Truth for Formalized Languages which presents the question to respect use concept of truth . His hypothesis is that truth or false are not predicates of things, but attribute for expressions more pre-cisely of sentences. So Tarski constructed a way to preach these attributes without reaching a self-reference contradictory in that the truth or the false are not predicated the same time: the use of a formal language and metalanguage for this formal language. This paper aims to explain the Tarskian Theory of Truth. A previus exposure in the general introduction of this paper shows the limitation of the definition for natural lan-guages. The body of this paper is devoted careful analysis, thorough and comprehensive part of the artcle The Conceopt of Truth in Formalized Languages, §2 and §3 (Theorem 7), clarificity the main points to be locasted precisely at what for Tarski the semantic meaning of the word truth Em 1929 Alfred Tarski escreveu o artigo O Conceito de Verdade nas Linguagens For-mais o qual apresenta a questão sobre a atribuição de verdade . Sua hipótese é que verdade ou falso não são predicados de coisas, mas atributos de expressões mais precisamente de sentenças. Por isso Tarski constrói um modo de predicar esses atributos sem chegar a uma auto-referência contraditória em que a verdade , ou o falso , é e não é predicado ao mesmo tempo: o uso de uma linguagem formal e da metalinguagem para essa linguagem formal. O presente trabalho tem o objetivo de explicitar a Teoria Tarski-ana de Verdade. Uma geral exposição prévia na introdução desta dissertação mostra a limitação da definição para as linguagens naturais. O corpo central deste trabalho é de-dicado uma análise cuidadosa, minuciosa e exaustiva do corpo principal do artigo O Conceito de Verdade nas Linguagens Formalizadas, §2 e §3 (até o Teorema 7), esclare-cendo os pontos principais, para situar-se com rigor diante do que era para Tarski o sig-nificado semântico da palavra verdade Coordenação de Aperfeiçoamento de Pessoal de Nível Superiorapplication/pdfhttp://tede2.pucsp.br/tede/retrieve/24446/Carlos%20Roberto%20Teixeira%20Alves.pdf.jpgporPontifícia Universidade Católica de São PauloPrograma de Estudos Pós-Graduados em FilosofiaPUC-SPBRFilosofiaConceito tarskiano de verdadeDefinição de sentença verdadeiraVerdade em linguagens formalizadasMetalinguagemTarskiTarskian concept of truthTrue sentence definitionTruth in fornalizeds languagesMetalanguageCNPQ::CIENCIAS HUMANAS::FILOSOFIATarski anotado: estudo dos §2 e §3 do artigo O Conceito de Verdade nas Linguagens Formalizadasinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da PUC_SPinstname:Pontifícia Universidade Católica de São Paulo (PUC-SP)instacron:PUC_SPTEXTCarlos Roberto Teixeira Alves.pdf.txtCarlos Roberto Teixeira Alves.pdf.txtExtracted texttext/plain616263https://repositorio.pucsp.br/xmlui/bitstream/handle/11560/3/Carlos%20Roberto%20Teixeira%20Alves.pdf.txt58104340bb9f57fda14c8dd342c38d3aMD53ORIGINALCarlos Roberto Teixeira Alves.pdfapplication/pdf1967806https://repositorio.pucsp.br/xmlui/bitstream/handle/11560/1/Carlos%20Roberto%20Teixeira%20Alves.pdf142da51209f03ccc29b4ce39129cce9aMD51THUMBNAILCarlos Roberto Teixeira Alves.pdf.jpgCarlos Roberto Teixeira Alves.pdf.jpgGenerated Thumbnailimage/jpeg1961https://repositorio.pucsp.br/xmlui/bitstream/handle/11560/2/Carlos%20Roberto%20Teixeira%20Alves.pdf.jpge64b7fad07b7691bdeeb65edf2a1f0e0MD52handle/115602022-04-27 10:29:23.179oai:repositorio.pucsp.br:handle/11560Biblioteca Digital de Teses e Dissertaçõeshttps://sapientia.pucsp.br/https://sapientia.pucsp.br/oai/requestbngkatende@pucsp.br||rapassi@pucsp.bropendoar:2022-04-27T13:29:23Biblioteca Digital de Teses e Dissertações da PUC_SP - Pontifícia Universidade Católica de São Paulo (PUC-SP)false
dc.title.por.fl_str_mv Tarski anotado: estudo dos §2 e §3 do artigo O Conceito de Verdade nas Linguagens Formalizadas
title Tarski anotado: estudo dos §2 e §3 do artigo O Conceito de Verdade nas Linguagens Formalizadas
spellingShingle Tarski anotado: estudo dos §2 e §3 do artigo O Conceito de Verdade nas Linguagens Formalizadas
Alves, Carlos Roberto Teixeira
Conceito tarskiano de verdade
Definição de sentença verdadeira
Verdade em linguagens formalizadas
Metalinguagem
Tarski
Tarskian concept of truth
True sentence definition
Truth in fornalizeds languages
Metalanguage
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
title_short Tarski anotado: estudo dos §2 e §3 do artigo O Conceito de Verdade nas Linguagens Formalizadas
title_full Tarski anotado: estudo dos §2 e §3 do artigo O Conceito de Verdade nas Linguagens Formalizadas
title_fullStr Tarski anotado: estudo dos §2 e §3 do artigo O Conceito de Verdade nas Linguagens Formalizadas
title_full_unstemmed Tarski anotado: estudo dos §2 e §3 do artigo O Conceito de Verdade nas Linguagens Formalizadas
title_sort Tarski anotado: estudo dos §2 e §3 do artigo O Conceito de Verdade nas Linguagens Formalizadas
author Alves, Carlos Roberto Teixeira
author_facet Alves, Carlos Roberto Teixeira
author_role author
dc.contributor.advisor1.fl_str_mv Souza, Edelcio Goncalves de
dc.contributor.authorLattes.fl_str_mv http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4131115U1
dc.contributor.author.fl_str_mv Alves, Carlos Roberto Teixeira
contributor_str_mv Souza, Edelcio Goncalves de
dc.subject.por.fl_str_mv Conceito tarskiano de verdade
Definição de sentença verdadeira
Verdade em linguagens formalizadas
Metalinguagem
topic Conceito tarskiano de verdade
Definição de sentença verdadeira
Verdade em linguagens formalizadas
Metalinguagem
Tarski
Tarskian concept of truth
True sentence definition
Truth in fornalizeds languages
Metalanguage
CNPQ::CIENCIAS HUMANAS::FILOSOFIA
dc.subject.eng.fl_str_mv Tarski
Tarskian concept of truth
True sentence definition
Truth in fornalizeds languages
Metalanguage
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS HUMANAS::FILOSOFIA
description In 1929 Alfred Tarski wrote the paper The Concept of Truth for Formalized Languages which presents the question to respect use concept of truth . His hypothesis is that truth or false are not predicates of things, but attribute for expressions more pre-cisely of sentences. So Tarski constructed a way to preach these attributes without reaching a self-reference contradictory in that the truth or the false are not predicated the same time: the use of a formal language and metalanguage for this formal language. This paper aims to explain the Tarskian Theory of Truth. A previus exposure in the general introduction of this paper shows the limitation of the definition for natural lan-guages. The body of this paper is devoted careful analysis, thorough and comprehensive part of the artcle The Conceopt of Truth in Formalized Languages, §2 and §3 (Theorem 7), clarificity the main points to be locasted precisely at what for Tarski the semantic meaning of the word truth
publishDate 2011
dc.date.issued.fl_str_mv 2011-05-17
dc.date.accessioned.fl_str_mv 2016-04-27T17:26:55Z
dc.date.available.fl_str_mv 2016-02-15
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.citation.fl_str_mv Alves, Carlos Roberto Teixeira. Tarski anotado: estudo dos §2 e §3 do artigo O Conceito de Verdade nas Linguagens Formalizadas. 2011. 283 f. Dissertação (Mestrado em Filosofia) - Pontifícia Universidade Católica de São Paulo, São Paulo, 2011.
dc.identifier.uri.fl_str_mv https://tede2.pucsp.br/handle/handle/11560
identifier_str_mv Alves, Carlos Roberto Teixeira. Tarski anotado: estudo dos §2 e §3 do artigo O Conceito de Verdade nas Linguagens Formalizadas. 2011. 283 f. Dissertação (Mestrado em Filosofia) - Pontifícia Universidade Católica de São Paulo, São Paulo, 2011.
url https://tede2.pucsp.br/handle/handle/11560
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
dc.publisher.program.fl_str_mv Programa de Estudos Pós-Graduados em Filosofia
dc.publisher.initials.fl_str_mv PUC-SP
dc.publisher.country.fl_str_mv BR
dc.publisher.department.fl_str_mv Filosofia
publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da PUC_SP
instname:Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron:PUC_SP
instname_str Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron_str PUC_SP
institution PUC_SP
reponame_str Biblioteca Digital de Teses e Dissertações da PUC_SP
collection Biblioteca Digital de Teses e Dissertações da PUC_SP
bitstream.url.fl_str_mv https://repositorio.pucsp.br/xmlui/bitstream/handle/11560/3/Carlos%20Roberto%20Teixeira%20Alves.pdf.txt
https://repositorio.pucsp.br/xmlui/bitstream/handle/11560/1/Carlos%20Roberto%20Teixeira%20Alves.pdf
https://repositorio.pucsp.br/xmlui/bitstream/handle/11560/2/Carlos%20Roberto%20Teixeira%20Alves.pdf.jpg
bitstream.checksum.fl_str_mv 58104340bb9f57fda14c8dd342c38d3a
142da51209f03ccc29b4ce39129cce9a
e64b7fad07b7691bdeeb65edf2a1f0e0
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da PUC_SP - Pontifícia Universidade Católica de São Paulo (PUC-SP)
repository.mail.fl_str_mv bngkatende@pucsp.br||rapassi@pucsp.br
_version_ 1791080576004915200