Sommaire :

* Dossier : La logique élémentaire
– Benoît Rittaud : La logique d’Aristote
– Alain Zalmanski : Lewis Caroll
– Hervé Lehning : Logique Sir !
– Daniel Temam : Les règles de la déduction
– Daniel Barthe : La contraposition
– Gérard Cohen-Zardi : Logique et théorie des ensembles
– Gérard Cohen-Zardi : Le moteur logique : l’implication
– Benoît Rittaud : Le tiers-exclu

* Le projet de Hilbert
– Hervé Lehning : Le projet de Hilbert
– Hervé Lehning : Les machines de Turing
– Christophe Tollu : La chute de la maison Hilbert

* Dossier : Logique et informatique
– Nicolas Delerue : L’intelligence artificielle
– Hervé Lehning : Les circuits logiques
– Christophe Tollu : Calculabilité, décidabilité et complexité
– Nicolas Delerue : Programmer en logique : le Prolog
– Daniel Barthe : Géométrie automatique
– Bernadette Bouchon-Meunier : La logique floue
– Nicolas Delerue : Les logiques non classiques
– Jean-Louis Krivine : La correspondance de Curry-Howard
– Hervé Lehning : Syntaxe et sémantique

* Dossier : Jeux et paradoxes
– Martin Jardin : Le vrai, le faux et l’indéterminé
– Gérard Cohen-Zardi : Les énigmes d’Oedipeland
– Alain Zalmanski : Raymond Smullyan
– Elise Janveresse, Thierry de la Rue : Les cocus de Bagdad
– Daniel Barthe : Le paradoxe de Hempel
– Alain Zalmanski, Michel Criton : En toute logique
– A. Cardon : La maison hantée
– Michel Criton : Le paradoxe du menteur
– Jacques Sélamé : Raymond Devos, le forcené de la logique
– Jim Propp : Test d’aptitude autoréférentielle
– Marie Berrondo-Agrell : Logic logique