> 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. (01)
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. (02)
-chris (03)
_________________________________________________________________
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)
|