Université de rouen

LPH 212 Logique et argumentation

Franck VARENNE

Ce cours de second semestre propose une introduction spécifique aux concepts et à la pratique, par le calcul, de la logique formelle. Comme la rhétorique, même si elle en constitue en un sens le contre-pied, cette approche est décisive pour la philosophie et les sciences humaines contemporaines.

Après avoir rappelé en quoi la logique, au début du 20^ème siècle, en se formalisant davantage et en renonçant à être seulement une théorie du discours, a renouvelé certaines de ses relations avec la philosophie et les théories de la connaissance, nous présenterons le calcul des propositions (calcul des propositions non-analysées) dans une approche d’abord sémantique puis syntaxique. Nous aborderons ensuite le calcul des prédicats (ou calcul des propositions analysées) en montrant ses liens avec les syllogismes antiques.

L’objectif de ce cours est double : 1- permettre à l’étudiant de se familiariser avec le calcul logique simple et avec le test formel des raisonnements en montrant les liens qu’entretiennent ces concepts et ces pratiques avec les fondements de l’informatique, de l’intelligence artificielle et des sciences cognitives ; 2- l’aider à lire des auteurs fondamentaux de la tradition analytique contemporaine comme Frege, Russell ou Wittgenstein. En prévision de ce cours, l’étudiant pourra commencer à prendre contact avec les approches formelles en lisant par exemple Blanché (1955, 1990).

Bibliographie :
Blanché, R. : L’axiomatique, Paris, PUF, 1955, 1990. [une introduction aux approches formelles]

Lepage, F. : Éléments de logique contemporaine, Paris, Dunod, 1991. [manuel élémentaire, incomplet, mais progressif et explicatif]

Vernant, D. : Introduction à la logique standard, Paris, Champs-Flammarion, 2001. [manuel élémentaire le plus précis et le plus complet]

Wittgenstein, L. : Tractatus logico-philosophicus, 1921, trad. G.G. Granger : Paris, Gallimard, 1993. [premier grand ouvrage d’un auteur majeur du 20^ème siècle, fondé sur les notions de base de la logique formelle]

Modalité d’évaluation en contrôle continu : examen écrit de 2 h.