baptiste.meles@normalesup.org
Né le 29 août 1981
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 et logique linéaire ; structures et catégories ; langages de programmation et théorie des systèmes d’exploitation ; instruments de calcul),
Sinologie (pensée et mathématiques chinoises).
Voir une liste de publications, journées d’études, communications et travaux.
Philosophie de l’informatique (M2) : fondements de l’informatique, langages de programmation.
Expérience et subjectivité chez Michel Foucault / Les Mots et les choses de Michel Foucault (L3)
Méthodes des sciences de la nature (L2, 2014-2017).
Méthodologie philosophique (L1, L2).
Cours sur le thème « Science et religion » : Mathématiques et théologie (M1, 2014-2015).
Logique (L1 Sciences du langage, 2014-2015) : calcul des propositions, introduction au calcul des prédicats.
Informatique et philosophie (L2).
Cours magistral et travaux dirigés de Logique (L2) : calcul des propositions, calcul des prédicats, calcul des relations ; syllogistique ; philosophie de la logique et des mathématiques ; introduction à la théorie de la démonstration.
Cours d’Épistémologie (Master 1, Agrégation de philosophie) : « La négation ».
Cours de Philosophie antique (L2, L3) : Le système et la logique des Stoïciens.
Université de Lorraine : cours de Philosophie contemporaine « Expérience et discours chez Michel Foucault » (L3, second semestre).
Université Paris I Panthéon-Sorbonne : cours magistral de Logique (L2, second semestre, chargé de cours).
Cours magistral et travaux dirigés de Logique (L1 et L2) : calcul des propositions, calcul des prédicats, calcul des relations ; syllogistique ; philosophie de la logique et des mathématiques ; introduction à la théorie de la démonstration.
Métaphysique et philosophie générale (L1) : « Machines et pensée ».
Métaphysique et philosophie générale (L1) : « L’idée de monde ».
Leçons d’agrégation sur le thème « Logique et épistémologie ».
Cours d’agrégation (5 heures) : « Pensée et calcul chez Turing : machines abstraites et jeu de l’imitation ».
Membre du jury de thèse de David THOMASETTE, La Philosophie à l’âge de la science. Édition commentée d’un livre inachevé de Jules Vuillemin, direction Gerhard Heinzmann et Joseph Vidal-Rosset, Université de Lorraine, 3 décembre 2015.
Membre du jury de thèse de CHEN Yifu 陳怡夫, L’Étude des différents modes de déplacement des boules du boulier et de l’invention de la méthode de multiplication Kongpan Qianchengfa et son lien avec le calcul mental, direction Karine Chemla, Université Paris-Diderot, 6 décembre 2013.
Membre de la section 35 du Comité national de la Recherche scientifique (CoNRS) depuis 2016.
Membre du jury du concours écrit (depuis 2012) et oral (depuis 2016) des Écoles Normales Supérieures.
Membre d’un jury de concours de maître de conférences en histoire et philosophie des sciences à l’Université de Provence (2016).
Encadrement du postdoctorat de David Thomasette dans le cadre de l’ANR VUILLEMIN (2017-2019)
Co-direction (avec Manuel Rebuschi) de la thèse de Didier Lommelé, Analyse philosophique du concept de mémoire informatique (depuis 2017).
Direction du mémoire de Master 2 de Didier Lommelé, Mémoires informatiques (2015-2016).
Encadrement de 9 stages d’initiation à la recherche en Licence 3 sur les Archives Jules-Vuillemin (depuis 2016).
Porteur de l’ANR VUILLEMIN
Membre à 10% de l’ANR PROGRAMME (porteuse : Liesbeth de Mol).
Membre à 10% de l’ANR MATHESIS (porteur : David Rabouin).
Rédacteur en chef adjoint de la revue Philosophia Scientiæ depuis 2016.
Membre du comité scientifique des Cahiers François-Viète depuis 2018
Membre du comité de rédaction de la section « Histoire des mathématiques » du site Images des mathématiques depuis 2015.
Co-responsable de l’axe 3 du laboratoire Archives Henri-Poincaré (UMR 7117) avec Manuel Rebuschi depuis 2016.
Secrétaire de la Société des Amis de Jean Cavaillès depuis 2014.
Membre du conseil scientifique de la mission locale d’Auvergne de sauvegarde du Patrimoine scientifique et technique contemporain (mission nationale PATSETC) (2011-2012).| Mai 2013 | Licence 2 de mathématiques à l’Université Pierre et Marie Curie (Paris 6), spécialité Informatique. Année validée à 50% |
| 2007-2011 | Doctorat de philosophie à l’université Blaise Pascal (Clermont-Ferrand II). Thèse intitulée Les Classifications des systèmes philosophiques, d’Emmanuel Kant à Jules Vuillemin : étude architectonique, logique et mathématique, sous la direction d’Élisabeth Schwartz (Clermont-Ferrand II). Jury : Emmanuel Cattin (Clermont-Ferrand II), Jean-François Courtine (Paris IV), Sébastien Gandon (Clermont-Ferrand II), Alain Michel (Université de Provence), Jean-Baptiste Rauzy (Paris IV). Thèse soutenue le mardi 6 décembre 2011 à la Maison des sciences de l’homme de Clermont-Ferrand. Mention Très honorable avec les félicitations du jury à l’unanimité |
| Juin 2010 | Licence 1 de mathématiques et informatique à l’Université de Provence (Aix-Marseille I), spécialité Mathématiques. Année validée |
| Juin 2007 | Master 2 de philosophie à l’université Paris I - Sorbonne. Mémoire intitulé Architectonique et archéologie. La notion de système chez Michel Foucault (1966-1969), sous la direction de Jocelyn Benoist. Mention Très bien |
| 2004-2007 | Préparation de l’agrégation de philosophie. Admissible en 2005 et 2006, reçu 41e en 2007 |
| Juin 2004 | Maîtrise de philosophie à l’université Paris X - Nanterre. Mémoire intitulé Dialectique et polémique. L’invective hegelienne, sous la direction de Catherine Malabou. Mention Très bien |
| Juin 2003 | Licence de lettres modernes à l’université Paris IV - Sorbonne. Mention Assez bien |
| Juin 2002 | Licence de philosophie à l’université Paris IV - Sorbonne |
| 2002-2007 | École Normale Supérieure (rue d’Ulm, Paris). Concours A/L, option philosophie, reçu 16e (1er en dissertation de philosophie) |
| 1999-2002 | Classes préparatoires littéraires au lycée Condorcet (Paris). Admissible à l’ENS en 2001 |
| Juin 1999 | Baccalauréat littéraire. Mention bien |
Création de MesoCalc, calculatrice pour le calcul sexagésimal positionnel mésopotamien (2013).
Création du langage de programmation TMPL (2008).
Réalisation de plusieurs programmes d’informatique littéraire et philosophique, dont la SpinozaBase (2007) et le Convertisseur Proust.
Responsabilités informatiques à l’École Normale Supérieure : administration système, administration web, tutorat informatique.
Administration de serveurs HTTP, FTP, SSH et SQL. Webmestre ou formateur des webmestres de plusieurs sites :
Pratique d’une vingtaine de langages informatiques (dont HTML et XHTML, CSS, XML, SQL, LaTeX, RSS, PHP, XSLT, Perl, C, C++, JavaScript, Lisp, assembleur, Prolog, Coq, Scilab).
Rédaction et traduction de documentation informatique.