PropositionsJohn McCarthy <jmc@SAIL.Stanford.EDU>
Date: Wed, 11 May 94 23:02:30 -0700
From: John McCarthy <jmc@SAIL.Stanford.EDU>
Cc: firstname.lastname@example.org, interlingua@ISI.EDU, email@example.com
In-reply-to: Fritz Lehmann's message of Thu, 12 May 94 00:50:29 CDT <9405120550.AA23672@rodin.wustl.edu>
I think Fritz Lehman is mistaken in saying that languages admitting
paradoxes of belief and desire depend on humans being involved.
Computer programs will also sometimes be in the position of having
something as a goal under one set of names and its opposite as a goal
under another set of names.