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 : |
jeudi, 10h30-12h00 |
Salle : |
105 |
Rythme : |
Semestriel (S1) |
Premier cours |
jeudi 10 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 : 14 novembre 02.
Sur table, sans documents, salle habituelle (env. 1 heure).
- Devoir non surveillé : distribué le 07 nov. 02, pour le 16 janvier 03.
- Examen final (pour tous les étudiants) :
Vendredi 31 janvier 2002, de 08h30 à 11h30, Amhi X3, 1 rue Guy de
la Brosse
Modalités (indicatives)
-
Contrôle continu : un devoir sur table début
novembre (30%), un devoir à la maison pour début janvier
(20%) et une épreuve écrite pendant la session d'examen de
janvier-février (50%).
-
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%).
Annales
Vous pouvez jeter un oeil sur les pages décrivant cet enseignement
les années précédentes :
|
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.
-
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/Ens03/LG212b.html
|
lun fév 3, 2003
|
|