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 | 25/09/2009 | 065E HaF | Ch0. Présentation du cours
Ch1. Syllogistique Concepts de base |
Polycopié(s) : carré d'opposition, règles de base | (Arnauld et Nicole, 1662) |
2 | 02/10/2009 | 065E HaF |
Ch1. Syllogistique
Méthode |
Polycopié(s) : extrait (Arnauld & Nicole) | (Arnauld et Nicole, 1662) |
3 | 09/10/2009 | 065E HaF |
Ch1. Syllogistique
Critiques |
Exercice(s)
: feuille 1 (à
rendre, pour ceux qui le souhaitent, avant le 23/10
(format papier ou pdf))
Corrigé (partiel) feuille 1 ; feuilles rendues corrigées sur l'interprétation des universelles avec une négation, quelques données Polycopié : méthodes graphiques (corrigé) |
(Blanché, 1970) |
4 | 16/10/2009 | 065E HaF |
Ch2. Raisonnements et inférences
Types de raisonnements |
Polycopié(s) : Types de raisonnements |
(Blanché, 1973) (Ducrot 1980) |
5 | 23/10/2009 | 065E HaF |
Ch2. Raisonnements et inférences
Inférences pragmatiques |
Polycopié(s) : liste des
déclencheurs de présupposition ; voir aussi les détail
des maximes de
Grice (partie haute de la feuille) ; voir enfin
l'exemple détaillé vu en cours
Exercice(s) : feuille 2 (à rendre, pour ceux qui le souhaitent, avant le 20/11) Corrigé feuille 2 ; |
(Grice, 1989), (Ducrot, 1980) |
6 | 30/10/2009 | 065E HaF | Devoir sur table | Voir mes archives pour quelques annales. La feuille d'exercices n°2, même si les exercices n'ont pas été vus en séance, est un bonne base de travail. | |
7 | 06/11/2009 | 065E HaF | 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) |
8 | 13/11/2009 | 065E HaF | Ch3. Logique des propositions
Tables, démonstrations |
Polycopiés : démonstrations
Exercices : feuille 3 nouvelle version (à rendre, pour ceux qui le souhaitent, au plus tard le 11/12) |
|
9 | 20/11/2009 | 065E HaF | Travaux dirigés sur le Ch3. | Exercices : feuille 3 ; selon le temps, feuille 3bis pour aborder la logique des prédicats. | |
10 | 27/11/2009 | 065E HaF | Ch4. Logique des prédicats
Concepts de base, quantification |
Polycopiés : syntaxe | (Salem, 1987) |
11 | 04/12/2009 | 065E HaF | Ch4. Logique des prédicats
Quantification, interprétation |
Exercices : feuille 4 | |
12 | 11/12/2009 | 065E HaF | Travaux dirigés sur le Ch4. | 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é.