future contingent proposition

The concept of a "future contingent proposition" in logic refers to statements about events that may or may not happen in the future. Historically, philosophers like Aristotle pondered whether such propositions are already true or false. This question is linked to modal logic and the nature of time and possibility.1

Medieval logicians, including Peter Aureoli and Duns Scotus, explored these ideas, with Scotus notably separating the concept of possibility from time. Later, thinkers like Ockham developed theories that reconciled the idea of future contingency with the principle that every proposition is either true or false. The debate touches upon the laws of thought, particularly the law of excluded middle, which states that for any proposition, either it or its negation is true.12