Diodorus Cronus in Wikipedia
Diodorus Cronus (Greek: Διόδωρος Κρόνος; died c. 284 BCE) was a Greek philosopher of the Megarian school. He was most notable for logic innovations, including the problem of future contingents.
He was a son of Ameinias of Iasus in Caria, and he lived at the court of Alexandria in the reign of Ptolemy Soter, who is said to have given him the surname of Cronus on account of his inability to solve at once some dialectic problem proposed by Stilpo, when the two philosophers were dining with the king. Diodorus is said to have taken that disgrace so much to heart, that after his return from the meal, and writing a treatise on the problem, he died in despair. However, according to Strabo, Diodorus himself adopted the surname of Cronus from his teacher, Apollonius Cronus. Further information about his life is not known.
He belonged to the Megarian school of philosophy. He was particularly celebrated for his great dialectic skill, for which he is called The Dialectician. This effectively became his surname, and descended even to his five daughters, Menexene, Argia, Theognis, Artemesia, and Pantaclea, who were likewise distinguished as dialecticians.
On the doctrines of Diodorus we possess only fragmentary information, and not even the titles of his works are known. It appears, however, certain that it was he who fully developed the dialectic art of the Megarians. He seems to have been much occupied with the theory of proof and of hypothetical propositions. In the same manner as he rejected in logic the divisibility of the fundamental notion, he also maintained, in his physical doctrines, that space was indivisible, and consequently that motion was impossible. He further denied the coming into existence and all multiplicity both in time and in space; but he considered the things that fill up space as one whole composed of an infinite number of indivisible particles.
Diodorus made use of the Sorites paradox, and is said to have invented two others of the same kind, viz. The Masked Man and The Horns, which are, however, also ascribed to Eubulides. He also rejected the view that words are ambiguous, any uncertainty in understanding was always due to speakers expressing themselves obscurely.
Problem of future contingents
In regard to things possible, he maintained that possible was identical with necessary; so that the future is as certain and defined as the past. That alone is possible which either is happening now, or will happen at some future time. When speaking about facts of an unrecorded past, we know well that a given fact either occurred or did not occur, yet without knowing which of the two is true - and therefore we affirm only that the fact may have occurred: so also about the future, either the assertion that a given fact will at some time occur, is positively true, or the assertion that it will never occur, is positively true: the assertion that it may or may not occur some time or other, represents only our ignorance, which of the two is true. That which will never at any time occur, is impossible.
This theory would approach the doctrine of fate maintained by the Stoics. Chrysippus agreed with Diodorus that everything true as an event in the past is necessary, but attacked Diodorus' view that the possible must be either what is true or what will be true.
Diodorus went on to formulate an argument that became known as the Master Argument (or Ruling Argument: ho kurieu˘n logos). The most succinct description of it is provided by Epictetus:
The argument called the Master Argument appears to have been proposed from such principles as these: there is in fact a common contradiction between one another in these three propositions, each two being in contradiction to the third. The propositions are: (1) every past truth must be necessary; (2) that an impossibility does not follow a possibility; (3) something is possible which neither is nor will be true. Diodorus observing this contradiction employed the probative force of the first two for the demonstration of this proposition: That nothing is possible which is not true and never will be.
Epictetus' description of the Master Argument is not in the form as it would have been presented by Diodorus, which makes it difficult to know the precise nature of his argument. For Diodorus, if a future event is not going to happen, then it was true in the past that it would not happen. Since every past truth is necessary (proposition 1), it was necessary that in the past it would not happen. Since the impossible cannot follow from the possible (proposition 2), it must have always been impossible for the event to occur. Therefore if something will not be true, it will never be possible for it to be true, and thus proposition 3 is shown to be false.
Epictetus goes on to point out that Panthoides, Cleanthes, and Antipater of Tarsus made use of the second and third proposition to demonstrate that the first proposition was false, whereas Chrysippus made use of the first and third proposition to demonstrate that the second proposition was false.