Ce manuel, qui constitue une introduction à la logique formelle contemporaine, est composé de cours, d’exemples détaillés et d’exercices corrigés. Il utilise le cadre de la « logique des dialogues » et peut être utilisé par des personnes souhaitant s’initier à la logique tout comme par des étudiants souhaitant approfondir leur formation en logique en découvrant un cadre logique non-standard, particulièrement adapté pour exprimer une pluralité de logiques. Grâce à la « logique des dialogues », la logique formelle est abordée sous forme de jeu, avec des règles d’interaction qui définissent la signification des connecteurs. Changer les règles du jeu permet de changer de logique et de passer, par exemple, de la logique classique à la logique intuitionniste. 

Zoé McConaughey est maîtresse de conférences en logique et épistémologie au département de philosophie de l’Université de Lille, UMR 8163 STL. Elle promeut et développe la « logique des dialogues », et se spécialise en philosophie et en histoire de la logique, en étudiant notamment la logique d’Aristote.