Logique 2 (EAD)

Logique et analyse

Les langages formels sont des outils développés par les logiciens afin d’éclairer un certain nombre de difficultés philosophiques, concernant aussi bien la déduction (« quels arguments sont corrects et pourquoi ? ») que l’ontologie (« de quoi supposons-nous l’existence lorsque nous affirmons ceci ou cela ? ») ou la question du sens (« quels énoncés veulent vraiment dire quelque chose et quels énoncés ne veulent rien dire ? »). L’objectif de ce cours est de vous familiariser avec le langage formel de la logique des prédicats en apprenant à traduire les énoncés de la langue naturelle, de manière à pouvoir l’utiliser pour répondre à ces questions.

Ce cours a pour objectif d’introduire les étudiants à l’usage de méthodes formelles en philosophie et dans les sciences, qu’il s’agisse de méthodes logiques au sens strict (logique des prédicats, logique modale, logique épistémique, etc.) ou de méthodes statistiques (raisonnement bayésien, tests statistiques). Il doit permettre aux étudiants de se former à l’art de la démonstration rigoureuse, dans les domaines mathématiques ou empiriques.

M3C en 2 sessions

Régime dérogatoire session 1

• Une épreuve écrite de quatre heures.

Session 2 dite de rattrapage

• Une épreuve écrite de quatre heures.

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.