De la logique des obligations, des permissions et des interdictions

De la logique des obligations, des permissions et des interdictions
  • Éditeur québécois

Table des matières

Table des matières
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