Programme des cours 2015-2016
| 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 | ||||||||||||||
|
Organisation et évaluation :
|
||||||||||||||
| Enseignement au premier quadrimestre, examen en janvier | ||||||||||||||
|
Unités d'enseignement prérequises et corequises :
|
||||||||||||||
| Les unités prérequises ou corequises sont présentées au sein de chaque programme | ||||||||||||||
|
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. | ||||||||||||||
|
Savoirs et compétences prérequis :
|
||||||||||||||
| Formation de premier cycle en logique, en épistémologie et en histoire de la philosophie. | ||||||||||||||
|
Activités d'apprentissage prévues et méthodes d'enseignement :
|
||||||||||||||
|
Mode d'enseignement (présentiel ; enseignement à distance) :
|
||||||||||||||
| Le course se tiendra au premier quadrimestre, les lundis de 10h à 12h au local Philosophie I. 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 un manuel rédigé par l'enseignant, ainsi que 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 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. |
||||||||||||||
|
Stage(s) :
|
||||||||||||||
|
Remarques organisationnelles :
|
||||||||||||||
|
Contacts :
|
||||||||||||||
| Bruno LECLERCQ
Université de Liège
Département de philosophie
Place du XX août, 7
4000 LIEGE
B.Leclercq@ulg.ac.be |
||||||||||||||
|
Notes en ligne :
|
||||||||||||||
 | Cours en ligne sur e-campus Cours en ligne accessible à partir du lien "e-campus" de l'onglet "Cours" de MyULg. |
|||||||||||||