[SCL] [CL] Quantifying over propositions

[Bill Andersen]

On Aug 12, 2005, at 1238, Chris Menzel wrote:


> 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
>

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])))

     .bill