Contenu
Mes enseignements portent et/ou ont porté sur la logique, la philosophie du langage et la philosophie de l'esprit, l'histoire des sciences et l'épistémologie :
- Logique: logique classique (calcul propositionnel et calcul des prédicats), logique modale et épistémique, logique dialogique, logique intuitionniste, introduction à la logique IF ; fondements des mathématiques, théorèmes de Gödel, automates et grammaires formelles.
- Philosophie des sciences cognitives (langage, esprit, connaissance): sémantiques fregéenne et russellienne, théories de la référence, logique des attitudes propositionnelles, intentionnalité, théories en philosophie de l'esprit, théories de la connaissance, constructivisme.
- Philosophie et histoire des sciences: histoire du calcul, histoire et philosophie de l'informatique, classifications des sciences, réductionnisme et émergentisme, philosophie et nouvelles technologies (réalité virtuelle, transhumanisme).
-
Contexte
- Depuis 2002: MCF à l'UFR Mathématiques et Informatique de l'Université de Lorraine (anciennement Nancy 2).
- 2000 / 2002: ATER à l'université Nancy 2 (UFR Mathématiques et Informatique).
- 1997 / 2000: Vacataire à l'université Nancy 2.
Les diplômes où je suis intervenu et où j'interviens sont les suivants :
- DEUG de Philosophie : 1997 / 1999
- DEUG MISASHS (Mathématiques, Informatique et Statistiques Appliquées aux Sciences Humaines et Sociales) : 1997 / 2005
- Licence de Sciences du Langage : 1999 / 2000
- Licence de Sciences Cognitives : 1999 / 2005
- Maîtrise de Sciences Cognitives : 2000 / 2005
- IUP Miage: 2002 / 2005
- Licence de Sciences du Langage: 2006 / 2007
- Licence de Philosophie: 2007 / 2009
- Licence Informatique-Sciences Cognitives (ISC): 2005 / 2013
- Licence MIASHS parcours sciences cognitive: depuis 2013
- Master Sciences de la Cognition et Applications (SCA): depuis 2005
- Master 2 Logique, Epistémologie et Histoire des Sciences (parcours à distance): depuis 2013
Hors de l'Université, j'ai donné des cours en école d'ingénieurs (Ecole des Mines de Nancy, ENSGSI), et en formation pour adultes au CUCES (Centre Universitaire de Coopération Economique et Sociale, Universités Nancy 1 & 2).