Log24

Monday, January 24, 2005

Monday January 24, 2005

Filed under: General — Tags: — m759 @ 10:23 pm

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. ?

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress