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.
Código: | L006-9788571397361 |
Código de barras: | 9788571397361 |
Peso (kg): | 0,310 |
Altura (cm): | 21,00 |
Largura (cm): | 14,00 |
Espessura (cm): | 1,33 |
Autor | Tarski Alfred |
Editora | Editora UNESP |
Idioma | PORTUGUES |
Encadernação | BROCHURA |
Páginas | 256 |
Ano de edição | 2007 |
A concepção semântica da verdade
Frequentemente comprados juntos
Naturalismo
As ideias naturalistas na epistemologia, na metafísica e na filosofia da linguagem têm sido algumas ..
R$80,50
Vendido e entregue por Leitura - MG/BH - Shopping Cidade