Dave, (01)
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. (02)
Regards,
Chris Partridge
Chief Ontologist (03)
Mobile: +44 790 5167263
Phone: +44 20 81331891
Fax: +44 20 7855 0268
E-Mail: partridgec@xxxxxxxxxxxxxxx (04)
BORO Centre Limited
Website: www.BOROCentre.com
Registered in England No: 04418581
Registered Office: 25 Hart Street, Henley on Thames,
Oxfordshire RG9 2AR (05)
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. (06)
> -----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
> (07)
_________________________________________________________________
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 (08)
|