ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Axiomatic ontology

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Sun, 12 Oct 2008 12:35:17 -0500
Message-id: <60CB6B6B-3373-4224-9CE9-FF754A202F07@xxxxxxxx>
On Oct 12, 2008, at 6:49 AM, Rob Freeman wrote:
> ...
> Pat doesn't like the explosion of relations.  He needs some other  
> system of meaning to tell him which ones are meaningful:
>
> "Yes, these sets are all distinct. I don't know if they are distinct  
> in "meaningful ways" because I don't know what you count as a  
> 'meaningful way'."
>
> But Pat, nobody knows what to count as a "meaningful way". That is  
> what is at issue. What right do we have to be throwing out all the  
> combinatorial explosion of possible meaningful sets suggested by set  
> theory?    (01)

Well, rights have nothing to do with it.  But there is in fact a  
perfectly reasonable justification, one I just alluded to in another  
post, namely, that the relations that get "thrown out" are precisely  
the ones for which the notion of "meaningless" makes some sense  they  
are the relations that it is impossible to express (given some  
initial, at most countably infinite, set of primitives) in one's  
language.  What use do you envision for relations that are completely  
beyond our conceptual grasp?  Can you envision a single case where  
this would be useful to ontological engineering?    (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)

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