[SCL] [CL] Quantifying over propositions

[Chris Menzel]

On Fri, Aug 12, 2005 at 01:35:26PM -0400, Bill Andersen wrote:
> >Pat, do you agree?  Can't we just write, e.g.,
> >
> >  (exists (p) (and ((p) (believes John p))))
> >
> >for "John believes a true proposition"?
> >
> >-chris
> >
> 
> You could, but what if you say then "If John believes anything it's
> that the earth is round"
> 
> Then you need brackets again
> 
> (forall (p) (implies (believes john p) (= p [round earth])))

Yes, of course, but, as noted, that is anticipating an extension not yet
in CL, viz., structured propositions to serve as the denotations in the
model theory for complex terms like "[round earth]".

-chris