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
