• 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
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2299169