LG 212(b) : Logique et Langage
Deuxième module du cours « langue et pensée »
UE découverte offertes aux DEUG de Lettres et Sciences Humaines
Ce module est groupé avec le cours « Introduction à
l'histoire des sciences du langage », dispensé par divers enseignants
sous la responsabilité de Sylvie Archaimbault (archaimb@ccr.jussieu.fr)
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.
Emploi du temps
| Horaires : |
mardi, 09h00-10h30 |
| Salle : |
105, îlot Jussieu |
| Rythme : |
Semestriel (S1) |
| Premier cours |
jeudi 14 octobre |
Plan (sommaire et indicatif) du cours
-
Introduction : schéma général
-
Syllogistique
-
Modèles d'inférence
-
Logique propositionnelle
-
Logique des prédicats
|
Contrôles
- Devoir sur table n° 1 : 25 novembre 03.
Sur table, sans documents, salle habituelle (env. 1 heure).
- Examen final (pour tous les étudiants) :
jeudi 22 janvier 2004, de 8:30 à 11:30, amphi 55A (modifications possibles)
Modalités (indicatives)
-
Contrôle continu : un devoir sur table début
novembre (40%) et une épreuve écrite pendant la session d'examen de
janvier-février (60%). La note obtenue compte pour la moitié du
résultat final de LG212 (Langue et pensée)
-
Contrôle final : une épreuve écrite pendant
la session d'examen de janvier-février (100%).
-
Session de rattrapage (sept.) : pour tous : une épreuve
écrite pendant la session d'examen de septembre (100%).
-
Aucune note n'est conservée entre
février et septembre
Annales
Pages décrivant cet enseignement
les années précédentes :
2001-2002,
2001-2002,
2000-2001,
1999-2000.
|
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.
-
M.-D. Popelard et D. Vernant (1998) : Éléments de logique,
Seuil, coll. Mémo.
-
J. Largeault (1993) : La logique, PUF, coll. « Que sais-je ? ».
-
M. Galmiche (1991) : Sémantique linguistique et logique. Un
exemple : la théorie de R. Montague, PUF.
|
|
http://www.linguist.jussieu.fr/~amsili/Ens04/LG212b.html
|
Last modified: Thu Dec 11 10:32:01 CET 2003
|
|