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
| sem. | Date | Type/Lieu | Description | Liens | Lectures |
|---|---|---|---|---|---|
| 1 | 24/09/2010 | 10E HaF | Ch0. Présentation du cours
Ch1. Syllogistique Concepts de base |
Polycopié(s) : carré d'opposition, règles de base |
(Arnauld & Nicole, 1662) |
| 2 | 01/10/2010 | 10E HaF |
Ch1. Syllogistique
Méthode |
Polycopié(s) : extrait (Arnauld & Nicole) | (Arnauld et Nicole, 1662) |
| 3 | 08/10/2010 | 10E |
Ch1. Syllogistique
Critiques Travaux dirigés sur le Ch1 |
feuille d'exercices | |
| 4 | 15/10/2010 | 10E |
Ch2. Raisonnements.
1. Types de raisonnements |
Polycopié(s) : Types de raisonnements | |
| 5 | 22/10/2010 | 10E |
Ch2. Raisonnements.
2. Inférences : présuppositions |
Polycopié(s) (non distribué) : Déclencheurs de présuppositions | |
| 6 | 29/10/2010 | 10E |
Ch2. Raisonnements.
2. Inférences : implicatures Travaux dirigés sur le Ch2. |
Polycopié(s) (non distribué): détails
des maximes de
Grice (partie haute de la feuille) ;
Exercice : feuille 2 | |
| 7 | 05/11/2010 | 10E | Devoir sur table (2h) | ||
| 8 | 12/11/2010 | 10E | 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 | 19/11/2010 | 10E HaF | Ch3. Logique des propositions
Equivalence et conséquence logique Travaux dirigés sur le Ch3. |
Exercices : feuille 3 | |
| 10 | 26/11/2010 | 10E HaF |
Ch4. Logique des prédicats
Concepts de base, quantification |
||
| 11 | 03/12/2010 | 10E HaF |
Ch4. Logique des prédicats
Syntaxe, sémantique, équivalences |
Polycopiés : syntaxe
Exercices : feuille 3bis |
(Salem, 1987) |
| 12 | 10/12/2010 | 10E HaF | Travaux dirigés sur le Ch4. | Polycopié : équivalences remarquables Exercices : feuille 4 |
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é.