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.