[FOM] The denial of '~p'

Alex Blum blumal at mail.biu.ac.il
Thu Aug 26 09:53:02 EDT 2010

One anomaly in thinking of 'p' as the denial of '~p' is that while it is 
immediately clear that it must be the case that one of the two is true. It 
is not immediately clear that this disallows them from being jointly true. 
However, it is immediately clear that this disallows, the denial of each, 
i.e.,'~p' and '~~p', from being jointly true.

Alex Blum

More information about the FOM mailing list