SOMMAIRE


Dossier 1 : La logique élémentaire

Comment garantir qu'une argumentation est correcte, qu'aucun cercle vicieux ne s'immisce dans des propos qui se veulent justes’ La logique est née avec Aristote et, à lire ou entendre tous les raisonnements fallacieux présentés avec tout le sérieux du monde par certains, on comprend que la logique, même " élémentaire " , est un indispensable bagage pour tous les citoyens.

La logique d'Aristote / Lewis Carroll / Les règles de la déduction / La contraposition / La théorie des ensembles / Le moteur logique : l'implication / Le tiers exclu

Dossier 2 : Le projet de Hilbert

À partir du XIXème siècle, les mathématiciens se penchent sur les fondements de leur discipline et s'attachent à s'assurer de leur solidité. Au début du XXème siècle, tout s'écroule. De nouvelles découvertes viennent bouleverser des siècles de certitudes. Deux camps s'opposent alors : les "intuitionnistes " ou "constructivistes " , et les "formalistes " dont le chef de file est David Hilbert.

Le projet de Hilbert / Les machines de Turing / La chute de la maison Hilbert

Dossier 3 : Logique et informatique

Pour accomplir une tâche, une machine ne peut se fonder sur la logique humaine, celle qu'en nous utilisons pour les actions de la vie quotidienne. La logique mathématique est nécessaire, c'est pourquoi l'informatique en est née et a poussé à mieux discerner l'aspect syntaxique traitable par ordinateur et l'aspect sémantique réservé aux seuls être humains. Bien entendu, les taches mécanisables sont alors strictement limitées.
Mathématiquement, elles correspondent aux fonctions tout à la fois calculables et de complexité " raisonnable".

L'intelligence artificielle / Les circuits logiques / Calculabilité, décidabilité et complexité / Programmer la logique : le Prolog / Géométrie automatique / La logique floue / La correspondance de Curry-Howard / Syntaxe et sémantique

Dossier 4 : Jeux et paradoxes

La logique est un immense territoire ludique où les paradoxes titillent le bon sens, où les mots se prennent au jeu, où l'autoréférence nous entraîne dans ses labyrinthes et où Menteurs et Sorcières, Fous et Sages s'affrontent dans des joutes impitoyables.

Le vrai, le faux et l'indéterminé / Les énigmes d'Oedipeland / Raymond Smullyan / Les cocus de Bagdad / Le paradoxe de Hempel / En toute logique / La maison hantée / Le paradoxe du menteur / Raymond Devos, le forcené de la logique / Test d'aptitude autoréférentielle / Logic logique / Solutions