Accueil
Attaché Temporaire d’Enseignement et de Recherche (ATER) au Département de philosophie de l’Université Clermont-Ferrand II et membre du laboratoire Philosophies et rationalités (PHIER), 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 :
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),
philosophie des systèmes (notamment Kant, Hegel, Foucault, Vuillemin),
sinologie (confucianisme, langue et mathématiques chinoises).
Ces perspectives de recherche sont exposées dans un texte de Présentation personnelle.
Vous trouverez également 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 ; on y trouvera notamment une présentation du langage de programmation TMPL, simulateur de machines de Turing réalisé par l’auteur de ce site en 2008.