Skip to content Skip to footer
CONCEPcaO SEMaNTICA DA VERDADE

Título: CONCEPcaO SEMaNTICA DA VERDADE

Autor: ALFRED TARSKI

Sinopse: 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.

Editora: Unesp

Páginas:

Ano: 2007

Edição:

Linguagem: pt-br

ISBN: 8571397368

ISBN13: 9788571397361

Informações do Autor

Nome: Alfred Tarski

Descrição: Lógico e matemático

Biografia: Alfred Tarski foi um lógico, matemático e filósofo polonês. Emigrou para os Estados Unidos em 1939, onde tornou-se cidadão naturalizado em 1945, foi professor de matemática da Universidade da Califórnia em Berkeley, de 1942 até sua morte.



E-mail
Password
Confirm Password
0
    0
    Seu Carrinho
    Carrinho VazioContinue Comprando