I like this restatement, but it also shines a light on where I struggle. (01)
If we're talking about two sets who are defined by their members (say
the Pacific Northwest {WA, OR, ID} and sales district 3 {ID,OR,WA} no
problem with 1a. (02)
But if we're talking about the set of employees of company x and the
set of union members at company x, if they happen to be the same and
we declare them equivalent, then I think we've said something
different. At a minimum we're denying the open world considerations. (03)
Sent from my iPhone (04)
On Oct 6, 2009, at 10:59 AM, "Chris Partridge" <partridgec@xxxxxxxxxxxxxxx
> wrote: (05)
> John,
>
> Would you be happy with a re-phrasing of 1 and 2) as:
>
> 1a Two sets are considered identical iff they have the same
> members.
>
> 2a But two types are considered identical iff they have the same
> definitions
>
> Surely 1) is correct, but what about 2)?
>
> Regards,
> Chris Partridge
> Chief Ontologist
>
> Mobile: +44 790 5167263
> Phone: +44 20 81331891
> Fax: +44 20 7855 0268
> E-Mail: partridgec@xxxxxxxxxxxxxxx
>
> BORO Centre Limited
> Website: www.BOROCentre.com
> Registered in England No: 04418581
> Registered Office: 25 Hart Street, Henley on Thames,
> Oxfordshire RG9 2AR
>
> This email message is intended for the named recipient(s) only. It
> may be
> privileged and/or confidential. If you are not an intended named
> recipient
> of this email then you should not copy it or use it for any purpose,
> nor
> disclose its contents to any other person. You should contact BORO
> Centre
> Limited as shown above so that we can take appropriate action at no
> cost to
> yourself. All BORO Centre Limited outgoing E-mails are checked using
> Anti
> Virus software.
>
>
>> -----Original Message-----
>> From: uom-ontology-std-bounces@xxxxxxxxxxxxxxxx [mailto:uom-
>> ontology-std-
>> bounces@xxxxxxxxxxxxxxxx] On Behalf Of John F. Sowa
>> Sent: 06 October 2009 17:46
>> To: uom-ontology-std
>> Subject: Re: [uom-ontology-std] What is mass?
>>
>> Correction: I accidentally left out the words "the same" in
>> point #2 about types.
>>
>> -------- Original Message --------
>> Subject: Re: [uom-ontology-std] What is mass?
>> Date: Tue, 06 Oct 2009 12:32:39 -0400
>> From: John F. Sowa <sowa@xxxxxxxxxxx>
>>
>> Dear Gunther and Matthew,
>>
>> GS> Could you phrase the disputed issue in 2 succinct contrasting
>>> statements that are about our subject matter at hand?
>>
>> 1. Two sets are considered identical if they have the same members.
>>
>> 2. But two types are considered identical if they have the same
>> definitions.
>>
>> Relevance to temperature: The criteria for maximum temperature
>> depend on the definition, not on membership in some set.
>>
>> GS> I don't know quite what's the point?
>>
>> MW> I don't know. I am not the one that brought this stuff up.
>>
>> I was trying to explain the distinction above and its relevance
>> to the discussion about maximum temperature.
>>
>> John
>>
>>
>> _________________________________________________________________
>> 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
>>
>>
>>
>>
>>
>> _________________________________________________________________
>> 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
>>
>
>
> _________________________________________________________________
> 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
> (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)
|