IMO - this discussion is rapidly reaching the "say something to prove you
exist" challenge. Since several of the upper level ontology work defines
forms of first order logic, can we at least frame this debate/conversation
in some lexicon? Wouldn't it make infinite more sense than starting with a
blank slate? (01)
Duane (02)
On 3/16/07 12:20 PM, "Christopher Menzel" <cmenzel@xxxxxxxx> wrote: (03)
>> CM> if you are talking about the usual sort of first-order
>> language in which predicates cannot also be arguments to other
>> predicates, then of course there will be loss of expressivity.
>>
>> If one interpreted this as saying that there are no higher order
>> properties,
>> then surely that would be an ontological implication.
>
> Surely it would not; it would be a logical howler. From the
> inability to say there are Xs nothing whatever follows about the
> existence or nonexistence of Xs.
>
> -chris
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> (04)
--
**********************************************************
Sr. Technical Evangelist - Adobe Systems, Inc. *
Chair - OASIS SOA Reference Model Technical Committee *
Blog: http://technoracle.blogspot.com *
Music: http://www.mix2r.com/audio/by/artist/duane_nickull*
********************************************************** (05)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (06)
|