Composante
PHILOSOPHIE
Discipline rare
Non
Description et objectifs
Logique pour philosophes
Le cours constitue une introduction à la logique pour la philosophie. Aucun pré-requis n’est demandé : le cours sera accessible à tous les étudiants, même ceux qui n’ont pas de familiarité avec les systèmes formels. Le cours propose une introduction à la logique, axé sur la présentation de deux langages formels : le langage de la logique des propositions (LP), et le langage de
la logique des prédicats monadiques (LPM). Nous présenterons une sémantique formelle pour ces langages, c’est-à-dire des règles permettant de définir les conditions de vérité de toutes les formules relativement à des structures que l’on nomme des interprétations (dans LP) ou des modèles (LPM), ainsi qu’un système de preuves formelles, le système de la déduction naturelle.
Syllabus
Bibliographie : des notes de cours seront disponibles, mais l’on peut consulter les ouvrages suivants :
G. Forbes, 1994, Modern Logic, Oxford University Press.
GAMUT, 1991, Logic, Language and Meaning, vol.1, University of Chicago Press.
P. Wagner, Logique et philosophie, 2014, Ellipses.