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.

PDF

 

La loglangue facile en 15 leçons. Un cours élémentaire pour apprendre à écrire et, accessoirement, à parler la langue de la logique contemporaine.

PDF

 

Introduction à la logique des syllogismes. Un exposé synthétique des techniques de base de la logique ancienne.

PDF


Sélection d'articles

NFSI is not included in NF3. The Journal of Symbolic Logic, Volume 81 (2016), pp. 948-950.

PDF

 

Reassurance via Translation. Logique et Analyse, Volume 218 (2012), pp. 281-293.

PDF

 

Reassurance for the Logic of Paradox. The Review of Symbolic Logic, volume 4 (2011), issue 03, pp. 479-485.

PDF

 

Cantor-Bernstein's theorem in a semiring. The Mathematical Intelligencer, Volume 33 (2011), Number 3, p. 80.

PDF

 

Ambiguous Cardinals. Proceedings of the 70th anniversary NF meeting in Cambridge (2009).

PDF

 

Une élimination des coupures ne tolérant pas l'extensionnalité. Logique et Analyse, Volume 189-192 (2006), pp. 33-41.

PDF

 

Cuts and Gluts. Journal of Applied Non-Classical Logics, Volume 15 (2005), Number 3, pp. 249-263.

PDF

 

L'égalité et l'extensionnalité. Logique et Analyse, Volumes 185-188 (2004), pp. 365-374.

PDF

 

Une axiomatisation de la substitution. Comptes rendus de l'Académie des Sciences de Paris, Série I, Volume 338 (2004), pp. 433-436.

PDF

 

The Formal Theory of Syllogisms. The Review of Modern Logic, Volume 9 (2001-2003), Number 1-2, pp. 29-52.

PDF     Errata

 

The Rise and Fall of Typed Sentences. The Journal of Symbolic Logic, Volume 65 (2000), pp. 1858-1862.

PDF

 

On the Set of Atoms. Logic Journal of the IGPL, Volume 8 (2000), pp. 751-759.

PDF

 

The 3-stratifiable theorems of NFU. Notre Dame Journal of Formal Logic, Volume 40 (1999), Number 2, pp. 174-182.

PDF

 

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.

PDF

 

The Hauptsatz for stratified comprehension: a semantic proof. Mathematical Logic Quarterly, Volume 40 (1994), pp. 481-489.

PDF

 

On NFU. Notre-Dame Journal of Formal Logic, Volume 33 (1992), Number 1, pp. 112-119.

PDF

 

Stratification and Cut-Elimination. The Journal of Symbolic Logic, Volume 56 (1991), pp. 213-226.

PDF

 

Deux redondances de la règle de Löb en logique modale. Logique et Analyse, Volumes 133-134 (1991), pp. 15-22.

PDF

 

Typical ambiguity and the axiom of choice. The Journal of Symbolic Logic, Volume 49 (1984), pp. 1074-1078.

PDF

 

On the Reduction of Type Theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Volume 29 (1983), pp. 235-237.

PDF

 

On the consistency of an impredicative fragment of Quine's NF. The Journal of Symbolic Logic, Volume 47 (1982), pp. 131-136.

PDF

 

Ramification et prédicativité. Logique et Analyse, Volume 84 (1978), pp. 399-419.

PDF

 

Ambiguity and stratification. Fundamenta Mathematicae, Volumen CI (1978), pp. 11-17.

PDF

 

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)

PDF


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.

PDF

 

NF en un nombre fini d'axiomes. (1973)

PDF

 

La question de la cohérence de NF. (1975)

PDF

 

L'interprétation prouvabiliste de la logique modale. (1982)

PDF

 

Soyons positifs : la complétude de la théorie naïve des ensembles.

PDF