Vous trouverez ici des documents correspondant aux cours que je donne dans le département de philosophie à l'Université Paris Ouest-Nanterre et à l'Ecole Normale Supérieure (cours d'introduction à la logique pour le département d'études cognitives et pour le master LoPhiSC), ainsi que quelques autres choses. Pour télécharger la plupart des fichiers, un login et un mot de passe sont nécessaires. Si vous n'êtes pas inscrit en tant qu'étudiant à l'un de ces cours, et que vous souhaitez quand même consulter les documents en question, contactez-moi par mail.
[Pour revenir à l'accueil]

Cours 2013-2014

A l'Université Paris Ouest Nanterre
A l'ENS 


Paul Klee

Présentation du cours.
Le cours a lieu tous les mercredis, de 10h00 à 13h00 en salle L321 à partir du 13 novembre octobre
mercredi
13.11
Cours 1 : Introduction, diapositives article 1 : Gilbert
article 2 : Quinton
mercredi
20.11
Cours 2 : La difficulté de juger ensemble, diapositives article 3 : Korhnauser & Sager
mercredi
27.11
Cours 3 : Les théorèmes d'impossibilité, diapositives
notes de cours détaillées
pour préparer le cours, (re)lire le 1er chapitre du cours de logique de L3
article 4 : Dietrich & List
mercredi
04.12
Cours 4 : Les théorèmes de possibilité, diapositives
mercredi
11.12
Cours 5 : L'opinion collective existe-t-elle ? diapositives article 5 : Bourdieu, l'opinion publique n'existe pas
article 6 : Pettit, groups with minds of their own
exemple de sujet (pour étudiants en contrôle continu)


Présentation du cours
Le cours a lieu tous les jeudis, de 17h00 à 19h00 au 29 rue d'Ulm, salle Paul Langevin (c'est au 1er étage). Il commence le jeudi 26 septembre.
Le cours est accompagné de séances de TD (facultatifs) :
*** pour les étudiants du Cogmaster, les élèves de l'ENS et les étudiants du philmaster, un mercredi sur deux de 17h à 19h, en salle Langevin 
*** pour les étudiants du LoPhiSC, avec  Isabelle Drouet, un jeudi sur deux, 10h30 à 12h30, salle S/3 Maison des Sciences Economiques (Campo Formio)
Les TD commencent la troisième semaine de cours, c'est-à-dire le mercredi 9 octobre.
jeudi
26.09
Cours 1. Qu'est-ce que la logique ?
Cours 2. La logique propositionnelle. Partie 1: les connecteurs
jeudi 03.10
Cours 2. La logique propositionnelle. Partie 2: la syntaxe. Partie 3: la sémantique DM1 à rendre pour le 17 octobre (la date de rendu est impérative)
jeudi 10.10 Cours 2. La logique propositionnelle : Partie 3: la sémantique suite
jeudi 17.10 Cours 3. Théorie de la démonstration. (diapos complètes pour le cours 3)
jeudi 24.10 Cours 3. Théorie de la démonstration DM 2 à rendre pour le 14 novembre
jeudi 31.10 pas de cours
jeudi 7.11 Cours 3. Théorie de la démonstration
jeudi 14.11 Cours 4. Logique et psychologie. diapos complètes
jeudi 21.11 Cours 5. L'agrégation des jugements. diapos complètes Corrigé du DM2
DM 3 à rendre le 5 décembre
jeudi 28.11 Cours 5. L'agrégation des jugements. diapos mises à jour (fin développée) ancien DS et son corrigé
ancien DS et son corrigé



Années précédentes

                Logicality and Invariance
                Logic and Language, Introductory level
                ESSLLI 09, Bordeaux
                July 20 to July 24, salle Arnozan, 17:00 to 18:30

Slides will be made available each day. Introductory section 1 is already available and you can also find some links to materials relevant to the sessions. Contents will  become more technical as the course goes on but basic knowledge of first-order logic is sufficient to follow it (this is an introductory course). Dag Westerståhl will be coteaching the last session, which will be devoted to some work in progress. Finally, "Logicality and Invariance" is one of the guiding themes of an on-going European research project, LINT (Logic for Interaction), about which you will find more information here

Introducing the problem
Some historical and conceptual background
Day 1 Slides
MacFarlane's SEP article on logical constants
The classical answer
Invariance under permutation
Day 1 & 2
Slides
A recent presentation by G. Sher
A paper by J. van Benthem on invariance through types
Westerståhl's SEP article on generalized quantifiers
A generalized framework
The Galois connection for invariance
Day 3
Slides
A paper of mine
Applying the framework
- Invariance under potential isomorphism
-
Invariance for modal and dynamic logic
Day 4
Slides
A paper by J. van Benthem and me,
Lindström's theorem and more (a paper by B. ten Cate, J. van Benthem and J. Väänänen)
New perspectives (with D. Westerståhl)
Constants vs Consequence
Day 5 Slides