[SCL] Quantifying over propositions

[Chris Menzel]

On Fri, Aug 12, 2005 at 09:18:56AM -0400, John Sowa wrote:
> Chris,
> 
> Thanks for the clarification.  That is what I had thought from our
> discussions, but in a recent note, Pat had said something about
> introducing a notation [p] for quantifying over propositions, and I
> didn't see why.

Yes, I didn't mention it, but I think you are right on that point --
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