ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] What is the role of an upper level ontology?

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>, doug@xxxxxxxxxx
From: rrovetto@xxxxxxxxxxx
Date: Sat, 18 May 2013 17:53:18 +0900
Message-id: <CADM4J9w8WmHL927DASZqDxa=8zmA0QGwktNtgwWcSC+V10dE0w@xxxxxxxxxxxxxx>
Comments inline after RR:

On Sat, May 18, 2013 at 1:28 AM, doug foxvog <doug@xxxxxxxxxx> wrote:
On Fri, May 17, 2013 00:14, John F Sowa wrote:
> GBC
>> Examples are Semantic Theories of:

>>   parts & wholes,
>>   essence & identity,
>>   composition and constituency.

> I agree that many people who propose an upper ontology like to include
> such things.  Unfortunately, those are among the most complex issues
> that have been debated in philosophy for millennia -- with no consensus.

Identity is the crux of all of the above.   And the problem is that identity
for some spatio-temporal entity is human defined and human created.


RR: Doug, fellow Terp here. Ireland and photography are two of my favorites as well.

RR: To the extent that "identity" has to do with *distinguishing*, then yes there is a certain degree of fiat involved. And to the extent that it is confined to (or formulated into) some logical or mathematical formalism the same holds. But to the extent that identity involves that which makes some putative unity or whole separate/distinct (in a mind-external sense) from another, it's not human defined and created. Reality affords minds to distinguish, and so some reality outside of minds grounds these unities.
 
What is out "there" are a bunch of quarks, leptons, and photons that
interact in various ways.  Patterns of groups of them have "interesting"
properties and various of the properties last for those patterns (which
are continually gaining and losing members) for macroscopic periods of
time.

RR: This reflects one reductive view of the world. Whether it's true is another question. What's important is that "interesting" does not mean "arbitrary", but whether (some of) the "interesting" properties/patterns mark the so-called natural kinds, lead to formulations and discoveries of general scientific principles, and ideally result in some practical and beneficial use or manipulation of what's being studied.
 
The meaning of "identity" seems clear.  As one Supreme Court justice said
about pornography: "I know what it is when i see it."

However, identity turns out to be extremely context and viewer
dependent.  Even identity of subatomic particles can be assured
only by following them (i.e., constantly interacting with each
thereby changing its properties).

RR: The quote makes a good point. These are general and basic notions that resist precise description so well. It's no surprise since they are so general and perhaps in the background of our psyche.
Perhaps two different senses of 'identity' are being used, here? One about describing what the justice was trying to identify, the other about individuating (particles). Generally speaking, when including social matters, like this and a child-to-adult, things become much more complicated and, perhaps less likely to have a mind-independent answer (assuming you're trying to find one rather than simply prescribe). For the social-related or social-type of identity questions it might be best to appeal to normative considerations: is it *good* to define identity in this way, what good will it do?

Unless one can define "identity" in a reasonable way, one can't
define non-instantaneous types of parthood, essence, composition,
and constituency reasonably.

> For parts & wholes, the following is a classic:...
> But look at the following list of 16 more recent books on mereology:
> ...

> For essence, the situation is even more hopeless.  Plato and Aristotle
> couldn't agree on how to define essence, how to recognize it, or how
> to reason about it.  Today, all the debates between P & A are just as
> hot as ever.  There's much more detail, much more debate, and even
> less agreement.  There are also skeptics from Sextus Empiricus to
> Quine who debunk the very idea.

> Identity is another swamp.  The = sign in logic and mathematics looks
> very clear and simple, but outside of mathematics identity is *never*
> fundamental.  You can observe similarity, but identity is *always*
> a context-dependent inference for a particular purpose.

Exactly.

> ... And how can you recognize identity?  By a continuous
> trajectory in space-time?  Perhaps in theory, but certainly not
> in practice.  ...

> Fundamental principle:  All the options are important and can be useful
> for various applications.  But they belong in an open-ended family of
> *microtheories*.  None of them belong in an upper level ontology.

Here i beg to disagree.  Since the options are important and can be
useful, it *is* useful to define them in an upper level ontology.
HOWEVER, such properties should not belong to classes of spatio-
temporal things in a mid level ontology.  [I suggest only the broadest s-t
classes belong in an upper level ontology.]  So i agree with John
that relating such properties
>>   parts & wholes,
>>   essence & identity,
>>   composition and constituency
to spatio-temporal things belong in specific theory microtheories.

-- doug f

> ...

> John



_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J



_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)

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