Lista de Desejos

Livro A concepção semântica da verdade: Textos clássicos ...

Código: 9788571397361 Marca: Editora Unesp

Este volume reúne os mais importantes artigos de Alfred Tarski, que formula claramente o problema que deseja resolver: apresentar uma definição materialmente adequada e formalmente correta da expressão 'sentença verdadeira', o que já constitui uma reformulação bastante particular do problema da verdade, e especifica as condições nas quais tal problema pode receber uma solução, isto é, as noções fundamentais da teoria, o famoso esquema T, e as especificidades da linguagem formal para a qual é possível tal definição de sentença verdadeira. Após especificar a linguagem do cálculo de classes, o autor apresenta sua definição de sentença verdadeira para essa linguagem formalizada, discute o conceito de sentença verdadeira para linguagens de ordem finita e infinita, com extensos mas também com demonstrações que requerem conhecimento de lógica clássica.

#Autor: Tarski, Alfred; Dutra, Luiz Henrique de Araújo; Mortari, Cezar A.; Braiba, Celso Reni; Assis, Jesus de Paula; Mortari, Cezar A.
#Páginas: 256
#Encadernação: Brochura
#Ano: 2007