ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] [CL] [ontology-summit] FW: [ontolog-invitation] Invi

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: Discussion of ISO Common Logic Standard <cl@xxxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Sat, 18 Dec 2010 17:43:21 -0600
Message-id: <B0E9CF2A-9CB7-4A98-90D5-2B7326D4424C@xxxxxxxx>
On Dec 18, 2010, at 5:28 PM, Christopher Menzel wrote:
> ...I'd suggest:
> 
> "Common Logic has some novel features.  Chief among
> these are (a) a syntax that is signature-free and permits 'higher-
> order' constructions such as predicate quantification; (b)
> a first-order model theory that allows interpretations in 
> which properties and relations can be understood intensionally,
> in the sense that, in those interpretations, relations with the
> same extensions needn't be identical; and (c) CL's semantics 
> permits interpretations in which relations exist in the domain
> of quantification."    (01)

That's not very good; a bit better is:    (02)

"Common Logic has some novel features. Chief among these are
(a) a syntax that is signature-free and permits 'higher-order'
constructs such as predicate quantifiers and (b) a first-order
model theory that allows (i) interpretations in which relations
are intensional (in the sense that relations with the same
extensions needn't be identical) and (ii) interpretations in
which all relations exist in the domain of quantification."    (03)

-chris    (04)


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (05)

<Prev in Thread] Current Thread [Next in Thread>