235:(1754), reviewed the relationships between action, determinism, and personal culpability. Edwards begins his argument by establishing the ways in which necessary statements are made in logic. He identifies three ways necessary statements can be made for which only the third kind can legitimately be used to make necessary claims about the future. This third way of making necessary statements involves conditional or consequential necessity, such that if a contingent outcome could be caused by something that was necessary, then this contingent outcome could be considered necessary itself "by a necessity of consequence". Prior interprets Edwards by supposing that any necessary consequence of any already necessary truth would "also 'always have existed,' so that it is only by a necessary connexion (sic) with 'what has already come to pass' that what is still merely future can be necessary." Further, in
88:
62:, so a contingent statement is false in at least one possible world. While contingent statements are false in at least one possible world, possible statements are not also defined this way. Since necessary statements are a kind of possible statement (e.g. 2=2 is possible and necessary), then to define possible statements as 'false in some possible world' is to affect the definition of necessary statements. Since necessary statements are never false in any possible world, then some possible statements are never false in any possible world. So the idea that a statement might ever be false and yet remain an unrealized
156:
198:. The opposing view, with an early version from Cicero, is that Aristotle was not attempting to disqualify assertoric statements about future contingents from being either true or false, but that their truth value was indeterminant. This latter reading takes future contingents to possess a truth value, one which is necessary but which is unknown. This view understands Aristotle to be saying that while some event's occurrence at a specified time was necessary, a fact of necessity which could not have been known to us, its occurrence at simply any time was not necessary.
42:, in which statements are true. Contingency is one of three basic modes alongside necessity and possibility. In modal logic, a contingent statement stands in the modal realm between what is necessary and what is impossible, never crossing into the territory of either status. Contingent and necessary statements form the complete set of possible statements. While this definition is widely accepted, the precise distinction (or lack thereof) between what is contingent and what is necessary has been challenged since antiquity.
194:, a fact which seems to contradict their contingency. Aristotle's intention with these claims breaks down into two primary readings of his work. The first view, considered notably by Boethius, supposes that Aristotle's intentions were to argue against this logical determinism only by claiming future contingent statements are neither true nor false. This reading of Aristotle regards future contingents as simply disqualified from possessing any truth value at all until they are
143:
outlines rudimentary notes about a "Logic for
Contingent Beings." Deutsch believes that the solution to Prior's concern begins by removing the assumption that logical statements are necessary. He believes the statement format, "If all objects are physical, and ϕ exists, then ϕ is physical," is logically true by form but is not necessarily true if ϕ
75:
false in a world in which it is also always logically achievable. In such a world, the contingent idea is never necessarily false since this would make it impossible in that world. But if it's false and yet still possible, this means the truths or facts in that world would have to change in order for the contingent truth to become
54:. This means there is a way to imagine a world in which a statement is true and in which its truth does not contradict any other truth in that world. If it were impossible, there would be no way to conceive such a world: the truth of any impossible statement must contradict some other fact in that world. Contingency is
227:
states that a thing is called contingent when "we do not know whether the essence does or does not involve a contradiction, or of which, knowing that it does not involve a contradiction, we are still in doubt concerning the existence, because the order of causes escape us." Further, he states, "It is
74:
is always possible and always true, which makes it necessary and therefore not contingent. This mathematical truth does not depend on any other truth, it is true by definition. On the other hand, since a contingent statement is always possible but not necessarily true, we can always conceive it to be
66:
is entirely reserved to contingent statements alone. While all contingent statements are possible, not all possible statements are contingent. The truth of a contingent statement is consistent with all other truths in a given world, but not necessarily so. They are always possible in every imaginable
142:
seems to require that "whatever exists exists necessarily." He says this threatens the definition of contingent statements as non-necessary things when one generically intuits that some of what exists does so contingently, rather than necessarily. Harry
Deutsch acknowledged Prior's concern and
716:
When a statement is false in at least one possible world, this does not mean there is always some world in which it is literally false, only that there is some imaginable world in which a statement is literally false and that this would not contradict some other truth in that imaginable
727:"Always true" means "tautologically true" or "necessarily true" since if a contingent truth is possible in every world it may happen to be true in every possible world but not as a matter of tautological necessity, only as a matter of coincidence.
228:
in the nature of reason to perceive things under a certain form of eternity as necessary and it is only through our imagination that we consider things, whether in respect to the future or the past, as contingent.
222:
idea of synchronic contingency, which attempted to remove perceived contradictions between necessity, human freedom and the free will of God to create the world. In the 17th
Century, Baruch Spinoza in his
190:
to represent their truth or falsity, this may not be the case of contingent future-tense statements. Aristotle asserts that if this were the case for future contingent statements as well, some of them
70:
This distinction begins to reveal the ordinary
English meaning of the word "contingency," in which the truth of one thing depends on the truth of another. On the one hand, the mathematical idea that
819:
A Careful and Strict
Enquiry into the Modern Prevailing Notions of that Freedom of Will which is supposed to be Essential to Moral Agency, Virtue and Vice, Reward and Punishment, Praise and Blame
233:
A Careful and Strict
Enquiry into the Modern Prevailing Notions of that Freedom of Will which is supposed to be Essential to Moral Agency, Virtue and Vice, Reward and Punishment, Praise and Blame
111:
and Arthur Pap consider the concept of analytic truths, for example (as distinct from synthetic ones) to be ambiguous since in practice they are defined or used in different ways. And while
107:
distinctions as well as the modal distinctions already noted. But there is not always agreement about exactly what these distinctions mean or how they are used. Philosophers such as
186:
observes an apparent paradox in the nature of contingency. He considers that while the truth values of contingent past- and present-tense statements can be expressed in pairs of
79:. When a statement's truth depends on this kind of change, it is contingent: possible but dependent on whatever facts are actually taking place in a given world.
538:
Cicero, De fato, with an
English translation by H. Rackham, (Loeb Classical Library 349), London: Heinemann, and Cambridge, MA: Harvard University Press, 1968.
206:
Medieval thinkers studied logical contingency as a way to analyze the relationship between Early Modern conceptions of God and the modal status of the world
123:
claims that there are examples in which analytic statements are not necessary. Kripke uses the example of a meter stick to support the idea that some
239:, Prior attributes an argument against the incompatibility of God's foreknowledge or foreordaining with future contingency to Edward's
17:
99:
Some philosophical distinctions are used to examine the line between contingent and necessary statements. These include
100:
1022:
1003:
984:
942:
911:
892:
873:
854:
747:
639:
612:
58:, so a contingent statement is therefore one which is true in at least one possible world. But contingency is also
34:
is the feature of a statement making it neither necessary nor impossible. Contingency is a fundamental concept of
195:
490:
Boethius, Commentarii in librum
Aristotelis Perihermeneias I–II, C. Meiser (ed.), Leipzig: Teubner, 1877–1880.
173:
836:
Frede, Dorothea (1985). "The Sea-Battle
Reconsidered : A Defense of the Traditional Interpretation".
1084:
1079:
87:
929:. Boston Studies in the Philosophy and History of Science. Vol. 332. Springer. pp. 157–180.
104:
277:
187:
95:
exists, then A. N. Prior is physical" may be logically true by form, but not necessarily true.
1074:
214:
not to create the universe or set in order a series of natural events. In the 16th century,
1069:
252:
159:
Aristotle's example of a sea battle as a future contingent demonstrates the paradox of the
8:
257:
155:
138:
argues that a cross-examination between the basic principles of modal logic and those of
956:
804:
383:
351:
215:
139:
1018:
999:
980:
960:
948:
938:
907:
888:
869:
850:
743:
635:
608:
923:"Secundum Quid and Contingentia: Scholastic Reminiscences in Early Modern Mechanics"
930:
796:
776:
The
Problem of Divine Foreknowledge and Future Contingents from Aristotle to Suarez
762:
375:
374:, The Philosophical Review, vol. 74, Duke University Press, pp. 178–203,
343:
342:, The Philosophical Review, vol. 58, Duke University Press, pp. 299–320,
144:
210:
His creation. Early Modern writers studied contingency against the freedom of the
1033:
922:
757:
Anscombe, G. E. M. (1956). "Aristotle and the Sea Battle: De Interpretatione 9".
108:
934:
740:
Aristotle, Categories and De Interpretatione: Translated with Notes and Glossary
627:
600:
262:
51:
50:
In logic, a thing is considered to be possible when it is true in at least one
952:
1063:
817:
267:
160:
76:
135:
120:
766:
632:
A Spinoza Reader: the Ethics and other works. Translated by Curley, Edwin.
605:
A Spinoza Reader: the Ethics and other works. Translated by Curley, Edwin.
272:
191:
112:
92:
35:
1047:
808:
800:
784:
387:
369:
355:
337:
183:
379:
347:
827:
Fine, Gail (1984). "Truth and Necessity in De interpretatione 9".
219:
211:
231:
The eighteenth-century philosopher Jonathan Edwards in his work
1015:
Necessity, Cause and Blame: Perspectives on Aristotle's Theory
866:
Time and Necessity: Studies in Aristotle's Theory of Modality
115:
stipulates that analytic statements are always necessary and
778:, Brill’s Studies in Intellectual History, Leiden: Brill
927:
Contingency and Natural Order in Early Modern Science
67:
world but not always true in every imaginable world.
45:
925:. In Omodeo, Pietro Daniel; Garau, Rodolfo (eds.).
147:, for example, a specific person who is not alive.
1035:Logical and Analytic Truths That Are Not Necessary
795:(1–2). Springer Science + Business Media: 89–102.
82:
1061:
201:
167:
91:The statement "If all objects are physical, and
921:Omodeo, Pietro Daniel (September 19, 2019).
887:(2nd ed.). Harvard University Press.
634:, Princeton University Press, p. 71,
607:, Princeton University Press, p. 26,
998:(1st ed.). Oxford University Press.
1041:, 85, vol. 2, Journal of Philosophy
863:
756:
561:
548:
367:
339:Are All Necessary Propositions Analytic?
154:
86:
1012:
844:
815:
782:
737:
680:
654:
626:
599:
500:
478:
465:
452:
323:
297:
27:Possible truths which are not necessary
14:
1062:
920:
882:
587:
426:
400:
310:
38:. Modal logic concerns the manner, or
1045:
1031:
993:
974:
901:
835:
773:
693:
667:
526:
513:
439:
413:
150:
838:Oxford Studies in Ancient Philosophy
826:
574:
1055:, Stanford Metaphysics Research Lab
335:
24:
709:
25:
1096:
720:
46:Contingency and modal possibility
829:History of Philosophy Quarterly
686:
673:
660:
647:
620:
593:
580:
567:
554:
541:
532:
519:
506:
493:
484:
471:
458:
445:
216:European Reformed Scholasticism
83:Contingency and modal necessity
822:(5th ed.). J. Murgatroyd.
711:
432:
419:
406:
393:
361:
329:
316:
303:
290:
13:
1:
1049:Basic Concepts in Modal Logic
785:"Contingency and Modal Logic"
722:
283:
202:Determinism and foreknowledge
174:Problem of future contingents
168:Problem of future contingency
1017:. Cornell University Press.
774:Craig, William Lane (1988),
371:Are Logical Truths Analytic?
72:a sum of two and two is four
7:
979:. Oxford University Press.
935:10.1007/978-3-319-67378-3_8
849:(3rd ed.). Routledge.
246:
10:
1101:
904:On the Plurality of Worlds
816:Edwards, Jonathan (1754).
731:
171:
1013:Sorabji, Richard (1980).
864:Hintikka, Jaakko (1973).
368:Hintikka, Jaakko (1965),
237:Past, Present, and Future
192:would be necessarily true
996:Past, Present and Future
703:
551:, p. 65(257): 1–15)
845:Gensler, Harry (2017).
783:Deutsch, Harry (1990).
738:Ackrill, J. L. (1963).
278:Subjunctive possibility
127:truths are contingent.
1046:Zalta, Edward (1995),
1032:Zalta, Edward (1988),
994:Prior, Arthur (1967).
975:Prior, Arthur (1957).
577:, p. 1(1): 23–47)
164:
140:quantificational logic
96:
902:Lewis, David (1986).
883:Kripke, Saul (1980).
847:Introduction to Logic
789:Philosophical Studies
158:
90:
885:Naming and Necessity
590:, p. 156: 1–24)
336:Pap, Arthur (1949),
253:Conceptual necessity
868:. Clarendon Press.
767:10.1093/mind/65.1.1
742:. Clarendon Press.
258:Logical possibility
18:Contingent question
801:10.1007/BF00370979
516:, p. 3:31-87)
180:De Interpretatione
165:
151:Future contingency
145:rigidly designates
97:
1085:Concepts in logic
1080:Sentences by type
977:Time and Modality
628:Spinoza, Benedict
601:Spinoza, Benedict
220:John Duns Scotus'
212:Christian Trinity
132:Time and Modality
16:(Redirected from
1092:
1056:
1054:
1042:
1040:
1028:
1009:
990:
971:
969:
967:
917:
898:
879:
860:
841:
832:
823:
812:
779:
770:
753:
726:
715:
697:
690:
684:
677:
671:
664:
658:
651:
645:
644:
624:
618:
617:
597:
591:
584:
578:
571:
565:
558:
552:
545:
539:
536:
530:
523:
517:
510:
504:
497:
491:
488:
482:
475:
469:
468:, p. 94-95)
462:
456:
449:
443:
436:
430:
423:
417:
410:
404:
397:
391:
390:
365:
359:
358:
333:
327:
320:
314:
307:
301:
294:
178:In chapter 9 of
21:
1100:
1099:
1095:
1094:
1093:
1091:
1090:
1089:
1060:
1059:
1052:
1038:
1025:
1006:
987:
965:
963:
945:
914:
895:
876:
857:
750:
734:
706:
701:
700:
691:
687:
678:
674:
665:
661:
652:
648:
642:
625:
621:
615:
598:
594:
585:
581:
572:
568:
559:
555:
546:
542:
537:
533:
524:
520:
511:
507:
498:
494:
489:
485:
476:
472:
463:
459:
450:
446:
437:
433:
424:
420:
411:
407:
398:
394:
380:10.2307/2183264
366:
362:
348:10.2307/2182079
334:
330:
321:
317:
308:
304:
295:
291:
286:
249:
204:
176:
170:
153:
109:Jaakko Hintikka
85:
48:
28:
23:
22:
15:
12:
11:
5:
1098:
1088:
1087:
1082:
1077:
1072:
1058:
1057:
1043:
1029:
1023:
1010:
1004:
991:
985:
972:
943:
918:
912:
899:
893:
880:
874:
861:
855:
842:
833:
824:
813:
780:
771:
754:
748:
733:
730:
729:
728:
718:
705:
702:
699:
698:
696:, p. 114)
685:
672:
659:
646:
640:
619:
613:
592:
579:
566:
553:
540:
531:
518:
505:
492:
483:
481:, p. 132)
470:
457:
444:
431:
418:
405:
392:
360:
328:
326:, p. 231)
315:
302:
300:, p. 231)
288:
287:
285:
282:
281:
280:
275:
270:
265:
263:Modal collapse
260:
255:
248:
245:
218:subscribed to
203:
200:
188:contradictions
172:Main article:
169:
166:
152:
149:
84:
81:
56:not impossible
52:possible world
47:
44:
26:
9:
6:
4:
3:
2:
1097:
1086:
1083:
1081:
1078:
1076:
1073:
1071:
1068:
1067:
1065:
1051:
1050:
1044:
1037:
1036:
1030:
1026:
1024:9780801492440
1020:
1016:
1011:
1007:
1005:9780198243113
1001:
997:
992:
988:
986:9780198241584
982:
978:
973:
962:
958:
954:
950:
946:
944:9783319673783
940:
936:
932:
928:
924:
919:
915:
913:9780631224266
909:
906:. Blackwell.
905:
900:
896:
894:0-674-59845-8
890:
886:
881:
877:
875:9780198243656
871:
867:
862:
858:
856:9781138910584
852:
848:
843:
839:
834:
830:
825:
821:
820:
814:
810:
806:
802:
798:
794:
790:
786:
781:
777:
772:
768:
764:
760:
755:
751:
749:0-19-872086-6
745:
741:
736:
735:
725:
724:
719:
714:
713:
708:
707:
695:
689:
682:
676:
669:
663:
656:
650:
643:
641:0-691-00067-0
637:
633:
629:
623:
616:
614:0-691-00067-0
610:
606:
602:
596:
589:
583:
576:
570:
563:
562:Hintikka 1973
557:
550:
549:Anscombe 1956
544:
535:
528:
522:
515:
509:
502:
496:
487:
480:
474:
467:
461:
455:, p. 93)
454:
448:
441:
435:
429:, p. 75)
428:
422:
415:
409:
403:, p. 39)
402:
396:
389:
385:
381:
377:
373:
372:
364:
357:
353:
349:
345:
341:
340:
332:
325:
319:
313:, p. 14)
312:
306:
299:
293:
289:
279:
276:
274:
271:
269:
268:Modal fallacy
266:
264:
261:
259:
256:
254:
251:
250:
244:
242:
238:
234:
229:
226:
221:
217:
213:
209:
199:
197:
193:
189:
185:
181:
175:
162:
161:modal fallacy
157:
148:
146:
141:
137:
133:
128:
126:
122:
118:
114:
110:
106:
102:
94:
89:
80:
78:
73:
68:
65:
61:
60:not necessary
57:
53:
43:
41:
37:
33:
19:
1075:Propositions
1048:
1034:
1014:
995:
976:
964:. Retrieved
926:
903:
884:
865:
846:
837:
828:
818:
792:
788:
775:
758:
739:
721:
710:
688:
681:Edwards 1754
675:
662:
655:Edwards 1754
649:
631:
622:
604:
595:
582:
569:
556:
543:
534:
521:
508:
501:Sorabji 1980
495:
486:
479:Ackrill 1963
473:
466:Deutsch 1990
460:
453:Deutsch 1990
447:
434:
421:
416:, p. 8)
408:
395:
370:
363:
338:
331:
324:Gensler 2017
318:
305:
298:Gensler 2017
292:
240:
236:
232:
230:
224:
207:
205:
179:
177:
131:
129:
124:
121:Edward Zalta
116:
98:
71:
69:
63:
59:
55:
49:
39:
31:
29:
1070:Possibility
588:Omodeo 2019
427:Kripke 1980
401:Kripke 1980
311:Kripke 1980
273:Modal logic
136:A. N. Prior
113:Saul Kripke
93:A. N. Prior
64:possibility
36:modal logic
32:contingency
1064:Categories
953:1119640000
694:Prior 1967
668:Prior 1957
527:Craig 1988
514:Frede 1985
440:Prior 1957
414:Zalta 1988
284:References
196:actualized
77:actualized
30:In logic,
966:April 23,
961:203491340
840:. Oxford.
575:Fine 1984
184:Aristotle
105:epistemic
630:(1994),
603:(1994),
247:See also
125:a priori
117:a priori
101:analytic
809:4320149
732:Sources
388:2183264
356:2182079
241:Enquiry
1021:
1002:
983:
959:
951:
941:
910:
891:
872:
853:
807:
746:
717:world.
638:
611:
386:
354:
225:Ethics
1053:(PDF)
1039:(PDF)
957:S2CID
805:JSTOR
704:Notes
384:JSTOR
352:JSTOR
1019:ISBN
1000:ISBN
981:ISBN
968:2021
949:OCLC
939:ISBN
908:ISBN
889:ISBN
870:ISBN
851:ISBN
759:Mind
744:ISBN
636:ISBN
609:ISBN
103:and
40:mode
931:doi
797:doi
763:doi
376:doi
344:doi
208:qua
130:In
1066::
955:.
947:.
937:.
803:.
793:60
791:.
787:.
761:.
723:^β
712:^α
382:,
350:,
243:.
182:,
134:,
119:,
1027:.
1008:.
989:.
970:.
933::
916:.
897:.
878:.
859:.
831:.
811:.
799::
769:.
765::
752:.
692:(
683:)
679:(
670:)
666:(
657:)
653:(
586:(
573:(
564:)
560:(
547:(
529:)
525:(
512:(
503:)
499:(
477:(
464:(
451:(
442:)
438:(
425:(
412:(
399:(
378::
346::
322:(
309:(
296:(
163:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.