Dissertações
Alfredo Tarski e o Conceito de Verdade em Linguagens Formalizadas
LEONARDO WEBER CASTOR DE LIMA
Dissertação
- Autor
- LEONARDO WEBER CASTOR DE LIMA
- Orientador(a)
- Garibaldi Monteiro Sarmento
- Universidade
- UNIVERSIDADE FEDERAL DA PARAÍBA ( JOÃO PESSOA ) — UFPB-JP
- Programa
- FILOSOFIA
- Grau
- MESTRADO
- Ano
- 2004
2004LEONARDO WEBER CASTOR DE LIMA. Alfredo Tarski e o Conceito de Verdade em Linguagens Formalizadas. 2004. Dissertação (MESTRADO em FILOSOFIA) — UNIVERSIDADE FEDERAL DA PARAÍBA ( JOÃO PESSOA ), PB. Orientador(a): Garibaldi Monteiro Sarmento.3
Nesta 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 presentaçã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.
Palavras-chave: