Publica-se pela primeira vez em Portugal uma introdução completa à dedução natural, dirigida sobretudo a estudantes e professores da área das Humanidades e de vários ramos da ciência.
Lógica: Um Curso Introdutório coloca em evidência a importância da lógica na filosofia, apresentando numerosos exercícios para um maior domínio das técnicas lógicas e preparando o leitor para o estudo da filosofia da linguagem, da ciência e da matemática.
Esta edição portuguesa foi especialmente revista e corrigida em colaboração com o autor, constituindo ponto de referência para todos os que desejam dominar o raciocínio dedutivo.
Mais um contributo da Gradiva para munir a comunidade filosófica de língua portuguesa daqueles instrumentos sem os quais a filosofia não poderá elevar-se acima da especulação inconsequente nem cumprir o papel crítico que constitui a sua razão de ser.
Esta obra abrange os aspectos mais relevantes da lógica elementar, bem como alguns temas que lhe estão associados:
- Verdade, validade e forma lógica
- Frases e proposições
- Funções e tabelas de verdade
- Testes semânticos de validade
- Demonstrações
- Adequação expressiva, consistência e completude
- Teoria da quantificação
- Identidade, nomes e descrições
- Teoria lógica das relações
- Lógica temporal, modal e intuicionista