Logique

Le cours sera divisé en deux parties : une partie qui rappellera les bases de la logique propositionnelle et une autre qui introduira à la logique des prédicats de premier ordre.L'objectif sera de parvenir à maîtriser suffisamment le langage de la logique pour pouvoir traduire différents types d'arguments philosophiques et mettre en relief le gain d'une telle traduction pour l'analyse de la forme et l'évaluation de la validité de ces arguments.

Enseignant: Pierre DUVAL

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, dans les domaines mathématiques ou empiriques, mais également d'étudier les rapports entre logique, ontologie et histoire de la philosophie.

M3C en 2 sessions

Régime standard session 1

• La note finale est la moyenne de la note CM et de la note TD. CM : La note est constituée d'une seule épreuve écrite en temps limité pendant les cours. TD : La note est constituée d'au moins deux épreuves, dont un écrit en temps limité. La nature de l'épreuve (examen en temps limité, QCM, devoir maison, dossier, oral, etc.) et la pondération des notes seront communiquées par l'enseignant·e en début de semestre.

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.

Le cours ne nécessite pas de lectures personnelles approfondies. Si toutefois vous souhaitez voir à quoi ressemblera le travail fourni, vous pouvez vous tourner vers l'ouvrage de Pierre Wagner, Logique et philosophie, publié chez Ellipses.