Philosophie
Recherche
Thèmes de recherche :
Philosophie des systèmes (Kant, Hegel, Foucault, Vuillemin et l’histoire structurale de la philosophie),
Logique, mathématiques, informatique (théorie de la démonstration ; structures et catégories ; langages de programmation, théorie des systèmes d’exploitation, normes et protocoles ; instruments de calcul),
Sinologie (pensée et mathématiques chinoises).
Publications
Organisation de séminaires
Organisation de colloques
Travaux d’informatique philosophique et mathématique
Communications
Travaux universitaires
Enseignement
Voir aussi le CV sur HAL.
Publications
Ouvrage en nom propre
- Les Classifications des systèmes philosophiques, Paris, Vrin, 2016 (voir l’index et la table des matières).
Direction d’ouvrage collectif
- Jean-Jacques Szczeciniarz et Baptiste Mélès, Hommage à Jean Cavaillès, Paris, Hermann, 2019.
Direction de numéros de revue
- Dossier « Théorie des ensembles et théologie : l’Anselme de Jules Vuillemin », Klesis, 50, 2021.
- Dossier « Jules Vuillemin face à la philosophie analytique » préparé avec Gerhard Heinzmann, Revue de synthèse, 2020.
- Dossier « Lectures et postérités de La Philosophie de l’algèbre de Jules Vuillemin » préparé avec Sébastien Maronne, Philosophia Scientiae, 2020, 24/3.
- Dossier « Comment lire L’Archéologie du savoir de Michel Foucault ? » préparé avec Martin Rueff, Les Études philosophiques, 2015, n°3.
- Dossier « Jules Vuillemin et les systèmes philosophiques » préparé avec Thomas Bénatouïl, Les Études philosophiques, 2015, n°1.
Participation à un ouvrage collectif
- David Rabouin (dir.), Mathesis universalis. Écrits sur la Mathématique Universelle, Paris, Vrin, 2018.
Articles
2021
- « Les Anselme de Jules Vuillemin : de la critique générale de la raison pure à la classification des systèmes philosophiques », Klesis, 50, 2021.
2020
- « Structure et évolution de La Philosophie de l’algèbre de Jules Vuillemin (tomes I et II) », Philosophia Scientiæ, 2020, 24/3 .
- « Les langages de Turing », Intellectica, 2020/1, 72, p. 81-110.
- « Jules Vuillemin, disciple hétérodoxe de Martial Gueroult », Revue internationale de philosophie, 2020, 1, p. 63-76.
2019
- (avec Renan Strauss) Présentation et édition du texte de Jules Vuillemin « De la connaissance sensible et de la parité qu’elle manifeste entre l’homme et l’animal », Philosophia Scientiæ, 2019, n°23/3, p. 119-134.
- « Thématisation et philosophie de l’informatique », in Jean-Jacques Szczeciniarz et Baptiste Mélès, Hommage à Jean Cavaillès, Paris, Hermann, 2019.
- « Les Amis de Jean Cavaillès, de 1947 à aujourd’hui », in Jean-Jacques Szczeciniarz et Baptiste Mélès, Hommage à Jean Cavaillès, Paris, Hermann, 2019.
- « Time and Activity in Unix », Cairn International, 2019, [https://www.cairn-int.info/article-E_RES_206_0125--time-and-activity-in-unix.htm].
2018
- « Les langages du web », TDC (Textes et documents pour la classe) n°1116, éditions Canopé, 15 juin 2018, p. 40-43.
2017
- « Le style c’est l’homme. . . », dans « Hommages à Pierre-Yves Canu », Aujourd’hui Jean Prévost, n°17, 2017, p. 260.
- Film d’animation « À quoi pensent les robots ? » (réalisé par Philippe Thomine) dans la série La Philo en petits morceaux.
- « Temps et activité selon Unix », Réseaux, nov.-déc. 2017, p. 125-153.
- (avec Didier Lommelé) « Forme et matière informatiques. Le concept de mémoire et ses réalisations physiques », Cahiers philosophiques, 2017/2, p. 61-77.
- (avec Julien Borgeon et Raphaël Derobe) « Deux textes politiques de Jules Vuillemin », Philosophia Scientiæ, 2017, n°21/2, p. 141-147.
- (avec Raphaël Derobe) Édition du texte de Jules Vuillemin « Effets moraux de l’accélération de l’histoire », Philosophia Scientiæ, 2017, n°21/2, p. 149-161.
- (avec Julien Borgeon) Édition du texte de Jules Vuillemin « Sommes-nous-libres ? », Philosophia Scientiæ, 2017, n°21/2, p. 163-174.
2016
- Traduction française de l’article « Le Problème des quatre couleurs et sa signification philosophique » de Thomas Tymoczko, in Philosophie des mathématiques. Volume 2 : Logique, preuves et pratiques, éd. par Sébastien Gandon et Ivahn Smadja, Vrin, coll. Textes-clefs, 2016.
- « Abacus as a Programming Language : Computer Science and History of Mathematics », Cultures of Mathematics and Logic. Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012, édité par Shier Ju, Benedikt Löwe, Thomas Müller et Yun Xie, Birkhäuser, 2016, p. 43-59.
- « Comment le scepticisme est devenu un système. La classification de Jules Vuillemin et ses transformations », Philosophia Scientiæ, 2016, n°20/3, p. 91-107.
- « Démonstration (article grand public) », L’Encyclopédie philosophique, septembre 2016.
- « Approche philologique des langages de programmation », Technique et science informatiques, n°35/2, 2016, p. 237-254 (PDF).
2015
- « La comptine des neuf divisions. Quand les nombres sont des programmes », Images des Mathématiques, CNRS, 26 septembre 2015.
- « Les « règles de formation » comme catégories foucaldiennes », Les Études philosophiques, 2015, n°3, p. 391-411.
- « L’informatique sans ordinateur », Images des Mathématiques, CNRS, 21 août 2015, avec une présentation de Serge Abiteboul sur le blog Binaire (27 août 2015).
- « Dieu a-t-il programmé le monde en Java ? », avec une présentation de Serge Abiteboul, blog Binaire, 23 mars 2015.
- Présentation et édition de l’inédit de Jules Vuillemin « Un Français peut-il encore comprendre les philosophes d’outre-Manche ? », Les Études philosophiques, 2015, n°1, p. 9-30.
- « La classification cubique des systèmes philosophiques par Jules Vuillemin », Les Études philosophiques, 2015, n°1, p. 51-64.
2014
- « Thématisation et philosophie de l’informatique », EpiNet n°164, avril 2014.
- « Ornithorynques ou mulets ? L’éclectisme et le conflit des systèmes philosophiques », dans Syncrétismes, mythes et littératures, éd. par Maria Benedetta Collini et Pascale Auraix-Jonchière, Maison des Sciences de l’Homme, Clermont-Ferrand, 2014, p. 67-83.
2013
- « Unix selon l’ordre des raisons : la philosophie de la pratique informatique », Philosophia Scientiæ, 17/3,
2013, p. 181-198 (version de l’auteur). - « Pastore ou l’élégance, fille de la paresse : Portrait de Javier Pastore en Évariste Galois », Cahiers du football, 16 juillet 2013.
- « Laurent Derobert, Fragments de mathématiques existentielles », Revue de synthèse, tome 134, 6e série, n°3, 2013, p. 406-408 (version originale sans les coquilles des éditeurs).
2010-2012
- « No Group for Constructive Logics : the Intuitionistic and Linear Cases », in Jean-Yves Beziau and Dale Jacquette (éd.), Around and Beyond the Square of Opposition, Basel, Birkhauser, 2012, p. 201-217.
- « Pratique mathématique et lectures de Hegel, de Jean Cavaillès à William Lawvere », Philosophia Scientiæ, 16/1, 2012, p. 153-182 (version de l’auteur).
-
« Experience and Subjectivity : François Jullien and Jean François Billeter », à paraître dans le Journal of Chinese Philosophy (version de l’auteur). -
« Systems and Teaching in Stoic and Confucian Philosophies », Developing International Communications Skills in Japanese Cultural Studies, Tokyo, Ochanomizu University, 2010, p. 54-56.
Organisation de séminaires
Séminaire Codes Sources (commencé en janvier 2015).
Séminaire de traduction de Jules Vuillemin aux Archives Poincaré de Nancy (depuis 2012).
Séminaire d’étude de textes inédits de Jules Vuillemin aux Archives Poincaré de Nancy (depuis 2012).
Organisation de colloques
Les colloques internationaux sont notés en caractères gras.
Journée d’études « Jules Vuillemin et la philosophie analytique » (avec Gerhard Heinzmann), Nancy, Maison des Sciences de l’Homme, 6 février 2019.
Membre du comité scientifique du colloque History and Philosophy of Programming (HaPoP4), Oxford (Royaume-Uni), 23 mars 2018.
Journée d’études « Théorie des ensembles et théologie : l’Anselme de Jules Vuillemin », Nancy, Maison des Sciences de l’Homme, 12 février 2018.
Membre du comité organisateur de la Neuvième Rencontre Française de Philosophie des Mathématiques, Nancy, 5-7 octobre 2017.
Journée d’études pédagogique « L’histoire structurale de la philosophie » (avec Joseph Vidal-Rosset), Nancy, Maison des Sciences de l’Homme, 7 décembre 2016.
Membre du comité scientifique de la Huitième Rencontre Française de Philosophie des Mathématiques, Marseille, 3-5 novembre 2016.
Co-organisation (avec Liesbeth de Mol, Raphaël Fournier-S’niehotta et Giuseppe Primiero) du colloque international « Operating Systems : History, Philosophy, Perspectives », Third Symposium for the History and Philosophy of Programming, Paris, Conservatoire national des Arts et métiers, 25 juin 2016.
Session « Style(s) d’écriture et calculs » de l’atelier « Mathématiques et Philosophie des Mathématiques » du trimestre thématique Current Issues in the philosophy of practice of Mathematics & Informatics, organisée avec Sébastien Maronne, Institut de Mathématiques de Toulouse, 15-16 avril 2016.
Journée d’études « La Méthodologie transcendantale de Kant » organisée avec Ayşe Yuva, Nancy, Maison des Sciences de l’Homme, 16 mars 2016.
Journée d’études « Jules Vuillemin et le réalisme », organisée avec David Thomasette, Maison des Sciences de l’Homme, Nancy, 4 décembre 2015.
Atelier « Rhétorique en mathématiques », Maison des Sciences de l’Homme, Nancy, 27 novembre 2015.
Journée d’études « Catégories de langue et catégories de pensée : philosophie, linguistique, informatique », organisée avec Alain Petit, Maison des Sciences de l’Homme, Clermont-Ferrand, 22 mars 2014 :
- Baptiste Mélès, « Catégories de langue et catégories de pensée dans les langages de programmation »
- Lidia Lebas-Fraczak, « Rapport entre la pensée et le langage selon Vygotski »
- Laurent Villevieille, « Trendelenburg, de l’énoncé aux catégories »
- Alain Petit, « Benveniste : la détermination par la langue »
Co-organisateur, avec Karine Chemla et Renaud Chorlay, du Bloc 1 « La variété des sources mathématiques et la question de leur interprétation » du GDR 3398 « Histoire des mathématiques », CIRM (Luminy), 4-8 novembre 2013.
Membre du comité organisateur du Congress HAPOC 2013 « History and Philosophy of Computing », ENS-Paris, 28-31 octobre 2013, coordination par Maarten Bullynck et Jean-Baptiste Joinet.
Journée d’études « Comment lire L’Archéologie du savoir de Michel Foucault ? », organisée avec Thomas Bénatouïl aux Archives Poincaré de Nancy, 8 février 2013 :
- Baptiste Mélès, « Des catégories faisons table rase ! Les formations discursives »
- Luca Paltrinieri, « Le savoir comme objet. Quel modèle d’histoire pour l’archéologie ? »
- Frédéric Fruteau de Laclos, « Archéologie de L’Archéologie du savoir »
- Alain Petit, « L’archéologie contre l’égologie »
- David Rabouin, « L’exception mathématique »
Journée d’études Modèles mathématiques pour la philosophie (Clermont-Ferrand, 26 mars 2011), avec le centre de recherches Philosophies et Rationalités, la Maison des Sciences de l’Homme de Clermont-Ferrand, l’université Blaise Pascal et le soutien de l’Institut Universitaire de France :
- Alain Petit, « Mathématique et métaphysique procliennes »
- Daniel Parrochia, « Leibniz : modèle mathématique de l’ordre et origine des fonctions spline »
- Jean Seidengart, « La théorie des groupes comme modèle général d’inspiration pour la philosophie de Ernst Cassirer »
- Baptiste Mélès, « Logique hegelienne et théorie des catégories chez William Lawvere »
Travaux d’informatique philosophique et mathématique
MesoCalc, calculatrice pour le calcul sexagésimal positionnel mésopotamien (2013).
Création du langage de programmation TMPL : simulateur de machines de Turing (2008).
La SpinozaBase, base de données sur la structure déductive de l’Éthique de Spinoza (depuis 2007).
Communications
Les communications internationales sont notées en caractères gras.
2023
« Défis archivistiques et philologiques de la préservation des codes sources », journée d’études « Aspects ontologiques et épistémiques des sources et des ressources textuelles », Nancy, MSH, 11 juillet 2023.
« Jules Vuillemin philosophe », école thématique « Mathématiques et Philosophie Contemporaine X », Saint-Ferréol, 27 juin 2023.
« Jules Vuillemin historien de la philosophie et des sciences », école thématique « Mathématiques et Philosophie Contemporaine X », Saint-Ferréol, 26 juin 2023.
« When analytic languages were the future of programming », colloque « PROGRAMme spring workshop : Future visions on computing and programming then and now », Lille, 12 juin 2023.
« Programmes sans algorithmes », Journée d’étude « Formalising the notion of algorithm », 4 mai 2023.
« How programming languages rehabilitate morphology », Nancy-Irvine Workshop on Formalization in Logic, Language, and Mathematics, Irvine (California), 28 avril 2023.
« Les preuves de nécessité chez Cavaillès », colloque « Jean Cavaillès and his intellectual milieu », Leuven,
Institute of Philosophy, 21 janvier 2023.
2022
« L’opacité des machines »,
table ronde « Alternatives technologiques et pratiques sociales autour du numérique » du groupe Écosophie du numérique, Strasbourg, 17 novembre 2022.
« Philosophical Uses of Software Archive », Preserving our Landmark Legacy Software : Collect, Archive, Display, organisée par Roberto Di Cosmo, table ronde « Collect & archive landmark legacy software », Paris, 19 octobre 2022. ⟨halshs-03828120⟩
2021
« Comment classer les programmes informatiques ? », Journées scientifiques des Archives Henri-Poincaré, Nancy, 27 janvier 2021.
2019
« Christine Proust, âme du projet MesoCalc », Journée d’études « À propos de figure fondamentale : Christine Proust », Université Paris-Diderot, 9 décembre 2019.
« Systèmes philosophiques et
paradigmes de programmation », Nantes, Inria, séminaire Gallinette,
18 novembre 2019.
« Which Artificial Intelligence for Philosophical Research ? », Global Forum on AI for Humanity, table ronde « AI for Digital Humanities and Computational Social Sciences » organisée par Alexandre Gefen, Paris, 28 octobre 2019.
« Les codes sources comme textes », journée d’études « Énonciation et langages de programmation », Université de Liège, 15 octobre 2019.
« Turing languages : Theory and Practice », colloque Autumn workshop II : Programming Languages and Notations organisé par Liesbeth De Mol, Bertinoro (Italie), 2 octobre 2019.
« Turing languages », colloque CAPES-COFECUB « Informatique et Philosophie : interactions contemporaines », organisé par Luiz Carlos Pereira et Jean-Baptiste Joinet, Ilha Grande (Brésil), 19 août 2019.
« Nécessité et contingence en histoire des sciences », colloque « L’épistémologie historique, hier et aujourd’hui » (PhilMathMed 3), Toulouse, 7 juin 2019.
« From Abstraction To Philosophical Systems : Abstraction and Generalization in Jules Vuillemin », colloque The Theory of definitions by abstraction : roots, history, contemporary developments organisé par Jean-Baptiste Joinet, Université Jean Moulin–Lyon 3, 12 février 2019.
2018
« Unix Ontology : Time and First Mover in Unix v6 », colloque « Formalisms at the interface with machines, languages and systems » organisé par Liesbeth de Mol, Bertinoro (Italie), 16-17 octobre 2018.
« L’introduction de redondances dans un langage formel : les "parties du discours" dans le langage Java », Journée « Philosophie scientifique et philosophie pour l’âge de la science. Gilles Gaston Granger et Jules Vuillemin » organisée par Gabriella Crocco, Marseille, jeudi 6 septembre 2018.
« Structures et morphismes en histoire de la philosophie », journée La Philosophie ventriloque organisée par Valérie Debuiche, Aix-en-Provence, 14 février 2018.
2017
« Styles de programmation informatique et formes de prédication vuilleminiennes », Clermont-Ferrand, colloque Épistémologie comparative et philosophie du style : l’œuvre de Gilles Gaston Granger, 18 novembre 2017.
« Classification des systèmes et paix perpétuelle en philosophie », Montpellier, séminaire Epistemon, 17 octobre 2017.
« Les Amis de Jean Cavaillès : historique », participation à la table ronde « Autour de la société Cavaillès » des Journées en l’honneur d’Hourya Benis Sinaceur, 16 juin 2017.
« Historique de la société Les Amis de Jean Cavaillès », Nancy, séminaire organisé par Christophe Eckes, 4 avril 2017.
« Les nouvelles voies de l’anachronisme en histoire et philosophie des sciences formelles », participation à une table ronde de la Journée de réflexion sur l’histoire et la philosophie des sciences et des techniques en France, à l’occasion du 60e anniversaire du Comité National Français d’Histoire et de Philosophie des Sciences et des Techniques, Paris, École Normale Supérieure, 4 mars 2017.
2016
« Présentation du tome II de la Philosophie de l’algèbre de Jules Vuillemin », journée d’études « La Philosophie de l’algèbre de Jules Vuillemin (tomes I et II) », Nancy, Maison des Sciences de l’Homme, 9 décembre 2016.
« L’histoire structurale de la philosophie, de Martial Gueroult à Victor Goldschmidt », journée d’études « L’histoire structurale de la philosophie », Nancy, Maison des Sciences de l’Homme, 7 décembre 2016.
« On formulas for computing both the volume of a truncated pyramid and the circumference of hermeneutic circles » (avec Pierre Chaigneau), colloque SAW-ERC « Conference Writing histories of ancient mathematics – Reflecting on past practices and opening the future, 18th – 21st centuries », Université Paris-Diderot, 25 octobre 2016.
« Which mathematics was used to read ancient texts, and which impact had the mathematics used on the reading and interpretation of the ancient texts ? » (avec Pierre Chaigneau), séminaire SAW-ERC, Université Paris-Diderot, 6 septembre 2016.
« L’auto-engendrement des objets mathématiques chez Cavaillès et Vuillemin », Toulouse, école thématique « L’objectivité mathématique » organisée par Brice Halimi, Sébastien Maronne et David Rabouin, 30 juin 2016.
« Le chaînon manquant : le tome 2 de la Philosophie de l’algèbre de Jules Vuillemin », Grandes conférences des Archives Henri-Poincaré, Nancy, 27 avril 2016.
« Spinoza en Coq : démonstration complète des premières propositions de l’Éthique », séminaire « Philosophie, Mathématiques, Neurosciences », Université de Franche-Comté, Besançon, 24 mars 2016.
« L’Histoire de la raison pure de Kant », journée d’études La Méthodologie transcendantale de Kant organisée avec Ayşe Yuva, Nancy, Maison des Sciences de l’Homme, 16 mars 2016.
« Conceptions of Computation in Historiography of Mesopotamian Mathematics », séminaire SAW-ERC, 18 mars 2016.
« L’arithmétique de Peano dans la bibliothèque standard de Coq », séminaire MathObRe, Nancy, 16 février 2016.
« MesoCalc, la calculatrice mésopotamienne en JavaScript » (avec Christine Proust), séminaire Codes sources, Paris, Laboratoire d’informatique de Paris 6, 20 janvier 2016.
2015
« En quel sens les démonstrations assistées par ordinateur sont-elles formelles ? », atelier « Rhétorique en mathématiques », Maison des Sciences de l’Homme, Nancy, 27 novembre 2015.
« Spinoza en Coq : démonstration complète des premières propositions de l’Éthique », Journées d’études « Mathématiques, Informatique et Philosophie » organisée par Sébastien Maronne, Institut de Mathématiques de Toulouse, 18 septembre 2015.
« Upgrade Your Abacus : Computing Tool Extensions », Computability in Europe 2015, Bucarest, juin 2015.
« Early relations between analytic and French philosophy of science », école d’été « French and analytic approaches to science in the 20th century and today », Nancy, 16 juin 2015.
« Le rêve de Gueroult : Spinoza en Coq », Journées scientifiques des Archives Henri-Poincaré, 5 juin 2015.
« Philosophie de l’informatique concrète. I : Langages théoriques et langages concrets en programmation. II : Ontologies des langages de programmation. III : Le Temps selon Unix », école thématique « Mathématique, informatique et philosophie contemporaines III » organisée par Sébastien Maronne, Institut de Mathématiques de Toulouse, 23-27 mars 2015.
« Réseaux et logique dialogique », IHPST, 9 mars 2015.
« Le concept d’objet en programmation informatique », séminaire MathObRe, Nancy, 23 février 2015.
« Approche philologique des langages de programmation », séminaire de l’équipe LCR du Laboratoire d’Informatique de Paris Nord, 16 janvier 2015.
2014
« Victor Goldschmidt avait-il une théorie des systèmes ? », journée d’études « Les questions platoniciennes de Victor Goldschmidt (1914-1981) », organisée par David Lefebvre, Clermont-Ferrand, 15 décembre 2014.
« Le langage et l’individuel selon Jean-Claude Pariente et Jules Vuillemin », journée « Approche de l’individuel : hommage à Jean-Claude Pariente », Paris, École normale supérieure, 13 décembre 2014.
« Le langage et le réel », formation continue des professeurs de philosophie d’Auvergne, lycée Blaise-Pascal, Clermont-Ferrand, 2 décembre 2014.
« La science et le réel », formation continue des professeurs de philosophie de Lorraine, lycée Poincaré, Nancy, 12 novembre 2014.
« Espace et temps informatiques : l’Esthétique transcendantale de Kant à l’épreuve de la complexité algorithmique », colloque Le Calcul et le temps organisé par Jean-Baptiste Joinet, Université Jean-Moulin (Lyon 3), 6 novembre 2014.
« Systèmes philosophiques et langages de programmation », séminaire de l’ISCC, 6 octobre 2014.
« L’invention des concepts en informatique », séminaire Complex Networks (LIP6), Université Pierre et Marie Curie, 12 juin 2014.
« Une science a priori : l’informatique », table ronde de la session « Les mathématiques face à l’ordinateur » organisée par Liesbeth De Mol et Maarten Bullynck, 23 mai 2014.
« Une hiérarchie de sémantiques : le concept de machine dans la pratique de la programmation », colloque La Logique en question IV, Université Paris-Sorbonne, 13 mai 2014.
« Thématisation et philosophie de l’informatique », Journée d’hommage à Jean Cavaillès organisée par la Société des Amis de Jean Cavaillès, École Normale Supérieure, 17 février 2014.
« Approche philologique des langages de programmation », Groupe de travail Sémantique du laboratoire Preuves, Programmes et Systèmes, Paris-Diderot, 11 février 2014.
2013
« Les langages de programmation : des codes sources aux programmes », groupe de travail Mathématiques et Philosophie, XIXe et XXe siècles de SPHERE, Université Paris Diderot, 19 décembre 2013.
« Les dispositifs de calcul : théorie et pratique », IREM, Paris-Diderot, 2 décembre 2013.
« Unix selon l’ordre des raisons : la philosophie de la pratique informatique », Journée « Informatique, Philosophie, Mathématiques », FREMIT, Toulouse, 29 novembre 2013.
« Les Algorithmes comme textes / Algorithms as texts », atelier animé avec Agathe Keller, Bloc 1 « La variété des sources mathématiques et la question de leur interprétation » du GDR 3398 « Histoire des mathématiques », CIRM (Luminy), 4-8 novembre 2013.
« Philology of Programming Languages », HAPOC 2013 « History and Philosophy of Computing », ENS-Paris, 28-31 octobre 2013, coordination par Maarten Bullynck et Jean-Baptiste Joinet.
« Computing Tools and Arithmetical Properties », Cinquième rencontre française de philosophie des mathématiques — Fifth French Philosophy of Mathematics Workshop, Clermont-Ferrand, 17-19 octobre 2013.
« How to Program an Abacus », colloque SAW-ERC (Mathematical Sciences in the Ancient World) Cultures of computation and quantification in the ancient world, Paris, 28 mars 2013.
« Peut-on classer les langages de programmation ? », séminaire Philosophie de l’informatique, de la logique et de leurs interfaces organisé par Jean-Baptiste Joinet, École Normale Supérieure de la rue d’Ulm, 4 mars 2013.
« Des catégories faisons table rase ! Les formations discursives », Journée d’études sur L’Archéologie du savoir de Michel Foucault, Nancy, Archives Henri Poincaré, 8 février 2013.
« Le vrai est-il toujours démontrable ? Kant, l’intuitionnisme, Gödel », journée « La vérité » pour la formation continue des professeurs de philosophie de l’académie de Clermont-Ferrand, lycée Blaise-Pascal, Clermont-Ferrand, 23 janvier 2013.
2012
« Classifications kantiennes et classification vuilleminienne dans L’Intuitionnisme kantien », Journée d’études « L’Intuitionnisme kantien de Jules Vuillemin », Université Nancy 2 — Archives Poincaré, 15 décembre 2012.
« Programming Languages for Pre-Mechanical Calculating Tools », colloque Cultures of Mathematics and Logic, Canton/Guangzhou (Chine), 10 novembre 2012.
« Does Lawvere’s concept of Aufhebung lead to an algebra of Hegelian
Dialectics ? », atelier Formalization and Dialectics organisé par Zachary Luke Fraser, Jan van Eyck Academie, Maastricht, 7 juin 2012.
« Les classifications des systèmes philosophiques, d’Emmanuel Kant à Jules Vuillemin », Journée des Jeunes chercheurs, Université d’Aix-Marseille, 6 juin 2012.
« Logique hegelienne et théorie des catégories », Groupe de Travail Logique, École Normale Supérieure de la rue d’Ulm, 3 mai 2012.
« Cavaillès et les « moments de la conscience » », groupe de travail Mathématiques et Philosophie, XIXe et XXe siècles de SPHERE, Université Paris Diderot, 28 mars 2012.
2011
« Nominalism of Things and Nominalism of Events, from Turing Machines to Functional Programming », 14e Congrès de Logique, Méthodologie et Philosophie des Sciences (CLMPS), Nancy, 22 juillet 2011.
« Éclectisme et problèmes classificatoires en philosophie », journée d’études Le Syncrétisme au carrefour des sciences humaines, Clermont-Ferrand, 27 mai 2011.
« Les ordinateurs peuvent-ils penser ? », cycle de conférences L’Homme et la machine organisé par Albane Susanna au lycée Charles-et-Adrien-Dupuy, Le Puy-en-Velay, 31 mars 2011.
« Logique hegelienne et théorie des catégories chez William Lawvere », journée d’études Modèles mathématiques pour la philosophie, Clermont-Ferrand, 26 mars 2011.
2010
« Jean Cavaillès entre Hegel et la théorie des catégories », colloque « Concepts purs, concepts appliqués » du groupe PHENOMATH, laboratoire J.-A. Dieudonné, Université de Nice, 10 décembre 2010.
« One and a Half Square of Opposition in Linear Logic », 2e colloque Square of Opposition, Corte, 18 juin 2010.
« Panorama philosophique pascalien », Université Blaise Pascal, séminaire du centre de recherches Philosophies et rationalités, 2 avril 2010.
2009
« Experience and Subjectivity : François Jullien and Jean François Billeter » (PDF), texte prononcé dans le cadre du colloque Personality and Subjectivity, East and West, Maison des Sciences de l’Homme (Clermont-Ferrand), 10 décembre 2009.
« Systems and Teaching in Stoic and Confucian Philosophies », colloque Thinking, Doing, Teaching, université d’Ochanomizu (Tokyo), 18 juillet 2009.
« La Négation en théorie de la démonstration, de Gerhard Gentzen à Jean-Yves Girard » (PDF), Université Blaise Pascal, séminaire du centre de recherches Philosophies et rationalités, 13 mai 2009.
Travaux universitaires
Les Classifications des systèmes philosophiques. Étude architectonique, logique et mathématique, thèse de doctorat (2011).
Architectonique et archéologie : la notion de système chez Michel Foucault (1966-1969) (PDF), mémoire de Master 2 (2007).
Dialectique et
polémique : l’invective hegelienne (PDF), mémoire de maîtrise (2004).
Enseignement
Voici quelques documents pédagogiques et méthodologiques, initialement réalisés à l’intention des étudiants de licence de l’université Blaise Pascal (Clermont-Ferrand) :
- Méthodes de travail personnel (PDF) : comment concevoir un système de fiches thématiques en philosophie.
- Méthode du commentaire de texte philosophique (PDF). Version espagnole : Método universitario del comentario de texto (trad. Manuel E. Vazquez — Universitat de València).
- Dissertation de philosophie :
- Méthode de la dissertation philosophique (PDF).
- Quelques sujets de dissertation de philosophie (PDF, 3 pages) ;
- 11 000 sujets de dissertation de philosophie (PDF, 1200 pages), avec classification par concours (Agrégation, CAPES, ENS Ulm) et par type de sujet.
- Méthodologie du mémoire de Master (PDF).
-
Fiche de synthèse sur la distributivité en logique propositionnelle. - Méthode de calcul logique pour non-voyants : Les Tables de vérité en braille (PDF).