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 linguage ns 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: |
L020-9788571397361 |
Código de barras: |
9788571397361 |
Peso (kg): |
0,312 |
Altura (cm): |
21,00 |
Largura (cm): |
13,70 |
Espessura (cm): |
1,20 |
Autor |
Tarski, Alfred |
Editora |
UNESP |
Idioma |
Português |
Encadernação |
BROCHURA |
Páginas |
256 |
Ano de edição |
2007 |