On Jul 19, 2009, at 4:13 AM, ingvar_johansson wrote: (01)
> John Graybeal wrote:
>
>> In fact, I'm not even sure how values got to join in with units. I
>> would have said
>> 0) Units
>> 1) Values with Units
>> because just having units sorted out by themselves -- with URIs for
>> each concept -- enables all sorts of effective tools and toys.
>
> Dave McComb wrote:
>
>> I could get started with level 0. I must admit though every use
>> case I can think of involves a unit and a value. (02)
Dimensional analysis? Writing general code to convert between units? (03)
>
> I would say that it is logically impossible to have a unit without a
> value. (04)
Its clearly logically possible. Conceptually they seem distinct. The
idea of the meter, for example, is not the individual measure 'one
meter', though the two are obviously closely related. I would say that
'meter' denotes a function from lengths to numbers, and one meter is
the length, such that the value of that function when applied to it,
is the number 1: (05)
(the (x) (= (meter x) 1) ) (06)
And by the way, (= meter metre) (07)
Pat (08)
> To have the value 1 is also to have a value. On the other hand, a
> value without a unit is just a pure mathematical number. I think
> Graybeal's distinction should be replaced by the following:
> 0) Base units
> 1) Values of base units.
>
> The value of the base unit is created by a pragmatic choice. It is
> not to
> be found in mind-independent nature, and it is not necessarily 1.
>
> Best, Ingvar J
>
> --
> home page: http://hem.passagen.se/ijohansson/index.html
>
>
> _________________________________________________________________
> 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
>
>
> (09)
------------------------------------------------------------
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 (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)
|