Chris, (01)
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. (02)
If one interpreted this as saying that there are no higher order properties,
then surely that would be an ontological implication. (03)
Regards,
Chris (04)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
[mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Christopher
Menzel
Sent: 16 March 2007 18:29
To: [ontolog-forum]
Subject: Re: [ontolog-forum] The Relation Between Logic and Ontology
inMetaphysics (05)
On Mar 16, 2007, at 12:59 PM, Chris Partridge wrote: (06)
> ...
> 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.) (07)
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. (08)
-chris (09)
_________________________________________________________________
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 (010)
_________________________________________________________________
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 (011)
|