W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2009

Re: Review of FLD

From: Chris Welty <cawelty@gmail.com>
Date: Mon, 18 May 2009 23:17:18 -0400
Message-ID: <4A1224BE.4030008@gmail.com>
To: kifer@cs.sunysb.edu
CC: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>


Michael Kifer wrote:
> On Mon, 18 May 2009 15:55:06 -0400
> Chris Welty <cawelty@gmail.com> wrote:
>> "A countably infinite set of quantifiers...where n ≥ 1"
>>
>> It seems strange to include the variables as part of the set of quantifiers. 
>> WHy aren't the quantifiers just Exists, Forall, ...
> 
> Not strange at all. Are you proposing to define a special language for defining
> quantifiers?
> Quantifiers can be very general with all kinds of variables in various places.
> For instance, how would you define bounded quantifiers?  You would need to
> invent a separate sublanguage, but this sublanguage might turn out to be too
> restrictive. What do you do then? Reconvene the WG to extend FLD?
> Sounds like a huge complication with no visible benefits.
> 
> Remember that the presentation syntax allows one to "unpack" the variables from
> the syntax, so the definition is just a general formal device.

Oh, I see the mistake I was making.  I was trying to interpret the quantifier at 
a meta level - for some reason I was thinking of FLD in this one case as a 
language language.  This one makes sense now.


-- 
Dr. Christopher A. Welty                    IBM Watson Research Center
+1.914.784.7055                             19 Skyline Dr.
cawelty@gmail.com                           Hawthorne, NY 10532
http://www.research.ibm.com/people/w/welty
Received on Tuesday, 19 May 2009 03:18:05 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:08 GMT