Talks

Mondes logiques, Journée d’étude Cosmologies physiques, cosmologies logiques, Université Paris Sorbonne, 14 décembre 2016. pdf

Le possible sans les mondes, Les Lundis de la Philosophie, ENS, Paris, 5 décembre 2016.

Choses en soi et vérités absolues, Colloque Choses en soi : métaphysique et réalisme aujourd’hui, ENS, Paris, 17 novembre 2016. slides

Descente et contexte, Séminaire Histoire et de Philosophie des Mathématiques, SPHERE, Université Paris-Diderot, 3 octobre 2016.

Logique et domaines d’objets mathématiques, 4e Ecole Thématique en Philosophie des Mathématiques, Institut de Mathématiques de Toulouse, 30 juin 2016. slides

Fibered structures for logic (2), Trimestre thématique CIPPMI, Institut de Mathématiques de Toulouse, June 2, 2016. slides

Fibered structures for logic (1), Trimestre thématique CIPPMI, Institut de Mathématiques de Toulouse, May 30, 2016. slides

L’idée d’un entendement mathématique, Colloque Les opérations mentales aux XVIIe et XVIIIe siècles, Université Paris Ouest, Nanterre, 20 mai 2016. slides

A Fregean Model Theory, The University of Notre Dame, Indiana, April 27, 2016. slides

Le « problème de l’identité » pour une philosophie structuraliste des mathématiques, Séminaire L'(id)entité :: L'(id)entification, SPHERE, Paris, 17 mars 2016. slides

Présentation de la théorie des esquisses, Séminaire Catégories supérieures, polygraphes et homotopie dirigé par François Métayer, Université Paris-Diderot, 11 mars 2016.

Frege’s model theory, First IUSS/IHPST Joint Workshop in Philosophy of Mathematics and Logic, Institute of Advances Study, IUSS, Pavia, March 3, 2016. slides

Benacerraf’s Antinomy and Its Kantian Solution, Reconciling Nominalism and Platonism in Philosophy of Mathematics, joint workshop Columbia University (Dept. of Philosophy) – University Paris Panthéon Sorbonne (IHPST), Paris, November 27, 2015. slides

Mathematical settings, 7th French Philosophy of Mathematics Workshop (FPMW 7), Paris, November 6, 2015, invited speakerslides

Autour du livre de J.-M. Salanskis, Partages du sens (2014), Salon du livre, 3 octobre 2015. pdf

Homotopy model theory, Logic Colloquium 2015, Helsinki, August 4, 2015. slides

Indiscernibility in mathematics, 15th Congress on Logic, Methodology, and Philosophy of Science (CLMPS 2015), Helsinki, August 5, 2015. slides

Homotopy model theory, 15th Congress on Logic, Methodology, and Philosophy of Science (CLMPS 2015), Helsinki, August 4, 2015. slides

Structures and settings in mathematics. A presentational account of mathematical objectivity, Summer School 2015: French and Analytic Approaches to Science in the 20th Century and Today, Archives Henri Poincaré, Nancy, 17 juin 2015. slides

Preuves et esquisses, Conférence Histoire et Philosophie des Sciences, dans le cadre du Master Mathématiques Enseignement de l’Université Paris Est Marne-la-Vallée, 14 avril 2015. slides

Quelques problèmes que pose la logique à la philosophie des mathématiques, Ecole thématique Mathématiques, Informatique et Philosophie contemporaines III, Institut de Mathématiques de Toulouse, 23-27 mars 2015.

Benacerraf’s Mathematical Antinomy, Logic, Mathematics, and Philosophy, Purdue University, September 19-20, 2014. slides  Video 1/6 Video 2/6 Video 3/6 Video 4/6 Video 5/6 Video 6/6

Geometric Modal Logic, Bucharest Colloquium in Analytic Philosophy 2014, University of Bucharest, September 3-4, 2014. slides

Models as Universes, Symposium on the Foundations of Mathematics, Kurt Gödel Research Center for Mathematical Logic (KGRC), Vienna, July 7-8 , 2014. slides

Logic and Ontology: The Issue of Absolute Generality, Summer School Contemporary French Philosophy and the Analytic Tradition, Université Paris Ouest, June 26, 2014. slides

Category theory and set theory: algebraic set theory as an example of their interaction, FilMat 2014, San Raffaele University, Milano, 30 mai 2014. slides  video

Universalité et nécessité de la logiqueLogic in Question 4, Université Paris-Sorbonne, 13-14 mai 2014. slides

Universalité et contextualité. Une théorie des modèles frégéenne, Séminaire Philmath, IHPST, Paris, 7 mars 2014.

Logical universality and logical contextuality in Frege, International Conference Frege’s Logical Investigations, Université Bordeaux Montaigne, 18-20 décembre 2013. slides

Fibrational Semantics, What Can Category Theory Do For Philosophy?, University of Kent, Canterbury, 9-11 juillet 2013. slides

Une application de la géométrie différentielle à la logique modale, Séminaire Histoires de géométries, Paris, 27 mai 2013. slides

Category theory and set theory: examples of their interaction, Workshop Category-Theoretic Foundations of Mathematics, UC Irvine (California), 4-5 mai 2013. slides

Geometric Modal Logic, 4th World Congress and School on Universal Logic, Rio de Janeiro, 3-7 avril 2013.

Sur la théorie algébrique des ensemblesPhilosophie et Mathématiques Contemporaines CNRS School, Saint-Flour, June 2012. slides

Sur la théorie algébrique des ensembles, Ecole Thématique CNRS Jeunes Chercheurs Mathématiques et Philosophie Contemporaines I, Saint-Flour, 25-29 juin 2012.

Relativizing Tarskian VariablesPhilosophy of Mathematics Today (Bucharest Colloquium in Analytic Philosophy), University of Bucharest, 1-3 juin 2012. slides

Structured Variables (with Sébastien Gandon), Logicism Today, Besse-en-Chandesse, June 2011. slides

Les mathématiques et les lettres. Sur la combinatoire, Université Paul Sabatier, Institut de Mathématiques de Toulouse, 14 avril 2011.

Ambiguity of TypesPM@100. Logic from 1910 to 1927, McMaster University (Ontario), May 2010.

Homologic, Philosophy and Model Theory, Université Paris Ouest & ENS, June 2010. slides

Logical validity and logical universeThe Classical Model of Science, Vrije Universiteit, Amsterdam, January 2007.

Univers logique et validitéColloque triannuel de la Société de Philosophie Analytique, La Baume-les-Aix, September 2006.

Russell and the Versatility of Universality, Russell versus Meinong, McMaster University (Ontario), May 2005.