Table of contents
Table of contents
| De la logique des obligations, des permissions et des interdictions |
1 |
| Avant-propos |
5 |
| CHAPITRE 1 |
7 |
| La logique déontique |
7 |
| Un peu d'histoire |
7 |
| L'objet de la logique déontique |
8 |
| Le dilemme de Jorgensen |
10 |
| Structure et objectifs |
16 |
| La logique modale |
19 |
| Les systèmes standard |
19 |
| CHAPITRE 2 |
19 |
| Déduction naturelle |
21 |
| Système axiomatique |
23 |
| Logique intuitionniste |
24 |
| Sémantique des logiques modales |
26 |
| Hiérarchie des logiques modales |
30 |
| Systèmes normaux et fortement normaux |
30 |
| CHAPITRE 3 |
35 |
| Les paradoxes |
35 |
| Qu'est-ce qu'un paradoxe? |
35 |
| L'obligation dérivée |
36 |
| Le bon Samaritain |
39 |
| Les obligations violées |
42 |
| Le meurtre gentil |
46 |
| La conséquence déontique |
49 |
| L'explosion déontique |
50 |
| Le paradoxe de Ross |
51 |
| CHAPITRE 4 |
54 |
| Les systèmes monadiques |
54 |
| Le système initial de von Wright |
54 |
| Peter Schotch et Ray Jennings |
58 |
| Hector-Neri Castaneda |
63 |
| Andrew J. I. Jones et Ingmar Porn |
67 |
| CHAPITRE 5 |
71 |
| Les systèmes dyadiques |
71 |
| Georg Henrik von Wright |
71 |
| Nicholas Rescher |
74 |
| Bas C. van Fraassen |
76 |
| Brian F. Chellas |
79 |
| Job van Eck |
85 |
| La logique temporelle |
85 |
| CHAPITRE 6 |
85 |
| Richmond Thomason |
89 |
| CHAPITRE 7 |
95 |
| La logique non monotone |
95 |
| Motivations |
95 |
| John Horty |
99 |
| Différents types de défaisabilité |
106 |
| Lou Goble |
109 |
| Les systèmes normatifs |
111 |
| Les logiques multi-modales |
111 |
| CHAPITRE 8 |
111 |
| José Carmo et Andrew Jones |
112 |
| Pilar Dellunde |
120 |
| Origines |
125 |
| La logique stit |
125 |
| CHAPITRE 9 |
125 |
| Réduction Anderson-Kanger |
126 |
| John Horty |
133 |
| Olga Pacheco et José Carmo |
142 |
| Jan Broersen |
152 |
| Préliminaires |
163 |
| Les logiques dynamiques |
163 |
| CHAPITRE 10 |
163 |
| John-Jules Meyer |
165 |
| Lambèr M.M. Royakkers |
173 |
| Kirster Segerberg |
183 |
| Ron van der Meyden |
189 |
| Jan Broersen |
197 |
| CHAPITRE 11 |
201 |
| La logique Input/Output |
201 |
| David Makinson et Leendert van der Torre |
201 |
| Guido Boella et Leendert van der Torre |
214 |
| CHAPITRE 12 |
223 |
| Les algèbres déontiques |
223 |
| Lars Lindahl et Jan Odelstad |
223 |
| Krister Segerberg |
229 |
| Pablo Castro et Tom Maibaum |
240 |
| Thierry Lucas |
241 |
| Bibliographie |
247 |
| Abréviations et notations |
259 |
| Index |
261 |
