Philosophie

Recherche

Thèmes de recherche :
- Philosophie des systèmes Philosophie des systèmes (Kant, Hegel, Foucault, Vuillemin et l’histoire structurale de la philosophie),
- Logique 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 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

Livre et numéros de revue

Articles

2016

2015

2014

2013

2010-2012

Organisation de séminaires

- Logique Séminaire Codes Sources (commencé en 2015).

- Philosophie des systèmes Logique Séminaire de traduction de Jules Vuillemin aux Archives Poincaré de Nancy (depuis 2012).

- Philosophie des systèmes Logique 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.

- Philosophie des systèmes 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.
- Logique Membre du comité scientifique de la Huitième Rencontre Française de Philosophie des Mathématiques, Marseille, 3-5 novembre 2016.
- Logique 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.
- Logique 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.
- Philosophie des systèmes 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.
- Philosophie des systèmes 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.
- Logique Atelier « Rhétorique en mathématiques », Maison des Sciences de l’Homme, Nancy, 27 novembre 2015.
- Philosophie des systèmes Logique 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 :

- Logique Sinologie 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.
- Logique 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.
- Philosophie des systèmes 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 :

- Philosophie des systèmes Logique 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 :

Travaux d’informatique philosophique et mathématique

- Logique MesoCalc, calculatrice pour le calcul sexagésimal positionnel mésopotamien (2013).
- Logique Création du langage de programmation TMPL : simulateur de machines de Turing (2008).
- Philosophie des systèmes Logique 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.

2016

- Philosophie des systèmes Logique « 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.
- Philosophie des systèmes « 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.
- Logique « 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.
- Logique « 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.
- Philosophie des systèmes Logique « 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.
- Philosophie des systèmes Logique « 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.
- Philosophie des systèmes « 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.
- Logique « Conceptions of Computation in Historiography of Mesopotamian Mathematics », séminaire SAW-ERC, 18 mars 2016.
- Logique « L’arithmétique de Peano dans la bibliothèque standard de Coq », séminaire MathObRe, Nancy, 16 février 2016.
- Logique « 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

- Logique « 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.
- Philosophie des systèmes Logique « 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.
- Logique « Upgrade Your Abacus : Computing Tool Extensions », Computability in Europe 2015, Bucarest, juin 2015.
- Philosophie des systèmes « 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.
- Philosophie des systèmes Logique « Le rêve de Gueroult : Spinoza en Coq », Journées scientifiques des Archives Henri-Poincaré, 5 juin 2015.
- Philosophie des systèmes Logique « 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.
- Philosophie des systèmes Logique « Réseaux et logique dialogique », IHPST, 9 mars 2015.
- Logique « Le concept d’objet en programmation informatique », séminaire MathObRe, Nancy, 23 février 2015.
- Logique « Approche philologique des langages de programmation », séminaire de l’équipe LCR du Laboratoire d’Informatique de Paris Nord, 16 janvier 2015.

2014

- Philosophie des systèmes « 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.
- Logique « Le langage et le réel », formation continue des professeurs de philosophie d’Auvergne, lycée Blaise-Pascal, Clermont-Ferrand, 2 décembre 2014.
- Logique « La science et le réel », formation continue des professeurs de philosophie de Lorraine, lycée Poincaré, Nancy, 12 novembre 2014.
- Philosophie des systèmes Logique « 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.
- Philosophie des systèmes Logique « Systèmes philosophiques et langages de programmation », séminaire de l’ISCC, 6 octobre 2014.
- Logique « L’invention des concepts en informatique », séminaire Complex Networks (LIP6), Université Pierre et Marie Curie, 12 juin 2014.
- Logique « 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.
- Logique « 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.
- Philosophie des systèmes Logique « 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.
- Logique « 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

- Logique « 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.
- Logique « Les dispositifs de calcul : théorie et pratique », IREM, Paris-Diderot, 2 décembre 2013.
- Philosophie des systèmes Logique « Unix selon l’ordre des raisons : la philosophie de la pratique informatique », Journée « Informatique, Philosophie, Mathématiques », FREMIT, Toulouse, 29 novembre 2013.
- Logique Sinologie « 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.
- Logique « 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.
- Logique « 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.
- Logique Sinologie « 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.
- Philosophie des systèmes Logique « 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.
- Philosophie des systèmes « 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.
- Philosophie des systèmes Logique « 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

- Philosophie des systèmes « 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.
- Logique Sinologie « Programming Languages for Pre-Mechanical Calculating Tools », colloque Cultures of Mathematics and Logic, Canton/Guangzhou (Chine), 10 novembre 2012.
- Philosophie des systèmes Logique « 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.
- Philosophie des systèmes « Les classifications des systèmes philosophiques, d’Emmanuel Kant à Jules Vuillemin », Journée des Jeunes chercheurs, Université d’Aix-Marseille, 6 juin 2012.
- Philosophie des systèmes Logique « Logique hegelienne et théorie des catégories », Groupe de Travail Logique, École Normale Supérieure de la rue d’Ulm, 3 mai 2012.
- Philosophie des systèmes Logique « 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

- Philosophie des systèmes Logique « 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.
- Philosophie des systèmes « Éclectisme et problèmes classificatoires en philosophie », journée d’études Le Syncrétisme au carrefour des sciences humaines, Clermont-Ferrand, 27 mai 2011.
- Logique « 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.
- Philosophie des systèmes Logique « 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

- Philosophie des systèmes Logique « 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.
- Logique « One and a Half Square of Opposition in Linear Logic », 2e colloque Square of Opposition, Corte, 18 juin 2010.
- Philosophie des systèmes « Panorama philosophique pascalien », Université Blaise Pascal, séminaire du centre de recherches Philosophies et rationalités, 2 avril 2010.

2009

- Philosophie des systèmes Sinologie « 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.
- Philosophie des systèmes Sinologie « Systems and Teaching in Stoic and Confucian Philosophies », colloque Thinking, Doing, Teaching, université d’Ochanomizu (Tokyo), 18 juillet 2009.
- Logique « 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

- Philosophie des systèmes Logique Les Classifications des systèmes philosophiques. Étude architectonique, logique et mathématique, thèse de doctorat (2011).
- Philosophie des systèmes Architectonique et archéologie : la notion de système chez Michel Foucault (1966-1969) (PDF), mémoire de Master 2 (2007).
- Philosophie des systèmes 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).
- Méthode de la dissertation philosophique (PDF).
- Méthodologie du mémoire de Master (PDF).
- Logique Fiche de synthèse sur la distributivité en logique propositionnelle.
- Logique Méthode de calcul logique pour non-voyants : Les Tables de vérité en braille (PDF).

Haut de page