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 Philosophie des systèmes (Kant, Hegel, Foucault, Vuillemin),
- 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).

Philosophie des systèmes Logique Vous trouverez ici la Spinozabase, base de données sur la structure déductive de l’Éthique de Spinoza.

Informatique

Logique La rubrique Informatique contient divers textes de philosophie de l’informatique, mais aussi quelques programmes.

Logique Présentation du langage de programmation TMPL, simulateur de machines de Turing réalisé par l’auteur de ce site en 2008.

Logique 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.

Haut de page