 | |
| PHIL0208-1 | Logique et théorie de la connaissance
 |
|
| Durée : | 30h Th |
|
| Crédits/ECTS : |
|
|
| Titulaire(s) : | Bruno Leclercq |
|
| Langue : | Langue française |
|
| Aperçu général : | 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.). |
|
| Objectif du cours : | Compréhension fine des rapports entre systèmes formels et sémantique. |
|
| Pré-requis : | Formation de premier cycle en logique, en épistémologie et en histoire de la philosophie. |
|
| Organisation : | Les lundis du premier quadrimestre de 9h à 11h. Voir http://cipl82.philo.ulg.ac.be/horaires |
|
| 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. |
|
| Evaluation : | Examen oral en janvier 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 |
|
|
| |
