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 | Lieu | Description | Liens | Lectures |
|---|---|---|---|---|---|
| 1 | 23/09/2012 | 406B | Ch0. Présentation du cours
Ch1. Syllogistique Concepts de base |
Polycopié(s) : Propositions, règles de base |
(Arnauld & Nicole, 1662) |
| 2 | 28/09/2012 | 406B |
Ch1. Syllogistique
Méthode |
Polycopié(s) : extrait (Arnauld & Nicole) | (Arnauld et Nicole, 1662) |
| 3 | 05/10/2010 | 406B |
Ch1. Syllogistique
Critiques Travaux dirigés sur le Ch1 |
Polycopié(s) : méthodes
graphiques
Feuille d'exercices |
|
| 4 | 12/10/2012 | 406B | Ch2. Raisonnements. | Polycopié: types de raisonnements | (Blanché, 1973) |
| 5 | 19/10/2012 | 406B | Ch3. Logique des propositions. | un polycopié complet qui peut être utile (conçu pour un autre public) | (Salem, 87) |
| 6 | 26/10/2012 | 406B |
Ch3. Logique des propositions.
Exercices chapitre 3 (selon temps) |
feuille d'exercices | (Salem, 87) |
| 7 | 02/11/2012 | 406B | Ch4. Logique des prédicats. | (Salem, 87) | |
| 8 | 09/11/2012 | 406B | Devoir sur table (2h) | ||
| 9 | 16/11/2012 | 406B |
Retour et corrigé DST Ch4. Logique des prédicats. |
(Salem, 87) | |
| 10 | 23/11/2012 | 406B | Ch4. Logique des prédicats. | Polycopié(s): équivalences remarquables | (Salem, 87) |
| 11 | 30/11/2012 | 406B | Exercices sur le chapitre 4 | feuille d'exercices | (Salem, 87) |
| 12 | 07/12/2012 | 406B | Exercices sur le chapitre 4 | feuille d'exercices |
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é.