Textes téléchargeables
Notions de logique. Une introduction à la logique du premier ordre: lois logiques, raisonnements valides, paradoxes, notion de modèle, calcul des séquents, théorème de complétude.
La loglangue facile en 15 leçons. Un cours élémentaire pour apprendre à écrire et, accessoirement, à parler la langue de la logique contemporaine.
Introduction à la logique des syllogismes. Un exposé synthétique des techniques de base de la logique ancienne.
Sélection d'articles
NFSI is not included in NF3. The Journal of Symbolic Logic, Volume 81 (2016), pp. 948-950.
Reassurance via Translation. Logique et Analyse, Volume 218 (2012), pp. 281-293.
Reassurance for the Logic of Paradox. The Review of Symbolic Logic, volume 4 (2011), issue 03, pp. 479-485.
Cantor-Bernstein's theorem in a semiring. The Mathematical Intelligencer, Volume 33 (2011), Number 3, p. 80.
Ambiguous Cardinals. Proceedings of the 70th anniversary NF meeting in Cambridge (2009).
Une élimination des coupures ne tolérant pas l'extensionnalité. Logique et Analyse, Volume 189-192 (2006), pp. 33-41.
Cuts and Gluts. Journal of Applied Non-Classical Logics, Volume 15 (2005), Number 3, pp. 249-263.
L'égalité et l'extensionnalité. Logique et Analyse, Volumes 185-188 (2004), pp. 365-374.
Une axiomatisation de la substitution. Comptes rendus de l'Académie des Sciences de Paris, Série I, Volume 338 (2004), pp. 433-436.
The Formal Theory of Syllogisms. The Review of Modern Logic, Volume 9 (2001-2003), Number 1-2, pp. 29-52.
The Rise and Fall of Typed Sentences. The Journal of Symbolic Logic, Volume 65 (2000), pp. 1858-1862.
On the Set of Atoms. Logic Journal of the IGPL, Volume 8 (2000), pp. 751-759.
The 3-stratifiable theorems of NFU∞. Notre Dame Journal of Formal Logic, Volume 40 (1999), Number 2, pp. 174-182.
L'axiome de l'infini dans NFU. Comptes rendus de l'Académie des Sciences de Paris, Volume 329 (1999), Série I, pp. 1033-1035.
The Hauptsatz for stratified comprehension: a semantic proof. Mathematical Logic Quarterly, Volume 40 (1994), pp. 481-489.
On NFU. Notre-Dame Journal of Formal Logic, Volume 33 (1992), Number 1, pp. 112-119.
Stratification and Cut-Elimination. The Journal of Symbolic Logic, Volume 56 (1991), pp. 213-226.
Deux redondances de la règle de Löb en logique modale. Logique et Analyse, Volumes 133-134 (1991), pp. 15-22.
Typical ambiguity and the axiom of choice. The Journal of Symbolic Logic, Volume 49 (1984), pp. 1074-1078.
On the Reduction of Type Theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Volume 29 (1983), pp. 235-237.
On the consistency of an impredicative fragment of Quine's NF. The Journal of Symbolic Logic, Volume 47 (1982), pp. 131-136.
Ramification et prédicativité. Logique et Analyse, Volume 84 (1978), pp. 399-419.
Ambiguity and stratification. Fundamenta Mathematicae, Volumen CI (1978), pp. 11-17.
Les théorèmes 3-stratifiés de NF3. Comptes rendus de l'Académie des Sciences de Paris, Volume 280 (1975), Série A, pp. 1657-1658. (avec M. Boffa)
Inédits
Non-normalisation de ZF (Counterexample to normalisation for ZF). Compte rendu dans G. Sundholm, "Review of Michael Dummett, Elements of Intuitionism", page 93.
NF en un nombre fini d'axiomes. (1973)
La question de la cohérence de NF. (1975)
L'interprétation prouvabiliste de la logique modale. (1982)
Soyons positifs : la complétude de la théorie naïve des ensembles.