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.
Lien
vers le cours sur Didel (pour les étudiants de Paris Diderot).
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.
Pour des raisons indépendantes de ma volonté, je me vois contraint de repousser le devoir sur table d'une semaine, et vous annonce donc que le devoir sur table de milieu de semestre aura lieu le lundi 9 novembre aux horaires habituels (et non pas le 2 novembre comme prévu initialement). Nous aurons donc une séance de cours normale lundi 2 novembre, mais le devoir ne portera que sur ce qui a été vu jusqu'au 26 octobre inclus.
Organisation (indicative) du cours
sem. | Date | Lieu | Description | Liens | Lectures |
---|---|---|---|---|---|
1 | 21/09/2015 | 203 | Ch0. Présentation du cours
Ch1. Syllogistique Concepts de base |
(Arnauld & Nicole, 1662) | |
2 | 28/09/2015 | 203 |
Ch1. Syllogistique
Méthode |
Exemplier : syllogismes | |
3 | 05/10/2015 | 203 |
Ch1. Syllogistique
Méthode Exercices |
Polycopié : extrait (Arnauld & Nicole) Feuille d'exercices, corrigé (partiel) |
|
4 | 12/10/2015 | 203 |
Ch1. Syllogistique
Critique, méthodes graphiques Ch2. Raisonnements |
Poly : méthodes graphiques | (Blanché, 1973) |
5 | 19/10/2015 | 203 |
Ch2. Raisonnements (suite et fin)
Exercices |
Poly : types de raisonnement
Feuille d'exercices, |
|
6 | 26/10/2015 | 203 | Ch3. Logique des propositions | (Salem, 1987) | |
7 | 02/11/2015 | 203 | Ch3. Logique des propositions | Feuille d'exercices, corrigé (partiel) | |
8 | 09/11/2015 | 203 | --- Devoir sur table --- | ||
9 | 16/11/2015 | 203 | Ch4. Logique des prédicats | Feuille d'exercices, corrigé (partiel) | (Salem, 1987) |
10 | 23/11/2015 | 203 | Ch4. Logique des prédicats (suite) | ||
11 | 30/11/2015 | 203 | Ch4. Logique des prédicats : exercices | Feuille d'exercices, corrigé (partiel) | |
12 | 07/12/2015 | 203 |
Ch4. Logique des prédicats (fin) Exercices Questions de révision |
Poly: équivalences remarquables
Feuille d'exercices, corrigé |
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
-
Deux cours plus avancés disponibles en ligne :
- Hyper-cours en ligne d'Andreas Herzig
- Slides, introduction to mathematical logic, par Paul Égré.