LG1021 : Logique et Langage

1er semestre
Mardi, 8h30 à 10h30, salle 105 îlot Jussieu
Premier cours 26 septembre 2006

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. 



 

Plan indicatif

  • Ch1 : Syllogistique (logique de Port-Royal) (poly, exos)
  • Ch2 : Raisonnements : de la sémantique à la pragmatique (exos, corrigés)
  • Ch3 : Logique propositionnelle (poly, exos, corrigés)
  • Ch4 : Logique des prédicats (exos, exos sup.)
  • Ch5 : Quelques phénomènes sémantiques
 

Contrôles

Modalités
  • Contrôle continu : un devoir sur table (mi-semestre, 40%) et une épreuve écrite pendant la 1ière session d'examen (janvier), 60%).
  • Contrôle final : une épreuve écrite pendant la 1ière session d'examen (janvier) (100%). 
  • Session de rattrapage (juin) : pour tous : une épreuve écrite pendant la 2e session d'examen (mai ou juin) (100%). 
  • Aucune note n'est conservée entre les deux sessions
Calendrier (à confirmer)
  • DST n°1 : 7 novembre 2006
    • Sujet
    • Corrigé (27/11: Attention, la version distribuée initialement contenait une erreur : exercice 2, graphique, 2e ligne : les étiquettes B et M sont interchangées.)
    • Notes
  • Examen final : 1ière session d'examen (janvier)
    Mardi 9 janvier, 8h30 à 10h30, salle 105
  • 2e session : juin 2007

Annales : voir ma page d'archives

 
 

    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.

    Liens
Ma maison-page January 29 2007