Descrição
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,
como 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 comentários, mas também com demonstrações que requerem
conhecimento de lógica clássica.
Posição #22043 na lista de mais vendidos da Livraria 30porcento.
Dados Técnicos
Páginas: 256
Peso: 312g
ISBN: 9788571397361