Logique (EAD)

Ce cours est une introduction à la logique et d’abord une initiation à l’écriture symbolique employée en logique et en mathématiques. Le cours sera principalement consacré à la logique propositionnelle : à sa syntaxe (au langage formel qui la sous-tend), à sa sémantique (à la méthode qui permet de reconnaître une proposition comme vraie ou comme fausse) et à son appareil de déduction (c’est-à-dire à la construction de preuves).

Ce cours a pour objectif d’introduire les étudiants aux méthodes de base de la logique propositionnelle, et de leur apprendre à utiliser ces méthodes pour évaluer des arguments, qu’il s’agisse d’arguments empruntés à la tradition philosophique ou d’arguments proposés dans le débat public. Il doit permettre aux étudiants de maîtriser les notions logiques fondamentales (tautologie, contradiction, conséquence logique, argument valide, enthymème, etc.).

M3C en 2 sessions

Régime dérogatoire session 1

• Une épreuve écrite de trois heures.

Session 2 dite de rattrapage

• Une épreuve écrite de trois heures.

Ce cours n’a pas de prérequis spécifiques.

Esprit critique, capacité à proposer, analyser et discuter des arguments.

Robert Blanché & Jacques Dubucs, La logique et son histoire, Paris, Armand Colin, 1996.

François Rivenc, Introduction à la logique, Paris, Payot, 1989.

Bernard Ruyer, Logique, Paris, PUF, 1990.