ECTS
3 crédits
Composante
Philo, Info-Comm, Langages, Littératures & Arts du spectacle
Volume horaire
24h
Période de l'année
Enseignement cinquième semestre
Description
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
Objectifs
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.
Évaluation
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.
Heures d'enseignement
- Logique TD24h
Pré-requis obligatoires
Il est utile mais pas nécessaire d’avoir suivi un cours d’introduction à la logique propositionnelle.
Compétences visées
Esprit critique, rigueur, sens de la preuve, capacité à rédiger des démonstrations.
Bibliographie
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.