 | | |
| PHIL0208-1 | Logique et théorie de la connaissance
|
|
| Durée : | 30h Th |
|
| Nombre de crédits : |
|
|
| Nom du professeur : | Bruno Leclercq |
|
Langue(s) du cours :
|
| Langue française |
|
Contenus du cours :
|
| Systèmes formels et modèles sémantiques de la logique modale. Applications épistémiques, temporelles et déontiques. Problèmes de "méta-logique" (preuves de complétude, d'adéquation, de consistance, etc.). |
|
Acquis d'apprentissage (objectifs d'apprentissage) du cours :
|
| Compréhension fine des rapports entre systèmes formels et sémantique. |
|
Prérequis et corequis / Modules de cours optionnels recommandés :
|
| Formation de premier cycle en logique, en épistémologie et en histoire de la philosophie. |
|
Mode d'enseignement (présentiel ; enseignement à distance) :
|
| Second quadrimestre. Horaire à déterminer avec les étudiants. Voir http://cipl82.philo.ulg.ac.be/horaires |
|
Lectures recommandées ou obligatoires et notes de cours :
|
| Pour les questions générales de logique modale, le cours s'appuiera sur deux ouvrages de référence :
E. HUGHES, M. J. CRESSWELL, A new introduction to modal logic, London and New York, Routledge, 1996.
P. GOCHET, P. GRIBOMONT, Logique, vol. 3 : méthodes pour l'intelligence artificielle, Paris, Hermès, 2000.
En ce qui concerne des problèmes plus particuliers de logique épistémique ou de "méta-logique", il s'appuiera sur quelques articles récents. |
|
Modalités d'évaluation et critères :
|
| Examen écrit en juin et septembre. Les date et heure d'examen sont communiquées aux étudiants en temps utile. Pour des raisons d'équité, tous les étudiants devront se conformer à ces contraintes; sous aucun prétexte (même médical), l'examen ne sera réorganisé à un autre moment de la session. |
|
Contacts :
|
| Bruno LECLERCQ
Université de Liège
Département de philosophie
Place du XX août, 7
4000 LIEGE
B.Leclercq@ulg.ac.be
04/3665592 |
|
