I'm about to sign off because am on an airplane but I did print off
and about to read a couple of those emails and the Church artcle John
sent around. (01)
Sent from my iPhone (02)
On Oct 6, 2009, at 12:08 PM, "Chris Partridge" <partridgec@xxxxxxxxxxxxxxx
> wrote: (03)
> Dave,
>
> I think you need to look a few mails back at Pat's explanation of
> sets and
> extensionality for your answer.
> My guess is that in the second case you are using a non-mathematical
> sense
> of set.
>
> 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 Dave McComb
>> Sent: 06 October 2009 18:37
>> To: uom-ontology-std
>> Cc: uom-ontology-std
>> Subject: Re: [uom-ontology-std] What is mass?
>>
>> I like this restatement, but it also shines a light on where I
>> struggle.
>>
>> 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.
>>
>> 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.
>>
>> Sent from my iPhone
>>
>> On Oct 6, 2009, at 10:59 AM, "Chris Partridge" <partridgec@xxxxxxxxxxxxxxx
>>> wrote:
>>
>>> 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
>>>
>>
>> _________________________________________________________________
>> 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
> (04)
_________________________________________________________________
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)
|