La logique et le langage entretiennent des rapports étroits
qui seront envisagés selon plusieurs perspectives. Au point
de vue philosophique, d'abord : les raisonnements
s'expriment en langue naturelle, et la question de la
validité des raisonnements passe par l'étude de la forme des
énoncés qui y participent. Au point de vue linguistique,
ensuite : la logique se revèle très précieuse pour étudier
les phénomènes sémantiques.
Après une brève étude de la syllogistique et des modes d'inférences, on consacrera la majeure partie de ce cours à étudier la façon dont la logique du premier ordre (logique des proposition et logique des prédicats) permet de représenter et d'étudier divers phénomènes d'ordre sémantique.
Après une brève étude de la syllogistique et des modes d'inférences, on consacrera la majeure partie de ce cours à étudier la façon dont la logique du premier ordre (logique des proposition et logique des prédicats) permet de représenter et d'étudier divers phénomènes d'ordre sémantique.
Organisation (indicative) du cours
Pour réviser : Même si les corrigés des exercices ne sont pas toujours donnés en cours, il faut absolument explorer mes archives pour trouver de nombreux devoirs, polycopiés, et corrigés, concernant la logique en général, non seulement liés au cours « logique et langage », mais aussi dans le cadre d'enseignements de « sémantique (formelle/computationnelle) », ou dans le cadre du cours intitulé « signification et théorie linguistique ».
| sem. | Date | Type/Lieu | Description | Liens | Lectures |
|---|---|---|---|---|---|
| 1 | 23/09/2011 | 234C HaF | Ch0. Présentation du cours
Ch1. Syllogistique Concepts de base |
Polycopié(s) : Propositions, règles de base |
(Arnauld & Nicole, 1662) |
| 2 | 30/09/2011 | 234C HaF |
Ch1. Syllogistique
Méthode |
Polycopié(s) : extrait (Arnauld & Nicole) | (Arnauld et Nicole, 1662) |
| 3 | 07/10/2010 | 234C |
Travaux dirigés sur le Ch1
Ch1. Syllogistique Critiques |
Feuille d'exercices
Polycopié(s) : méthodes graphiques |
|
| 4 | 14/10/2011 | 234C |
Ch2. Raisonnements.
1. Types de raisonnements |
Polycopié(s) : types de raisonnement | (Blanché, 1973) |
| 5 | 21/10/2011 | 234C |
Ch2. Raisonnements.
2. Inférences : présuppositions |
Polycopié(s) : propriétés des présuppositions | |
| 28/10/2011 | Pas de séance. | ||||
| 6 | 04/11/2011 | 234C |
Ch2. Raisonnements.
2. Inférences : implicatures |
Polycopié(s) : propriétés des implicatures, liste (simplifiée) des déclencheurs de présupposition | |
| 11/11/2011 | Pas de séance. (jour férié) | ||||
| 7 | 18/11/2011 | 234C | Devoir sur table (2h) | ||
| 8 | 25/11/2011 | 234C | Fin du chapitre 2 Ch3. Logique des propositions Concepts de base |
Polycopié(s) : Syntaxe
et sémantique
un polycopié complet peut-être utile (mais conçu pour un autre public) |
(Salem, 1987) |
| 9 | 02/12/2011 | 234C HaF | Ch3. Logique des propositions
Equivalence et conséquence logique |
(Salem, 1987) | |
| 10 | 09/12/2011 | 234C HaF |
Travaux dirigés sur le Ch3.
Ch4. Logique des prédicats Concepts de base, quantification |
feuille d'exercices | (Salem, 1987) |
| 11 | 16/12/2011 | 234C HaF |
Ch4. Logique des prédicats
Syntaxe, sémantique, équivalences |
Polycopiés: Syntaxe,
Équivalences
feuille d'exercices |
(Salem, 1987) |
Bibliographie
- A. Arnaud et P. Nicole (1662) : La logique ou l'art de penser (« La logique de Port-Royal »). Flammarion.
- Salem, J. (1987) Introduction à la logique formelle et symbolique, Nathan.
- Blanché, R. (1970) La logique et son histoire, Armand Colin.
- Blanché, R. (1973) Le Raisonnement PUF.
Liens
- Un outil pour
travailler la logique, proposé par Jean-Pierre Desclés et
collaborateurs (Paris 4).
Deux cours plus avancés disponibles en ligne :
- Hyper-cours en ligne d'Andreas Herzig
- Slides, introduction to mathematical logic, par Paul Égré.