Le fantôme de la transparence (ENS Lyon, 6 Septembre 2010). Cet exposé constitue le premier jet (très partiel) du livre paru en Septembre 2016 aux éditions Allia.
Normativité, locativité et identité, réunion PRELUDE, Paris, 28 Septembre 2009.
Identité, égalité, isomorphie ; ou ego, individu, espèce, rencontre LIGC, Firenze, villa Finaly, 18 Septembre 2009.
De la vertu négatrice au surmoi logique, rencontre LIGC, Carry le Rouet, 17/18 Octobre 2008 et séminaire de philosophie des mathématiques, ENS, 12 Janvier 2009.
Le statut paradoxal du paradoxe, rencontre LIGC, Roma Tre, 13 Décembre 2007.
La logique, d'Aristote aux algèbres d'opérateurs, Tokyo, Février 2007.
La logique aujourd'hui..., en clôture du cours de logique donné à Roma Tre, 20 Décembre 2004, manuscrit, Mars 2007.
De la syllogistique à l'iconoclasme, manuscrit, Janvier 2007.
Kurt Gödel (1906-1978), Dictionnaire d'histoire et philosophie des sciences, 2006.
La logique comme géométrie du cognitif, manuscrit, Septembre 2003.
Les fondements des mathématiques, Qu'est-ce que l'univers~?, UTLS, volume 4, éditions Odile Jacob, 2000.
Scientisme et obscurantisme, manuscrit, Novembre 2000.
Le théorème de Gödel ou une soirée avec M. Homais, Sciences et Avenir, Janvier 2000. M. Homais, icône du scientisme, incarne la réaction d'un certain type de philosophie face à l'incomplétude : c'est le désarroi de la poule quand elle trouve le couteau.