[Top] [All Lists]

Re: [ontolog-forum] The Relation Between Logic and Ontology in Metaphysi

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Fri, 16 Mar 2007 13:29:26 -0500
Message-id: <136ACAAA-ABBB-4CC2-8ED0-5150E787473D@xxxxxxxx>
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)

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