Re: Intuitions, Illusions and Common Sense

Neil W Rickert says...

>[EMAIL PROTECTED] (Daryl McCullough) writes:
>
>>The liar paradox isn't particularly about natural language. It
>>can be formalized easily enough,
>
>Only in an inconsistent formal system.

Of course! A paradox is always an indication that you
have an inconsistent set of assumptions. As I said, the
puzzle is to figure out which step in reasoning is invalid,
and you find that out through formalizing the steps. A
paradox or inconsistency is not nonsense, it is a theorem
in disguise. If "A and B" is a contradiction, then 
"(not A) or (not B)" is a theorem.

--
Daryl McCullough
Ithaca, NY