Comment garantir qu'une argumentation est correcte et qu'aucun cercle vicieux ne s'immisce dans des propos qui se veulent justes? On comprend à ces mots que la logique est un indispensable bagage à tous...
Syllogismes, tiers exclu, implications ou règles de déduction: le lecteur de cet ouvrage verra naître avec Aristote la logique élémentaire. Puis il rêvera avec Hilbert d'un absolu mathématique avant de l'abattre en compagnie de Gödel. Il se frottera aux logiques nouvelles avec la logique floue. Enfin, il découvrira un immense territoire ludique fait d'énoncés auto-référents ou de joutes impitoyables où s'affrontent Menteurs et Sincères, Sages et Fous, Barbiers, Princesses...
Sommaire
- La logique élémentaire
- Le projet de Hilbert
- Logique et informatique
- Jeux et paradoxes.