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: EDITORA UNESP
- Autores: AUTOR: TARSKI, ALFRED | Traduzido por: ASSIS, JESUS DE PAULA | Traduzido por: MORTARI, CEZAR A. | Selecionado por: DUTRA, LUIZ HENRIQUE DE ARAUJO | Traduzido por: BRAIBA, CELSO RENI
- ISBN: 9788571397361
- Capa: Brochura
- Edição: 1ª EDIÇÃO - 2007
- Formato: 13.70 x 21.00 cm
- Páginas: 256
Produtos relacionados
Conteúdo
Sobre a loja
A Livraria da Tarde nasce do sonho de oferecer à cidade um espaço aconchegante, repleto de livros, com uma seleção especial de literatura geral, artes, ciências humanas e livros infanto-juvenis, no bairro de Pinheiros em São Paulo. Um espaço charmoso, onde o cheiro dos livros se mistura com o cheiro do café, salgados e doces deliciosos da Cafeteria Selo Verde. Entregamos para todo o Brasil por meio do nosso site www.livrariadatarde.com.br
Pague com
Selos
Livraria da Tarde - CNPJ: 34.999.877/0001-50 © Todos os direitos reservados. 2024
