Accueil

Chargé de recherche au CNRS attaché aux Archives Poincaré (UMR 7117, Nancy), 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.

- Méthodes de travail personnel (PDF) : comment concevoir un système de fiches thématiques en philosophie.

- Méthode de la dissertation philosophique (PDF).

- 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éthodologie du mémoire de Master (PDF).

- Logique Les Tables de vérité en braille (PDF) : méthode de calcul logique pour non-voyants.

Haut de page