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: and
p = ~
~p Thus, possibility and necessity are two sides of the same coin.”
p = ~
~p.
And what do we
symbolize by
?