January 24, 2005

  • The Diamond
    of Possibility


    by  Keith Allen Korcz

    “We symbolize logical necessity with the box (box.gif (75 bytes)) and logical possibility with the diamond (diamond.gif (82 bytes)). 
    I first discuss combining negations with the box and diamond, noting
    that logical possibility and logical necessity are inter-definable with
    the help of negation: box.gif (75 bytes)p = ~diamond.gif (82 bytes)~p and diamond.gif (82 bytes)p = ~box.gif (75 bytes)~p. Thus, possibility and necessity are two sides of the same coin.”

    And what do we           
     symbolize by  The image “http://www.log24.com/theory/images/Modal-diamondbox.gif” cannot be displayed, because it contains errors. ?

Post a Comment

Leave a Reply

Your email address will not be published. Required fields are marked *