Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!bloom-beacon!bu-cs!mirror!rayssd!raybed2!linus!mbunix!bwk
From: bwk@mbunix.mitre.org (Barry W. Kort)
Newsgroups: comp.ai
Subject: Re: Fun with the semantics of paradox
Summary: He turned away only to find me standing there.
Keywords: Aristotelian Logic, Law of the Excluded Middle
Message-ID: <44209@linus.UUCP>
Date: 31 Jan 89 14:06:07 GMT
References: <479@aipna.ed.ac.uk> <3038@uhccux.uhcc.hawaii.edu> <43843@linus.UUCP> <416@s1.sys.uea.ac.uk>
Sender: news@linus.UUCP
Reply-To: bwk@mbunix.mitre.org (Barry Kort)
Organization: Zenophobics, Lesser Lights, PA
Lines: 18

In article <416@s1.sys.uea.ac.uk> jrk@uea-sys.UUCP (Richard Kennaway) 
takes exception to my translation of "The current king of France is bald."
into symbolic logic notation  Richard writes:

 > I would part company with you here.  Your rephrasing in logic doesnt
 > seem to me to mean the same.  

I am glad you see it that way, Richard, for that was the point I was
attempting to make.  The conventional symbolic logic notation does not
have the expressive power to handle pathological sentences such as
the cited example.  There are more recent advances in symbolic logic
which are worth investigating if one wishes to decide how to dispose
of the current king of France.

In addition to answering "True" or "False", a modern thinker is permitted
to respond with "Huh?" or "Mu" among other possibilities.

--Barry Kort