uom-ontology-std
[Top] [All Lists]

Re: [uom-ontology-std] uom-ontology-std - strawman UML

To: uom-ontology-std <uom-ontology-std@xxxxxxxxxxxxxxxx>, "ingvar_johansson" <ingvar.johansson@xxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Thu, 6 Aug 2009 16:54:18 -0500
Message-id: <9EF13825-7D11-47DF-9937-6AAF959D4C85@xxxxxxx>

On Aug 6, 2009, at 12:33 PM, ingvar_johansson wrote:    (01)

> Pat Hayes wrote:
>
>> I think this is not what is meant, if I understand the 'trope'
>> language. Take a concrete case, a measurement of length in meters and
>> two identical sticks A and B, with exactly the same length. There is
>> one property here, called "length", which applies to both sticks and
>> produces the same value in each case, say 3.1 meters. So: two sticks,
>> one property, one length value of that property.
>
> I think the solution is to accept the existence of both properties and
> tropes (property instances). So: two sticks, one property, two  
> property
> instances, one length value of that property that are instantiated  
> twice.
>    (02)

Well, my purpose was only to make the difference clear; but as to my  
own opinion, I see no good reason to allow tropes. They serve only to  
confuse things, and have no useful ontological role. As John Sowa has  
mentioned, one can always consider a trope to be a subproperty of the  
original property, one which applies only to one individual. That is  
if tropes are felt to be indispensable in your metaphysics. On this  
view, the length of A is identical to the length of B, and the A- 
length of A is equal to the length of A, but B simply does not have an  
A-length.    (03)

Pat    (04)


> Ingvar Johansson
>
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/uom-ontology-std/
> Subscribe: mailto:uom-ontology-std-join@xxxxxxxxxxxxxxxx
> Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/uom-ontology-std/
> Shared Files: http://ontolog.cim3.net/file/work/UoM/
> Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?UoM_Ontology_Standard
>
>    (05)

------------------------------------------------------------
IHMC                                     (850)434 8903 or (650)494 3973
40 South Alcaniz St.           (850)202 4416   office
Pensacola                            (850)202 4440   fax
FL 32502                              (850)291 0667   mobile
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes    (06)






_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/uom-ontology-std/  
Subscribe: mailto:uom-ontology-std-join@xxxxxxxxxxxxxxxx 
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/uom-ontology-std/  
Shared Files: http://ontolog.cim3.net/file/work/UoM/  
Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?UoM_Ontology_Standard    (07)

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