Logique

Logique

Discipline rare Non

Présentation

Année 2017/2018

Qu’est-ce qu’un argument valide ?

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 »

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