Logique

Logique

Discipline rare Non

Présentation

Année 2018/2019

Initiation à la logique

Le cours vise à donner un aperçu de ce qu’est la logique et une première idée des rapports qu’elle entretient avec la philosophie. Pour cela nous partirons de la notion d’argument valide et montrerons comment elle peut être définie de manière rigoureuse dans le langage de la logique propositionnelle. Nous présenterons ensuite deux méthodes permettant de statuer sur la validité d’un argument donné. Enfin, nous étudierons, toujours pour la logique propositionnelle, un système de preuve : la déduction naturelle. Chemin faisant, nous aborderons quelques questions de philosophie de la logique, portant sur la formalisation, le rapport entre logique et psychologie, la justification des règles logiques, ou encore les paradoxes.

Syllabus

Les TD seront consacrés essentiellement à des exercices.

Les lectures recommandées sont :

- Lepage, Éléments de logique contemporaine, Les Presses de l’Université de Montréal

Bonnay et Cozic (ed.), Philosophie de la logique, Vrin « Textes clés »

- Wagner, Logique et philosophie. Manuel d’introduction pour les étudiants du supérieur, Ellipses.

- Bonnay et Cozic (ed.), Philosophie de la logique, Vrin « Textes clés »

 

Informations complémentaires

Attention : le programme des deux ouvrages de logique recommandés excède celui du cours. Des précisions seront apportées sur ce point.

 

Diplômes intégrant cette UE

En bref

Contact(s)

Composante