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 deux sessions  

REGIME STANDARD Session 1: CC 100%

• Contrôle Continu : 2 notes au moins dont une évaluation écrite en temps limité comptant pour 50%.

REGIME DEROGATOIRE : CT 100%

• 1 note, évaluation écrite en temps limité - 4H - TD de référence
  

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

• 1 note, évaluation écrite en temps limité - 4H - TD de référence

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.