1293:
1283:
33:
186:
Here is the dilemma. Either arguments containing imperatives can be valid or not. On the one hand, if such arguments can be valid, we need a new or expanded account of logical validity and the concomitant details. Providing such an account has proved challenging. On the other hand, if such arguments
372:
held that no declarative conclusion can be validly drawn from a set of premises which cannot validly be drawn from the declaratives among them alone. There is no consensus among logicians about the truth or falsity of these (or similar) claims and mixed imperative and declarative inference remains
308:
be fulfilled in an acceptable possible world; The conclusion "It is obligatory to clean your room or burn the house down" does not falsify the premise "It is obligatory to clean your room". In addition, based on the context, it may also be true that "It is obligatory to not burn the house down", in
182:
However, an argument is valid if the conclusion follows from the premises. This means the premises give us reason to believe the conclusion, or, alternatively, the truth of the premises determines truth of the conclusion. Since imperatives are neither true nor false and since they are not proper
296:
highlights the challenge faced by anyone who wants to modify or add to the standard account of validity. The challenge is what we mean by a valid imperative inference. For valid declarative inference, the premises give you a reason to believe the conclusion. One might think that for imperative
187:
cannot be valid (either because such arguments are all invalid or because validity is not a notion that applies to imperatives), then our logical intuitions regarding the above argument (and others similar to it) are mistaken. Since either answer seems problematic, this has come to be known as
232:
to an argument with imperatives such that a truth-value can be assigned to the proposition. For example, it may be hard to assign a truth-value to the argument "Take all the books off the table!", but
271:
under the scope of an imperative operator leads to unintuitive (or apparently absurd) results. When applied to simple declaratives, the result appears to be valid deduction.
381:
Aside from intrinsic interest, imperative logic has other applications. The use of imperatives in moral theory should make imperative inference an important subject for
297:
inference, the premises give you a reason to do as the conclusion says; While Ross's paradox seems to suggest otherwise, its severity has been subject of much debate.
250:
230:
252:("take all the books off the table"), which means "It is obligatory to take all the books off the table", can be assigned a truth-value, because it is in the
729:
442:
Frege, G. (1892) 'On sense and reference', in Geach and Black (eds.) Translations from the
Philosophical Writings of Gottlob Frege Oxford: Blackwell.
877:
570:
544:
148:
or more generally what role truth and falsity play in their semantics. Thus, there is almost no consensus on any aspect of imperative logic.
620:
339:
In this case, all the sentences making up the argument are imperatives. Not all imperative inferences are of this kind. Consider again:
938:
368:
held that no imperative conclusion can be validly drawn from a set of premises which does not contain at least one imperative. While
907:
744:
116:
669:
54:
47:
1163:
592:
490:
97:
309:
which case any acceptable possible world must have "Your room is cleaned" and "The house is not burnt down" to be both true.
69:
1156:
980:
468:
76:
810:
196:
578:
320:, in which disjunction introduction leads to absurd conclusions when applied under the scope of a possibility modal.
192:
932:
872:
1000:
815:
83:
43:
975:
183:
objects of belief, none of the standard accounts of logical validity apply to arguments containing imperatives.
1095:
268:
361:
Notice that this argument is composed of both imperatives and declaratives and has an imperative conclusion.
65:
1223:
1183:
1060:
857:
775:
679:
674:
613:
532:
1317:
1100:
990:
1141:
1085:
970:
805:
699:
403:
317:
1258:
1243:
1218:
1213:
1065:
1263:
1248:
1238:
1203:
1151:
1080:
995:
867:
862:
785:
780:
709:
1025:
985:
949:
882:
749:
719:
714:
684:
649:
644:
305:
1296:
1253:
1233:
1173:
1146:
944:
897:
887:
800:
664:
606:
1198:
845:
840:
830:
795:
704:
1286:
1268:
1208:
1188:
1178:
1105:
1090:
1010:
1005:
835:
790:
659:
566:
540:
408:
365:
90:
1228:
1193:
1168:
1120:
1045:
1020:
1015:
917:
892:
473:
157:
141:
1136:
1115:
1110:
1070:
912:
902:
739:
734:
724:
689:
137:
1075:
1050:
1040:
1035:
965:
765:
654:
514:
512:
Hare, Richard M. (1967). Some alleged differences between imperatives and indicatives.
477:
423:
235:
215:
1311:
1055:
922:
770:
398:
301:
209:
203:
852:
825:
820:
145:
282:
However, a similar inference does not seem to be valid for imperatives. Consider:
17:
1030:
565:(2nd ed.). Taylor & Francis. Chapter 12: Deontic and Imperative Logic.
253:
32:
453:
418:
413:
386:
369:
313:
264:
630:
382:
364:
Mixed inferences are of special interest to logicians. For instance,
598:
503:
Poincaré, Henri (1913). Dernières Pensées. Paris: Ernest
Flammarion.
554:
160:. It seems that arguments with imperatives can be valid. Consider:
332:
P1. Do both of the following: wash the dishes and clean your room!
133:
694:
602:
26:
328:
The following is an example of a pure imperative inference:
206:, it received a more developed formulation by Jørgensen.
289:
C1. Therefore, clean your room or burn the house down!
238:
218:
557:, Entry for The International Encyclopedia of Ethics
202:
While this problem was first noted in a footnote by
1129:
958:
758:
637:
278:
C1. Therefore, the room is clean or grass is green.
244:
224:
451:Jørgensen, J. (1938) 'Imperatives and logic',
212:takes the approach of adding a modal operator
614:
267:observed that applying the classical rule of
144:, it is not clear whether imperatives denote
8:
1282:
621:
607:
599:
312:Some strands of this debate connect it to
488:Ross, A. (1944) ‘Imperatives and Logic’,
466:Ross, A. (1941) ‘Imperatives and Logic’,
237:
217:
117:Learn how and when to remove this message
927:
435:
156:One of a logic's principal concerns is
53:Please improve this article by adding
343:P1. Take all the books off the table!
304:requires that all obligations in the
164:P1. Take all the books off the table!
7:
939:What the Tortoise Said to Achilles
478:10.1111/j.1755-2567.1941.tb00034.x
25:
1292:
1291:
1281:
31:
335:C1. Therefore, clean your room!
577:Covers mostly the approach of
1:
55:secondary or tertiary sources
553:Peter B. M. Vranas (2010),
302:semantics for Deontic logic
1334:
1277:
561:Harry J. Gensler (2010).
409:List of Logical Paradoxes
355:Foundations of Arithmetic
348:Foundations of Arithmetic
176:Foundations of Arithmetic
169:Foundations of Arithmetic
595:, University of Virginia
269:disjunction introduction
858:Paradoxes of set theory
533:Charles Leonard Hamblin
259:
151:
555:IMPERATIVES, LOGIC OF*
318:paradox of free choice
275:P1. The room is clean.
246:
226:
42:relies excessively on
579:Héctor-Neri Castañeda
563:Introduction to Logic
491:Philosophy of Science
404:Free choice inference
247:
227:
1224:Kavka's toxin puzzle
996:Income and fertility
353:C1. Therefore, take
286:P1. Clean your room!
236:
216:
174:C1. Therefore, take
883:Temperature paradox
806:Free choice paradox
670:Fitch's knowability
591:Mitchell S. Green,
539:. Basil Blackwell.
306:domain of discourse
189:Jørgensen's dilemma
152:Jørgensen's dilemma
1259:Prisoner's dilemma
945:Heat death paradox
933:Unexpected hanging
898:Chicken or the egg
242:
222:
66:"Imperative logic"
18:Ross' paradox
1305:
1304:
976:Arrow information
572:978-0-415-99650-1
546:978-0-631-15193-7
245:{\displaystyle O}
225:{\displaystyle O}
140:. In contrast to
127:
126:
119:
101:
16:(Redirected from
1325:
1295:
1294:
1285:
1284:
1096:Service recovery
950:Olbers's paradox
650:Buridan's bridge
623:
616:
609:
600:
593:Imperative Logic
576:
550:
519:
510:
504:
501:
495:
486:
480:
464:
458:
449:
443:
440:
350:is on the table.
324:Mixed inferences
251:
249:
248:
243:
231:
229:
228:
223:
193:Jørgen Jørgensen
171:is on the table.
158:logical validity
132:is the field of
130:Imperative logic
122:
115:
111:
108:
102:
100:
59:
35:
27:
21:
1333:
1332:
1328:
1327:
1326:
1324:
1323:
1322:
1308:
1307:
1306:
1301:
1273:
1184:Decision-making
1130:Decision theory
1125:
954:
878:Hilbert's Hotel
811:Grelling–Nelson
754:
633:
627:
588:
573:
560:
547:
531:
528:
526:Further reading
523:
522:
511:
507:
502:
498:
487:
483:
465:
461:
450:
446:
441:
437:
432:
395:
379:
326:
262:
254:indicative mood
234:
233:
214:
213:
154:
136:concerned with
123:
112:
106:
103:
60:
58:
52:
48:primary sources
36:
23:
22:
15:
12:
11:
5:
1331:
1329:
1321:
1320:
1310:
1309:
1303:
1302:
1300:
1299:
1289:
1278:
1275:
1274:
1272:
1271:
1266:
1261:
1256:
1251:
1246:
1241:
1236:
1231:
1226:
1221:
1216:
1211:
1206:
1201:
1196:
1191:
1186:
1181:
1176:
1171:
1166:
1161:
1160:
1159:
1154:
1149:
1139:
1133:
1131:
1127:
1126:
1124:
1123:
1118:
1113:
1108:
1103:
1101:St. Petersburg
1098:
1093:
1088:
1083:
1078:
1073:
1068:
1063:
1058:
1053:
1048:
1043:
1038:
1033:
1028:
1023:
1018:
1013:
1008:
1003:
998:
993:
988:
983:
978:
973:
968:
962:
960:
956:
955:
953:
952:
947:
942:
935:
930:
925:
920:
915:
910:
905:
900:
895:
890:
885:
880:
875:
870:
865:
860:
855:
850:
849:
848:
843:
838:
833:
828:
818:
813:
808:
803:
798:
793:
788:
783:
778:
773:
768:
762:
760:
756:
755:
753:
752:
747:
742:
737:
732:
730:Rule-following
727:
722:
717:
712:
707:
702:
697:
692:
687:
682:
677:
672:
667:
662:
657:
655:Dream argument
652:
647:
641:
639:
635:
634:
628:
626:
625:
618:
611:
603:
597:
596:
587:
586:External links
584:
583:
582:
571:
558:
551:
545:
527:
524:
521:
520:
518:, 76, 309-326.
505:
496:
481:
459:
444:
434:
433:
431:
428:
427:
426:
424:Temporal logic
421:
416:
411:
406:
401:
394:
391:
378:
375:
366:Henri Poincaré
359:
358:
357:off the table!
351:
344:
337:
336:
333:
325:
322:
294:Ross's paradox
291:
290:
287:
280:
279:
276:
261:
260:Ross's paradox
258:
241:
221:
191:, named after
180:
179:
178:off the table!
172:
165:
153:
150:
125:
124:
39:
37:
30:
24:
14:
13:
10:
9:
6:
4:
3:
2:
1330:
1319:
1318:Deontic logic
1316:
1315:
1313:
1298:
1290:
1288:
1280:
1279:
1276:
1270:
1267:
1265:
1262:
1260:
1257:
1255:
1252:
1250:
1247:
1245:
1242:
1240:
1237:
1235:
1232:
1230:
1229:Morton's fork
1227:
1225:
1222:
1220:
1217:
1215:
1212:
1210:
1207:
1205:
1202:
1200:
1197:
1195:
1192:
1190:
1187:
1185:
1182:
1180:
1177:
1175:
1172:
1170:
1169:Buridan's ass
1167:
1165:
1162:
1158:
1155:
1153:
1150:
1148:
1145:
1144:
1143:
1142:Apportionment
1140:
1138:
1135:
1134:
1132:
1128:
1122:
1119:
1117:
1114:
1112:
1109:
1107:
1104:
1102:
1099:
1097:
1094:
1092:
1089:
1087:
1084:
1082:
1079:
1077:
1074:
1072:
1069:
1067:
1064:
1062:
1059:
1057:
1054:
1052:
1049:
1047:
1044:
1042:
1039:
1037:
1034:
1032:
1029:
1027:
1024:
1022:
1019:
1017:
1014:
1012:
1009:
1007:
1004:
1002:
1001:Downs–Thomson
999:
997:
994:
992:
989:
987:
984:
982:
979:
977:
974:
972:
969:
967:
964:
963:
961:
957:
951:
948:
946:
943:
940:
936:
934:
931:
929:
926:
924:
921:
919:
918:Plato's beard
916:
914:
911:
909:
906:
904:
901:
899:
896:
894:
891:
889:
886:
884:
881:
879:
876:
874:
871:
869:
866:
864:
861:
859:
856:
854:
851:
847:
844:
842:
839:
837:
834:
832:
829:
827:
824:
823:
822:
819:
817:
816:Kleene–Rosser
814:
812:
809:
807:
804:
802:
799:
797:
794:
792:
789:
787:
784:
782:
779:
777:
774:
772:
769:
767:
764:
763:
761:
757:
751:
748:
746:
743:
741:
740:Theseus' ship
738:
736:
733:
731:
728:
726:
723:
721:
718:
716:
713:
711:
708:
706:
703:
701:
700:Mere addition
698:
696:
693:
691:
688:
686:
683:
681:
678:
676:
673:
671:
668:
666:
663:
661:
658:
656:
653:
651:
648:
646:
643:
642:
640:
638:Philosophical
636:
632:
624:
619:
617:
612:
610:
605:
604:
601:
594:
590:
589:
585:
580:
574:
568:
564:
559:
556:
552:
548:
542:
538:
534:
530:
529:
525:
517:
516:
509:
506:
500:
497:
493:
492:
485:
482:
479:
475:
471:
470:
463:
460:
456:
455:
448:
445:
439:
436:
429:
425:
422:
420:
417:
415:
412:
410:
407:
405:
402:
400:
399:Deontic logic
397:
396:
392:
390:
388:
384:
376:
374:
371:
367:
362:
356:
352:
349:
345:
342:
341:
340:
334:
331:
330:
329:
323:
321:
319:
315:
310:
307:
303:
298:
295:
288:
285:
284:
283:
277:
274:
273:
272:
270:
266:
257:
255:
239:
219:
211:
210:Deontic logic
207:
205:
200:
198:
194:
190:
184:
177:
173:
170:
166:
163:
162:
161:
159:
149:
147:
143:
139:
135:
131:
121:
118:
110:
99:
96:
92:
89:
85:
82:
78:
75:
71:
68: –
67:
63:
62:Find sources:
56:
50:
49:
45:
40:This article
38:
34:
29:
28:
19:
1249:Preparedness
1081:Productivity
1061:Mandeville's
853:Opposite Day
781:Burali-Forti
776:Bhartrhari's
562:
536:
513:
508:
499:
489:
484:
467:
462:
452:
447:
438:
380:
377:Applications
363:
360:
354:
347:
338:
327:
311:
299:
293:
292:
281:
263:
208:
201:
188:
185:
181:
175:
168:
155:
146:propositions
142:declaratives
129:
128:
113:
107:October 2012
104:
94:
87:
80:
73:
61:
41:
1179:Condorcet's
1031:Giffen good
991:Competition
745:White horse
720:Omnipotence
537:Imperatives
414:Speech acts
138:imperatives
1254:Prevention
1244:Parrondo's
1234:Navigation
1219:Inventor's
1214:Hedgehog's
1174:Chainstore
1157:Population
1152:New states
1086:Prosperity
1066:Mayfield's
908:Entailment
888:Barbershop
801:Epimenides
494:11: 30–46.
472:7: 53–71.
457:7: 288-98.
454:Erkenntnis
430:References
419:Pragmatics
387:metaethics
77:newspapers
44:references
1269:Willpower
1264:Tolerance
1239:Newcomb's
1204:Fredkin's
1091:Scitovsky
1011:Edgeworth
1006:Easterlin
971:Antitrust
868:Russell's
863:Richard's
836:Pinocchio
791:Crocodile
710:Newcomb's
680:Goodman's
675:Free will
660:Epicurean
631:paradoxes
370:R.M. Hare
314:Hans Kamp
1312:Category
1297:Category
1194:Ellsberg
1046:Leontief
1026:Gibson's
1021:European
1016:Ellsberg
986:Braess's
981:Bertrand
959:Economic
893:Catch-22
873:Socratic
715:Nihilism
685:Hedonism
645:Analysis
629:Notable
535:(1987).
393:See also
265:Alf Ross
1199:Fenno's
1164:Arrow's
1147:Alabama
1137:Abilene
1116:Tullock
1071:Metzler
913:Lottery
903:Drinker
846:Yablo's
841:Quine's
796:Curry's
759:Logical
735:Sorites
725:Preface
705:Moore's
690:Liberal
665:Fiction
469:Theoria
373:vexed.
91:scholar
1106:Thrift
1076:Plenty
1051:Lerner
1041:Jevons
1036:Icarus
966:Allais
928:Ross's
766:Barber
750:Zeno's
695:Meno's
569:
543:
383:ethics
93:
86:
79:
72:
64:
1209:Green
1189:Downs
1121:Value
1056:Lucas
923:Raven
831:No-no
786:Court
771:Berry
204:Frege
134:logic
98:JSTOR
84:books
1287:List
1111:Toil
826:Card
821:Liar
567:ISBN
541:ISBN
515:Mind
385:and
346:P2.
300:The
167:P2.
70:news
474:doi
316:'s
199:).
46:to
1314::
389:.
256:.
197:da
57:.
941:"
937:"
622:e
615:t
608:v
581:.
575:.
549:.
476::
240:O
220:O
195:(
120:)
114:(
109:)
105:(
95:·
88:·
81:·
74:·
51:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.