On 29/07/2013 8:04 PM, omd wrote:
On Mon, Jul 29, 2013 at 7:35 PM, Fool<fool1...@gmail.com> wrote:
:-)
Let's ask if you are a player (c). If I de-registered you, you are NOT a
player (b -> ~c).
But (b -> ~c) -> (~~b -> ~c). So if it was NOT IMPOSSIBLE for me to
de-register you, you are not a player.
Let's ask if you are a dictator (c). If you deregistered me, then you
are a dictator (b -> c).
But (b -> c) -> (~~b -> c) does not hold, so you are not a dictator.
Nuh uh. "(b -> c) -> (~~b -> c) does not hold" does not mean ~c.
In fact I still get ~~c.
You're right, intuitionistic logic is too weird.
Heck no. Classical logic is weird.