January 24, 2005
-
The Diamond
of Possibility
by Keith Allen Korcz“We symbolize logical necessity with the box
( and logical possibility with the diamond)
( ).
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:p = ~
~p
Thus, possibility and necessity are two sides of the same coin.”p = ~
~p.
And what do we
symbolize by?