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 Moodle (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.
Organisation (indicative) du cours
| sem. | Date | Description | Liens | Lectures |
|---|---|---|---|---|
| 1 | 19/09/2016 | Ch1. Syllogistique
Concepts de base |
Exemplier : syllogismes | (Arnauld & Nicole, 1662) |
| 2 | 26/09/2016 |
Ch1. Syllogistique
Propositions |
||
| 3 | 03/10/2016 |
Ch1. Syllogistique
Méthode |
Polycopié : extrait (Arnauld & Nicole) | |
| 4 | 10/10/2016 |
Ch1. Syllogistique
Exercices Critique, méthodes graphiques |
feuille d'exercices, corrigé (partiel) |
|
| 5 | 17/10/2016 | Ch2. Raisonnements | Polycopié : synthèse | (Blanché, 1973) (Douven, 2011) |
| 6 | 24/10/2016 |
Exercices sur le ch. 2
Ch3. Logique des propositions |
feuille d'exercices, corrigé (partiel) | |
| 7 | 31/10/2016 | --- Pas de séance --- | ||
| 8 | 07/11/2016 | Ch3. Logique des propositions | feuille d'exercices, corrigé (partiel) | (Salem, 1987) |
| 9 | 14/11/2016 | --- Devoir sur table --- | ||
| 10 | 21/11/2016 | Correction DST | Corrigé DST | (Salem, 1987) |
| 11 | 28/11/2016 |
Ch4. Logique des prédicats
Exercices |
feuille d'exercices | |
| 12 | 05/12/2016 |
Ch4. Logique des prédicats
Exercices |
Feuille d'exercices | |
| 13 | 12/12/2016 |
Ch4. Logique des prédicats
Exercices |
polys: syntaxe,
équivalences
feuille d'exercices |
|
Bibliographie
- Arnaud, A. et P. Nicole (1662) : La logique ou l'art de penser (« La logique de Port-Royal »). Flammarion.
- Bartha, Paul, "Analogy and Analogical Reasoning", The Stanford Encyclopedia of Philosophy (Fall 2013 Edition), Edward N. Zalta (ed.), URL = http://plato.stanford.edu/archives/fall2013/entries/reasoning-analogy/.
- Blanché, R. (1970) : La logique et son histoire, Armand Colin.
- Blanché, R. (1973) : Le Raisonnement PUF.
- Bouveresse, J. (1998)
: Qu'appellent-ils
«penser» ?. Conférence donnée à Genève, à propos des
vertiges de l'analogie.
- Douven, I., "Abduction", The Stanford Encyclopedia of Philosophy (Spring 2011 Edition), Edward N. Zalta (ed.), URL = http://plato.stanford.edu/archives/spr2011/entries/abduction/
- Salem, J. (1987) Introduction à la logique formelle et symbolique, Nathan.
Liens
-
Deux cours plus avancés disponibles en ligne :
- Hyper-cours en ligne d'Andreas Herzig
- Slides, introduction to mathematical logic, par Paul Égré. N'hésitez pas à consulter l'encyclopédie philosophique de Stanford. Par exemple:
- Abduction (Douven, 2011) : section 2.2 du chapitre 2 sur les types de raisonnements)
- Le problème de l'induction (texte un peu technique, en rapport avec la notion d'induction vue dans le chapitre 2)