On Mar 16, 2007, at 12:59 PM, Chris Partridge wrote: (01)
> ...
> However, can I assume that you would agree with the point that if
> someone
> were to insist on saying that all universals/properties MUST be
> coded up as
> predicates in FOL, there would some ontological implications - and
> some loss
> in expressivity? (This was my main point.) (02)
I don't see what ontological implications there would be, but
certainly 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. But
that syntactic restriction on predicates, though common and familiar,
can be relaxed without leaving first-order logic. Common Logic in
particular allows one to drop this restriction. (03)
-chris (04)
_________________________________________________________________
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 (05)
|