Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

What does possibly necessary mean in modal logic [crazy question actually]

  1. Feb 4, 2012 #1
    Suppose the following

    X is not necessarily not Y.
    If X is Y then X necessarily cannot be Z.
    Does that mean X cannot be Z?

    I probably screwed up stating that...

    To clarify
    The first line is meant to be a solipsistic statement - I may be all there is.
    The second line is meant to state that if I am all there is then I cannot imagine being annihilated.
    In the third line I conclude that I cannot imagine my annihilation.


    I'm not concluding that we must "live" forever in oblivion but it's kinda the idea.
     
  2. jcsd
  3. Feb 4, 2012 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    This post does not meet the guidelines of the philosophy forum. Please read both sets of guidelines on the top of the forum.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: What does possibly necessary mean in modal logic [crazy question actually]
  1. What is modal logic? (Replies: 27)

  2. What does UFO mean? (Replies: 6)

Loading...