LG1021 : Logique et Langage

Responsable : Pascal Amsili

1er semestre
Mardi, 8h30 à 10h30, salle 470 E Halle aux farines
Premier cours 23 septembre 2008
Pas de séance le mardi 11 novembre 2008

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

  

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%). (En cas de DNS facultatif, la répartition devient : DST 30% ; DNS 20% ; Exam 50%)
  • 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
  • Devoir non surveillé (DNS) : travail personnel facultatif à remettre au plus tard le mardi 09 décembre 2008
  • Devoir sur table (DST) : travail en temps limité, sans documents.
    mardi 04 novembre 2008, lieu et heure habituels.
  • Examen final 1e session
    Mardi 06 janvier 2009, de 12h00 à 14h00, salle 247E
    Mardi 13 janvier 2009, de 12h00 à 14h00, Amphi 11 E
  • Examen 2e session
    Lundi 15 juin 2009, de 16h30 à 18h30, salle 65E

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 June 17 2009