A three-valued modal tense logic for the master argument

Seiki Akama, Tetsuya Murai, Sadaaki Miyamoto


The Master Argument was shown by Diodorus Cronos to conclude that nothing is possible that neither is true nor will be true and that therefore every (present) possibility must be realized at a present or future time. It leads to logical determinism. Prior tried to reconstruct the argument by means of modal tense logic. As a consequence, Prior proposed several branching time tense logics to resolve the fallacy of the Master Argument. In this paper, we propose a three-valued modal tense logic with a Kripke semantics to defend Prior’s original argument.

Full Text:



  • There are currently no refbacks.