Some authors have talken about the problem of the future contingents Aristotle exposed in De Interpretatione IX. But most of them do not explain the role of that chapter in his own work. Last analysis always try to find a formal solution. And this is very significative because De Interpretatione is a treatise that belongs to the semantic of the Organon. In this article we show that: 1. The aim of the problem of future contigents is not only formal and (...) the frame of the Aristotle’s solution. 2. Its implication with others important concepts in his philosophy like “substance”, “truth” and “dialectics”. (shrink)

We propose a logic of temporal contingency, which has operators of past and future contingency as primitive modalities. This logic is less expressive than standard temporal logic over the class of bidirectional frames, and cannot define some basic frame properties such as bidirectionality and transitivity. We present a minimal system based on two key ‘bridge axioms’ and a bimodal version of a so-called ‘almost definability’ schema in the literature. The completeness proof is highly nontrivial due to the requirement that the (...) canonical model be bidirectional. We then extend the results to the simplest dynamic case: public announcements. (shrink)