Title :
A Three-Valued Approach to the Master Argument
Author :
Akama, Seiki ; Nagata, Yasunori
Abstract :
The Master Argument due to Diodorus Cronos claims 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. Unfortunately, it leads to logical determinism. In this paper, based on Prior´s insight, a three-valued approach to the Master Argument is presented by developing a three-valued modal tense logic with a Kripke semantics. We also discuss philosophical and logical issues in connection with other approaches.
Keywords :
ternary logic; Kripke semantics; logical determinism; master argument; three-valued modal tense logic; Cost accounting; Electronic mail; History; Organizations; Semantics; Standards organizations; Syntactics; The Master Argument; three-valued temporal logic;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2011 41st IEEE International Symposium on
Conference_Location :
Tuusula
Print_ISBN :
978-1-4577-0112-2
Electronic_ISBN :
0195-623X
DOI :
10.1109/ISMVL.2011.8