[SCL] [CL] Quantifying over propositions

[Chris Menzel]

On Fri, Aug 12, 2005 at 02:19:37PM -0400, John Sowa wrote:
> Bill,
> 
> 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).
 
-chris