[SCL] [CL] Quantifying over propositions

[Bill Andersen]

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

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

Yeah, granted..  Chris is probably right -- I jumped in the middle b/ 
c I'm having a hard time keeping up with all the mails.