Logique (EAD)

La logique nous aide à réfléchir à ce qui fait que certains arguments sont de bons arguments, et en particulier des arguments valides. Pour ce faire, les logiciens construisent des langages formels, permettant de donner une traduction rigoureuse aux arguments tirés du langage naturel (textes philosophiques, essais, discours publics...), puis d’appliquer à ces arguments formalisés des tests de validité, à des fins d'évaluation critique. Le cours mobilisera deux de ces langages formels. Il sera divisé en deux parties : la première (courte) partie rappellera les rudiments de la logique propositionnelle, et la seconde partie, qui occupera l’essentiel du semestre, introduira à la logique des prédicats.

Maîtriser suffisamment deux langages formels (calcul propositionnel et logique des prédicats) pour traduire différents types d'arguments et les soumettre à une analyse critique tirant profit de la formalisation. Aborder les problèmes philosophiques soulevés par les méthodes formelles présentées.

M3C en deux sessions
• RÉGIME STANDARD session 1: CT 100% Contrôle Terminal: 1 seule note pendant les semaines d'examens, évaluation Ecrite 3h.
• RÉGIME DÉROGATOIRE session 1: CT 100% Contrôle Terminal: 1 note, évaluation Ecrite 3h.
• REGIME STANDARD Session 2 (dite de 2nd chance): CT 100% Contrôle Terminal: 1 note, évaluation Ecrite 3h.

Dans le cadre de cet EC, sauf autorisation expressément formulée par l'enseignant.e, l’usage de l’IA pour aider à la réalisation des travaux de contrôle continu soumis à évaluation est interdit. Les étudiant.e.s n’ont pas le droit de faire appel à une IA générative à des fins de documentation, recherche d’idées, construction, rédaction ou édition.

Pas de pré-requis obligatoire. Ce cours est conçu dans la continuité du cours de Logique 1 (niveau L2), mais des rappels des bases seront faits en début de semestre.

Esprit critique, rigueur, sens de la preuve, capacité à rédiger des démonstrations.

Le cours ne suit pas de manuel spécifique.