[CL] [SCL] Quantifying over propositions
cmenzel at tamu.edu
Fri Aug 12 14:53:44 CDT 2005
On Fri, Aug 12, 2005 at 02:19:37PM -0400, John Sowa wrote:
> Oh! In other words, Pat was using brackets
> as a method of quoting:
> > (forall (p) (implies (believes john p) (= p [round earth])))
I'm not sure that's what he was doing; I was a bit confused by that
notation, and need to go back and read the relevant message more
carefully to see what Pat was up to.
> Then we're in agreement. I always insisted that we need
> at least a quote and preferably a backquote, as in KIF.
Those will be needed for CL-meta -- for talking about languages. The
square brackets are term forming operators for talking about
propositions. Those are quite different (as you know).
More information about the CL