Accueil
Chargé de recherche au CNRS, rattaché aux Archives Henri-Poincaré (UMR 7117, Nancy) et associé au laboratoire Philosophies et rationalités (Clermont-Ferrand), Baptiste Mélès propose sur ce site des travaux de philosophie, de logique et d’informatique.
Un curriculum vitæ peut être consulté en ligne.
Philosophie
La rubrique Philosophie contient une liste de textes et de publications, principalement en Philosophie de la connaissance.
Philosophie des systèmes (Kant, Hegel, Foucault, Vuillemin),
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).
Vous trouverez ici la Spinozabase, base de données sur la structure déductive de l’Éthique de Spinoza.
Informatique
La rubrique Informatique contient divers textes de philosophie de l’informatique, mais aussi quelques programmes.
Présentation du langage de programmation TMPL, simulateur de machines de Turing réalisé par l’auteur de ce site en 2008.
MesoCalc : une calculatrice mésopotamienne en notation sexagésimale positionnelle, réalisée en 2013.
Enseignement
Voici quelques méthodes de travail à l’intention des étudiants de philosophie et de classes préparatoires.
- Méthodes de travail personnel (PDF) : comment concevoir un système de fiches thématiques en philosophie.
- Dissertation de philosophie :
- Méthode de la dissertation philosophique (PDF) ;
- Choix de 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éthode du commentaire de texte philosophique (PDF). Version espagnole : Método universitario del comentario de texto (trad. Manuel E. Vazquez — Universitat de València).
- Les Tables de vérité en braille (PDF) : méthode de calcul logique pour non-voyants.