>MW: Noone has yet been able to explain the difference (or even offer an
>explanation) though more than one has asserted a difference. I am simply
>seeking enlightenment. (01)
Sets are mathematical objects; the set-membership relation is an
abstract relation, which obtains independently of time and change.
Sets can be defined arbitrarily, as in the {the moon, Matthew West,
redness, 27} case. Sets are subject to arbitrary iterations,
combinations and intersections, ad nauseam, as in the (02)
{{{{{{{{{{{{{{{{{{{{Matthew West}}}}}}}}}}}}}}}}}}} (03)
case. Which sets exist is a matter of mathematics and of arbitrary definition. (04)
Types are entities (something like invariant patterns, commonalities,
kinds) in reality. Which types exist changes from epoch to epoch
(Darwin tells us) and even from year to year (as new varities of
potato chip are invented). Which types exist is a matter of
observation and scientific exeriment. Types are not subject to
arbitrary iterations, combinations and intersections. There is no
type 'rabbit or steering wheel'. (05)
BS (06)
_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-dev/
To Post: mailto:ontac-dev@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config: http://colab.cim3.net/mailman/listinfo/ontac-dev/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG (07)
|