Re: Review of FLD

On Tue, 19 May 2009 09:11:24 -0400
Chris Welty <cawelty@gmail.com> wrote:

> > Is ?X("abc"^^xs:string ?W)(?Y ?Z(?V "33"^^xs:integer)) an instance of Henkin's
> > or CL syntax? Hint: check what plays the role of a function here.  
> 
> Ah, I see.  Henkin did not have functions.  Yes, this is valid CL syntax, and is 
> still compact so still first order.  My understanding of compactness is that 
> functions and constants are interchangeable in terms of their impact on it.

Are you saying that CL allows f(a)(b)(?X, foo) and things like that?
I remember SKIF didn't have it and when I pointed this out to Pat he vigorously
objected to this kind of terms.

As far as I am aware, these terms were first introduced in HiLog - more than 10
years before CL.

-- 
    -- michael