LOGICA OU A ARTE DE RACIOCINAR, A

Este livro apresenta informalmente os enunciados, que são a matéria da lógica. Num primeiro momento, mostrará como estes enunciados podem relacionar-se com os objectos do pensamento ou das matemáticas. Sobre estas bases, fará o leitor descobrir o raciocínio, com as suas provas, as suas hipóteses e os seus teoremas. Para terminar, constatará que estas estruturas não são unicamente belas construções do espírito, mas constituem também um instrumento ao serviço dos outros ramos das matemáticas. Se este livro consegue dissipar a opinião comum que a lógica não é mais do que um formalismo rebarbativo e convencer o leitor do seu interesse, da sua beleza e das suas forças, terá atingido o seu objectivo.