Logique 2 (EAD)

Parmi d’autres usages, la logique nous aide à réfléchir à ce qui fait que certains arguments sont de bons arguments, et en particulier des arguments valides. Pour ce faire, les logiciens construisent des langages formels, permettant de donner une traduction rigoureuse aux arguments tirés du langage naturel (textes philosophiques, essais, discours publics, etc.), puis d’appliquer à ces arguments formalisés des tests de validité, à des fins d'évaluation critique.

Le cours portera sur deux de ces langages formels. Il sera divisé en deux parties : la première (courte) partie rappellera les rudiments de la logique propositionnelle, et la seconde partie, qui occupera l’essentiel du semestre, introduira à la logique des prédicats.

Le but sera de parvenir à maîtriser suffisamment ces langages formels pour pouvoir traduire différents types d'arguments philosophiques, puis de soumettre ceux-ci à une analyse critique tirant profit de cette formalisation. En parallèle, nous aborderons différents problèmes philosophiques soulevés par les méthodes formelles présentées.

Ce cours a pour objectif d'introduire les étudiants à l'usage de méthodes formelles en philosophie. Il doit permettre aux étudiants de se former à l'art de la démonstration rigoureuse, mais également d'aborder des questions philosophiques concernant les notions d'argument, de raisonnement, de conséquence logique, le sens des énoncés ou encore leurs présupposés ontologiques.

M3C en deux sessions

REGIME STANDARD Session 1: CT 100%

• Contrôle terminal : 1 note, évaluation écrite en temps limité - 4H

REGIME DEROGATOIRE : NON

SESSION 2 (dite de 2nd Chance) : CT 100%

•  1 note, évaluation écrite en temps limité - 4H

Il est utile mais pas nécessaire d’avoir suivi un cours d’introduction à la logique propositionnelle.

Esprit critique, rigueur, sens de la preuve, capacité à rédiger des démonstrations.

Denis Bonnay et Mikaël Cozic, Textes clés de philosophie de la logique, Vrin, 2009

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