The problem of future contingents seems to have been first discussed by "Aristotle in chapter 9 of his "On Interpretation (De Interpretatione), using the famous sea-battle example. Roughly a generation later, "Diodorus Cronus from the "Megarian school of philosophy stated a version of the problem in his notorious "master argument. The problem was later discussed by "Leibniz.
The problem can be expressed as follows. 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 in the future was also true in the past. But all past truths are now necessary truths; therefore it is now necessarily true in the past, prior and up to the original statement "A sea battle will not be fought tomorrow", that the battle will not be fought, and thus the statement that it will be fought is necessarily false. Therefore, it is not possible that the battle will be fought. In general, if something will not be the case, it is not possible for it to be the case. "For a man may predict an event ten thousand years beforehand, and another may predict the reverse; that which was truly predicted at the moment in the past will of necessity take place in the fullness of time" (De Int. 18b35).
This conflicts with the idea of our own "free choice: that we have the power to determine or control the course of events in the future, which seems impossible if what happens, or does not happen, is necessarily going to happen, or not happen. As Aristotle says, if so there would be no need "to deliberate or to take trouble, on the supposition that if we should adopt a certain course, a certain result would follow, while, if we did not, the result would not follow".
Aristotle solved the problem by asserting that the "principle of bivalence found its exception in this paradox of the sea battles: in this specific case, what is impossible is that both alternatives can be possible at the same time: either there will be a battle, or there won't. Both options can't be simultaneously taken. Today, they are neither true nor false; but if one is true, then the other becomes false. According to Aristotle, it is impossible to say today if the proposition is correct: we must wait for the contingent realization (or not) of the battle, logic realizes itself afterwards:
For Diodorus, the future battle was either impossible or necessary. Aristotle added a third term, "contingency, which saves logic while in the same time leaving place for indetermination in reality. What is necessary is not that there will or that there won't be a battle tomorrow, but the dichotomy itself is necessary:
Thus, the event always comes in the form of the future, undetermined event; logic always comes afterwards. "Hegel would say the same thing by claiming that wisdom came at dusk. For Aristotle, this is also a practical, "ethical question: to pretend that the future is determined would have unacceptable consequences for man.
"Leibniz gave another response to the paradox in §6 of "Discourse on Metaphysics: "That God does nothing which is not orderly, and that it is not even possible to conceive of events which are not regular." Thus, even a "miracle, the Event by excellence, does not break the regular order of things. What is seen as irregular is only a default of perspective, but does not appear so in relation to universal order. Possibility exceeds human logics. Leibniz encounters this paradox because according to him:
If everything that happens to Alexander derives from the haecceity of Alexander, then "fatalism threatens Leibniz's construction:
The predicate (what happens to Alexander) must be completely included in the subject (Alexander) "if one understands perfectly the concept of the subject". Leibniz henceforth distinguishes two types of necessity: necessary necessity and contingent necessity, or universal necessity vs singular necessity. Universal necessity concerns universal truths, while singular necessity concerns something necessary that could not be (it is thus a "contingent necessity"). Leibniz hereby uses the concept of "compossible worlds. According to Leibniz, contingent acts such as "Caesar crossing the Rubicon" or "Adam eating the apple" are necessary: that is, they are singular necessities, contingents and accidentals, but which concerns the "principle of sufficient reason. Furthermore, this leads Leibniz to conceive of the "subject not as a universal, but as a singular: it is true that "Caesar crosses the Rubicon", but it is true only of this Caesar at this time, not of any dictator nor of Caesar at any time (§8, 9, 13). Thus Leibniz conceives of "substance as plural: there is a plurality of singular substances, which he calls "monads. Leibniz hence creates a "concept of the "individual as such, and attributes to it events. There is a universal necessity, which is universally applicable, and a singular necessity, which applies to each singular substance, or event. There is one proper noun for each singular event: Leibniz creates a logic of singularity, which Aristotle thought impossible (he considered that there could only be knowledge of generality).
One of the early motivations for the study of "many-valued logics has been precisely this issue. In the early 20th century, the Polish formal logician "Jan Łukasiewicz proposed three truth-values: the true, the false and the as-yet-undetermined. This approach was later developed by "Arend Heyting and "L. E. J. Brouwer; see "Łukasiewicz logic.
Issues such as this have also been addressed in various "temporal logics, where one can assert that "Eventually, either there will be a sea battle tomorrow, or there won't be." (Which is true if "tomorrow" eventually occurs.)
By asserting “A sea-fight must either take place tomorrow or not, but it is not necessary that it should take place tomorrow, neither is it necessary that it should not take place, yet it is necessary that it either should or should not take place tomorrow.” Aristotle is simply claiming “necessarily (a or not-a)”, which is correct.
Expressed in another way:
That is, there are no contingent propositions. Every proposition is either necessarily true or necessarily false. The fallacy arises in the ambiguity of the first premise. If we interpret it close to the English, we get:
However, if we recognize that the original English expression (i) is potentially misleading, that it assigns a necessity to what is simply nothing more than a necessary condition, then we get instead as our premises:
From these latter two premises, one cannot validly infer the conclusion: