DocumentCode :
2299169
Title :
A Three-Valued Approach to the Master Argument
Author :
Akama, Seiki ; Nagata, Yasunori
fYear :
2011
fDate :
23-25 May 2011
Firstpage :
44
Lastpage :
49
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2011 41st IEEE International Symposium on
Conference_Location :
Tuusula
ISSN :
0195-623X
Print_ISBN :
978-1-4577-0112-2
Electronic_ISBN :
0195-623X
Type :
conf
DOI :
10.1109/ISMVL.2011.8
Filename :
5954207
Link To Document :
بازگشت