Lógica de primeira ordem
208 páginas.
Assuntos: Filosofia.
Um tableau analítico é uma árvore: nega-se o que se quer provar, a fórmula é desdobrada em ramos por regras fixas e, se todos os ramos fecham em contradição, a prova está feita. Raymond Smullyan monta a lógica de primeira ordem inteira em cima desse método, e este livro, de 1968, é onde ele fez isso.
São três partes: lógica proposicional (valorações booleanas, tableaux, compacidade), lógica de primeira ordem (tableaux de primeira ordem, consistência analítica, teoria da quantificação) e um fecho com sistemas de Gentzen, teoremas de eliminação e completude. O fio é o dos métodos sem corte, em que a prova só usa subfórmulas do que se quer provar.
Não é uma primeira introdução à lógica. É curto e denso, e ajuda chegar com alguma familiaridade com teoria dos conjuntos e com prova formal. Aparece na bibliografia de disciplinas de lógica de cursos de filosofia, como a Lógica I da USP. É o mesmo Smullyan dos livros de enigmas de lógica, aqui em registro técnico.
Título original: First-Order Logic (Springer, 1968). A edição brasileira da Editora UNESP, em coedição com a Discurso Editorial, é de 2009, tem 208 páginas e tradução de René Pierre Mazak, Luciano Vicente e Andréa M. A. de Campos Loparic.
Edições (1)
- Editora UNESP, 2009, 208 páginas
Mais de Raymond Smullyan
- Alice no país dos enigmas, 1 leitor