John, (01)
Would you be happy with a re-phrasing of 1 and 2) as: (02)
1a Two sets are considered identical iff they have the same members. (03)
2a But two types are considered identical iff they have the same
definitions (04)
Surely 1) is correct, but what about 2)? (05)
Regards,
Chris Partridge
Chief Ontologist (06)
Mobile: +44 790 5167263
Phone: +44 20 81331891
Fax: +44 20 7855 0268
E-Mail: partridgec@xxxxxxxxxxxxxxx (07)
BORO Centre Limited
Website: www.BOROCentre.com
Registered in England No: 04418581
Registered Office: 25 Hart Street, Henley on Thames,
Oxfordshire RG9 2AR (08)
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. (09)
> -----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
> (010)
_________________________________________________________________
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 (011)
|