Alfred Tarski e o conceito de verdade em linguagens formalizadas

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.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