Programme des cours 2016-2017
| PHIL0208-1 | |||||||||||
| Logique et théorie de la connaissance | |||||||||||
|
Durée :
|
|||||||||||
| 30h Th | |||||||||||
|
Nombre de crédits :
|
|||||||||||
|
|||||||||||
|
Nom du professeur :
|
|||||||||||
| Bruno Leclercq | |||||||||||
|
Langue(s) de l'unité d'enseignement :
|
|||||||||||
| 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 de l'unité d'enseignement :
|
|||||||||||
| 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) de l'unité d'enseignement :
|
|||||||||||
| 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 :
|
|||||||||||
| Reprise du cours le lundi 26 septembre 2016 à 10h. | |||||||||||
|
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. |
||||||||||