433:
contingentibus'. The Latin singular form nearly always refers to a proposition, and is usually in the ablative form, as in 'de contingenti', meaning a contingent proposition. The
English tends to reflect this - Googling the plural 'future contingents' returns the stuff about God's foreknowledge, Googling the singular 'future contingent' gives stuff about propositions. Note also that the English plural usage is normally a noun, whereas the plural usage is normally an adjective. (The SEP article throughout conforms to this convention).
178:
22:
485:
noun in this context, let me know. Otherwise the article could be called 'future contingent proposition', but then you lose the ambiguity of the plural form, which sometimes means 'event', other times 'proposition' or 'statement'. I appreciate that
Knowledge has a policy on use of the singular, but that does not require us to have articles on 'scissor', 'trouser' or 'pant'.
80:
53:
90:
484:
as an adjective qualifying a singular or plural noun. Specifically 9 occurrences of 'future contingent proposition', 8 occurrences of 'future contingent statement', 2 of 'future contingent event' and 1 of 'future contingent prediction'. If you can find important and significant uses of the singular
571:
But I have argued that it is unlikely that
Diodorus himself intended his Argument to run on temporally definite expressions, or that that he noticed its implicit commitment to necessitarianism. So it is most likely that neither the Master Argument nor DI 9 was directly conceived in opposition to the
463:
So I think the singular form can be used as a noun. There's a WP article naming policy that says to prefer the singular, because you can usually add the -s to get the plural form without an additional redirect. I lean to the singular, even if it might sound slightly artificial, since we can phrase
685:
Looking at the article as a whole, if a branching model of time is assumed, then there seems (to me) to be no paradox. Along some branching timelines the battle might be fought, and along others it might not be fought. The proposition as to whether the battle is fought or not in the future can then
479:
Sorry, don't agree. My golden and never to be broken rule is that what is
Knowledge should never be far from anything in a standard reference work. Knowledge should not be an outlier. Thus, if we look at the SEP, there are 28 occurences of 'future contingents' in the plural form, i.e. as a noun,
253:
is true, then it is also true tomorrow and it was also true yesterday; or stating it more accurately, classical logic does not concern itself with the concept of time. Also, it helps that the ancient Greeks had a tense that they could use specifically for timeless truths, whereas we have to do with
565:
Sorabji has suggested that it is, for reasons of intellectual economy, attractive to rule out the possibility that the neither
Aristotle's argument against the fatalist nor the Master Argument was a response to the other. Now it has been made very likely by Sedley, on the basis of historical
301:
In reference to this discussion about the relevant grammatical moods in
Ancient Greek and how much they affect possible translations, I decided to edit the article to avoid casting an uncited aspersion upon Aristotle (namely, that he commits the modal fallacy), as Aristotle's use of different
432:
Careful. 'Future contingents' is a direct importation into
English of the Latin plural 'futura contingentia'. The Latin plural form nearly always refers to future contingent events or propositions, and is found in discussions of God's foreknowledge in tracts like Ockhams 'De futuris
417:
sentences/propositions/statements (e.g., in Putnam, 1967, 'Time and physical geometry'; or
Mignucci, 1996, 'Ammonius on Future Contingent Propositions'). It also makes sense to me to introduce what a future contingent is before saying what the problem is. Objections? â
436:
Thus it would be odd to have the article titled 'Future contingent' as the
English singular naturally suggests the adjectival use. 'Future contingents' would be OK. As you say, the article should introduce what future contingents are before saying what the problem is.
686:
be considered to be true and false depending on the chosen timeline. When looking at the overall time tree, as long as the battle is fought at some point, along some timeline branch section, the statement "the battle was fought" is then true.
302:
grammatical moods seems to be extremely relevant to any interpretation of his comments, whereas whether or not
Aristotle commits the modal fallacy is irrelevant to discussion of it and how it relates to the paradox outlined by Aristotle.
566:
considerations, that Diodorus was a younger contemporary of Aristotle's than had previously been supposed, and hence if we respect Sorabji's constraint, we should conclude that the Master Argument was probably a response to Aristotle.
652:âSuppose that a sea-battle will not be fought tomorrow. Then it was also true yesterday (and the week before, and last year) that it will not be fought, since any true statement about what will be the case was also true in the past.â
698:?) opposed to a different version of the battle or a different battle altogether. The term "happened" also has issues regarding definition. Definitions are a problem even if a linear (i.e. non-branching) model of time is assumed.
268:. Even though the proposition is invariantly true, every day one enunciates the proposition, it refers to a slightly different proposition compared to the one enunciated the day before. Specifically, if I say
243:
You'll find a lot of odd reasoning in the ancient philosophers; probably because they learned philosophy from a few masters only, while we have access to the thoughts of thousands upon thousands (thanks,
738:
Hi Machine Elf 1735! I'm a newbie Wikipedian and math/physics undergrad, with a slight interest, but no training, in philosophy. I really appreciate the clarification, etc. Thanks. :-)
111:
on Knowledge. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the
259:
There are some logical calculi which can be used to model propositions that vary over time, should one need them. They are all twentieth-Century inventions, though.
503:
I'll look a bit more for natural examples. I agree that my first example is an ellipsis, though I managed to convince myself that it wasn't before posting.
769:
583:
will be true. However this may be, Diodorus' attempt to prove that all possibilities will in time be realised still presumes that no one will question the
148:
138:
661:? If so there is no paradox, as this merely relates to that specific day. I presume "not fought tomorrow" is instead taken to be a true statement on
764:
779:
113:
774:
249:
However, what he's actually talking about is that truth statements in classical logic are invariant over time. If the proposition that
784:
229:
221:
Really? It does not implies it. The battle could have been today and first statement still stays true. BUT! First statement says
103:
58:
283:, and these two prepositions, one referring to the twenty-fourth and one to the twenty-fifth, may have differing truth-values.
507:
590:
561:
33:
719:, but I'd imagine there are bigger fish to fry than future contingents in regard to branching time models; an implicit
324:
Does Aristotle deny bivalence, or is he denying excluded middle, or both? These options should be carefully separated.
185:
63:
724:
643:
678:
21:
568:
Purely logical considerations certainly make it unlikely that DI 9 was intended as a response to Diodorus.
488:
On your first example above, 'future contingent' is clearly elliptical for 'future contingent proposition'
480:
including some important articles from the literature. There are 20 occurrences in the singular form, but
674:
666:
584:
533:
493:
442:
233:
669:
would indeed seem to imply that the battle is never fought, if the original assertion is true, classical
743:
705:
307:
39:
373:
361:
Considering this universe, what sense makes the expression ("There's light" AND NOT("There's light"))?
228:
Of course if this whole things is not about "we cannot live in tomorow" because we live only in today.
303:
356:
Any other combination between "Moment X" and "There's light"...; "The fact is empirically true"=FALSE
264:
That being said, the problem as stated has a fault even in classical logic, which lies in the use of
716:
624:
602:
639:
529:
489:
438:
288:
95:
617:
551:
739:
701:
690:
Even then though, there is the question of how you define "the battle" (a given sequence or
515:
469:
423:
747:
729:
709:
628:
606:
537:
519:
497:
473:
446:
427:
377:
333:
311:
292:
237:
525:
329:
524:
Well I won't die in a ditch for it. Interesting paper by the way - I will add it to the
670:
410:
177:
758:
715:
It's meant to refer to an unequivocal fact that obtains at some particular time. See
695:
620:
598:
510:
contains "There are future contingents. But no future contingent is true." (p20). â
681:), and a classical linear (i.e. determinate and non-branching) timeline is assumed.
369:
284:
616:
There is actually more than one problem called this way (albeit they are related)
691:
720:
325:
108:
85:
572:
the other, and hence that Sorabji's proposed constraint should be rejected.
276:; Tomorrow, when I say the same words, I'm actually saying the same thing as
353:"Moment X"=FALSE; "There's light"=TRUE; "The fact is empirically true"=TRUE
350:"Moment X"=TRUE; "There's light"=FALSE; "The fact is empirically true"=TRUE
107:, a collaborative effort to improve the coverage of content related to
365:
458:
We are interested principally in the domain of the future contingent.
665:
days, past and future. If it is intended in this latter sense, then
79:
52:
638:
This doesn't seem to take into account branching time models of
558:
15:
579:
will be true, Diodorus now merely identifies it with what is
176:
657:
By "not fought tomorrow" does this mean on a specific day
455:
Note that the last proposition is a future contingent.
508:
In Defence of the Thin Red Line: A Case for Ockhamism
409:
is widely used in the literature in such contexts as
366:
http://en.wikipedia.org/Talk:Contradiction#A_Question
159:
587:. Aristotle meanwhile has dared to do just that.
575:Instead of identifying the possible with what is
452:The following two sentences seem natural to me:
274:there won't be a sea battle in the twenty-fourth
650:Also, the following sentence seems ambiguous:
254:the present, which implies a boundary in time.
8:
218:this (first) statement was true yesterday."
19:
156:
47:
411:Medieval Theories of Future Contingents
49:
117:about philosophy content on Knowledge.
397:I propose moving the current article
7:
619:. This article needs a lot of work.
270:there won't be a sea battle tomorrow
225:. This whole implication is wrong.
101:This article is within the scope of
278:there won't be a sea battle in the
38:It is of interest to the following
770:Mid-importance Philosophy articles
14:
343:Imagine the following universe:
272:, I am saying the same thing as
123:Knowledge:WikiProject Philosophy
88:
78:
51:
20:
765:Start-Class Philosophy articles
143:This article has been rated as
126:Template:WikiProject Philosophy
1:
780:Mid-importance logic articles
748:04:07, 10 November 2011 (UTC)
673:is used (thus validating the
399:Problem of future contingents
730:19:55, 9 November 2011 (UTC)
710:06:27, 9 November 2011 (UTC)
334:14:46, 17 August 2011 (UTC)
801:
775:Start-Class logic articles
629:22:44, 10 April 2011 (UTC)
607:22:00, 10 April 2011 (UTC)
378:22:13, 20 March 2009 (UTC)
238:14:16, 16 April 2009 (UTC)
149:project's importance scale
785:Logic task force articles
644:Many world interpretation
642:, such as Hugh Everett's
538:16:06, 14 July 2009 (UTC)
520:13:57, 14 July 2009 (UTC)
498:11:41, 14 July 2009 (UTC)
474:07:07, 14 July 2009 (UTC)
447:16:45, 13 July 2009 (UTC)
428:08:27, 10 July 2009 (UTC)
293:21:50, 23 June 2009 (UTC)
184:
155:
142:
73:
46:
679:law of non-contradiction
464:the lede how we like. â
312:21:36, 9 July 2022 (UTC)
160:Associated task forces:
675:law of excluded middle
667:mathematical induction
585:principle of bivalence
506:Peter Ăhrstrøm, 2009,
181:
104:WikiProject Philosophy
28:This article is rated
634:Branching time models
612:More than one problem
546:Aristotle vs Diodorus
180:
723:for one (er⌠many).â
129:Philosophy articles
717:philosophy of time
320:Interpretive issue
251:the Earth is round
223:nothing about past
206:What a load of ...
182:
114:general discussion
34:content assessment
640:quantum mechanics
595:
594:
518:
472:
426:
415:future contingent
407:future contingent
403:Future contingent
203:
202:
199:
198:
195:
194:
191:
190:
96:Philosophy portal
792:
727:
559:
514:
468:
422:
364:(Also posted at
214:happen tomorow.
210:"Something will
167:
157:
131:
130:
127:
124:
121:
98:
93:
92:
91:
82:
75:
74:
69:
66:
55:
48:
31:
25:
24:
16:
800:
799:
795:
794:
793:
791:
790:
789:
755:
754:
725:
636:
614:
548:
512:Charles Stewart
466:Charles Stewart
420:Charles Stewart
395:
341:
322:
208:
165:
128:
125:
122:
119:
118:
94:
89:
87:
67:
61:
32:on Knowledge's
29:
12:
11:
5:
798:
796:
788:
787:
782:
777:
772:
767:
757:
756:
753:
752:
751:
750:
733:
732:
696:quantum states
687:
682:
671:bivalent logic
654:
647:
635:
632:
613:
610:
593:
592:
589:
563:
556:
547:
544:
543:
542:
541:
540:
504:
477:
476:
461:
460:
459:
456:
394:
391:
390:
388:
385:
382:
360:
358:
357:
354:
351:
346:
340:
337:
321:
318:
317:
316:
315:
314:
296:
295:
261:
260:
256:
255:
246:
245:
207:
204:
201:
200:
197:
196:
193:
192:
189:
188:
183:
173:
172:
170:
168:
162:
161:
153:
152:
145:Mid-importance
141:
135:
134:
132:
100:
99:
83:
71:
70:
68:Midâimportance
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
797:
786:
783:
781:
778:
776:
773:
771:
768:
766:
763:
762:
760:
749:
745:
741:
737:
736:
735:
734:
731:
728:
722:
718:
714:
713:
712:
711:
707:
703:
699:
697:
693:
688:
683:
680:
676:
672:
668:
664:
660:
655:
653:
648:
645:
641:
633:
631:
630:
626:
622:
618:
611:
609:
608:
604:
600:
588:
586:
582:
578:
573:
569:
564:
560:
557:
554:
552:
545:
539:
535:
531:
527:
523:
522:
521:
517:
513:
509:
505:
502:
501:
500:
499:
495:
491:
486:
483:
475:
471:
467:
462:
457:
454:
453:
451:
450:
449:
448:
444:
440:
434:
430:
429:
425:
421:
416:
412:
408:
404:
400:
392:
389:
386:
383:
380:
379:
375:
371:
367:
362:
355:
352:
349:
348:
347:
344:
338:
336:
335:
331:
327:
319:
313:
309:
305:
300:
299:
298:
297:
294:
290:
286:
282:
281:
275:
271:
267:
263:
262:
258:
257:
252:
248:
247:
242:
241:
240:
239:
235:
231:
226:
224:
219:
217:
213:
205:
187:
179:
175:
174:
171:
169:
164:
163:
158:
154:
150:
146:
140:
137:
136:
133:
116:
115:
110:
106:
105:
97:
86:
84:
81:
77:
76:
72:
65:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
726:MachineâElf
700:
689:
684:
662:
658:
656:
651:
649:
637:
615:
596:
580:
576:
574:
570:
567:
555:
549:
530:Peter Damian
511:
490:Peter Damian
487:
481:
478:
465:
439:Peter Damian
435:
431:
419:
414:
406:
402:
398:
396:
387:
384:
381:
363:
359:
345:
342:
323:
280:twenty-fifth
279:
277:
273:
269:
265:
250:
230:86.61.232.26
227:
222:
220:
215:
211:
209:
144:
112:
102:
40:WikiProjects
740:Annoyamouse
702:Annoyamouse
692:state space
413:or talk of
304:Webspidrman
244:Gutenberg!)
30:Start-class
759:Categories
721:presentism
339:A Question
120:Philosophy
109:philosophy
59:Philosophy
216:Therefore
677:and the
621:Tijfo098
599:Tijfo098
405:, since
266:tomorrow
370:Faustnh
285:Wtrmute
147:on the
516:(talk)
482:always
470:(talk)
424:(talk)
36:scale.
550:From
326:Pruss
186:Logic
64:Logic
744:talk
706:talk
625:talk
603:talk
534:talk
526:list
494:talk
443:talk
393:Move
374:talk
368:) --
330:talk
308:talk
289:talk
234:talk
694:of
663:all
597:--
577:and
401:to
212:not
139:Mid
761::
746:)
708:)
627:)
605:)
591:â
581:or
562:â
553::
536:)
528:.
496:)
445:)
376:)
332:)
310:)
291:)
236:)
166:/
62::
742:(
704:(
659:X
646:.
623:(
601:(
532:(
492:(
441:(
372:(
328:(
306:(
287:(
232:(
151:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.