La logique et le langage entretiennent des rapports étroits qui seront
envisagés selon trois 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. Enfin, le point de vue informatique a
renouvelé la question puique l'informatisation des traitements
linguistiques nécessite une représentation formelle du sens et du
raisonnement.
Devoir non surveillé (facultatif) : pour le 11 janvier 00.
Sujet : Montrer que les connecteurs ``flèche'' et
``négation'' sont suffisants, c'est-à-dire qu'on peut trouver, à
toute formule comprenant les connecteurs ``et'', ``ou'', ou ``double
flèche'', une formule équivalente ne comprenant que -> et ¬.
Examen final (pour tous les étudiants) :
mardi 25 Janvier 00, de 14:00 à 16:00, salle 105 îlot Jussieu.
Bibliographie (en cours de réalisation)
Lewis Carrol : Logique sans peine
A. Arnaud et P. Nicole : La logique ou l'art de
penser. Flammarion.