module 1 - Logique et formalisation des attitudes

Résumé: 

Le cours introduit aux approches formelles de la connaissance, de la croyance et plus généralement des attitudes. Il comprend une partie technique (logique modale du premier ordre), et introduit quelques questions contemporaines en métaphysique et en philosophie de la connaissance.

Bibliographie: 

Pour un aperçu général et introductif sur la logique :

  • Wagner Pierre, La Logique (Coll. “Que Sais-Je?”, PUF, 2006).

Bases techniques :

  • Rivenc François : Introduction à la logique (Petite Bibliothèque Payot, 2003).

Pour un panorama plus complet :

  • Gochet Paul et Pascal Gribomont : Logique. Vol.1. Méthodes pour l’informatique fondamentale (Hermès, 1998).
  • Gochet, Paul, Pascal Gribomont & André Thayse, 2000: Logique. Volume 3: Méthodes pour l’intelligence artificielle, Hermès, Paris.
  • Gamut, L.T.F., 1991 : Logic, Language and Meaning. Vol.I. Introduction to Logic. Vol.II. Intensional Logic and Logical Grammar, The University of Chicago Press, Chicago.

Introduction aux questions philosophiques :

Enseignant: 
Année: 
M2_MADELHIS
Identifiant: 
UE902-EC2
Année pour le master MADELHIS: 
1ère année