Quand Ulysse se dit crétois - les champions du mensonge pour les Grecs - il admet son mensonge et en mentant dit donc la vérité. La situation serait en revanche paradoxale si Ulysse était crétois.

Quelles sont les limites de la logique - la pensée exprimée par le langage - son potentiel, ses difficultés ? Depuis sa création, la logique a côtoyé la philosophie, la théologie, la linguistique, jusqu'à devenir un langage formel étroitement lié aux mathématiques et à l'informatique.

Ce livre en raconte la passionnante histoire, de l'aube de la civilisation jusqu'à nos jours, à travers les aventures personnelles et intellectuelles de ses protagonistes les plus importants, d'Aristote à Turing et Gödel. Paradoxes et casse-tête, axiomes et règles de la raison, applications pratiques telles les ordinateurs défilent dans cet ouvrage avec légèreté, ironie et esprit critique. Une passionnante exploration de la logique et de la pensée.

• Des mots, toujours des mots, encore des mots
• (de Neandertal à Homère)
• Les mensonges d'Ulysse (Épiménide et Eubulide)
• La course d'Achille (Parménide et Zenon)
• L'harmonie du Monde (Pythagore)
• Idées académiques (Platon)
• Une métaphysique lycéenne (Aristote)
• Leçons sous Le portique (Chrysippe)
• Intermède scolastique (D'Abélard à Occam)
• La meilleure des logiques possibles (Lulle et Leibniz)
• Révolutions coperniciennes (Newton et Kant)
• Quand le début est aussi la fin (Boole)
• Le sauvageon apprivoisé (Cantor et Dedekind)
• Les "principia" des mathématiques (Frege et Russell)
• À la recherche du traité perdu (Wittgenstein et Bourbaki)
• Questions de forme (Hilbert)
• L'intuition au pouvoir (Poincaré et Brouwer)
• Le règlement des comptes (Gödel)
• L'énigme de l'informatique (Turing)
• La vérité, ça fait mal (Tarski et Kripke)
• Logica longa, vita brevis (D'Einstein à Sen)