Sjir, (01)
> I would just have said that a datum is a proposition that is taken to
> be, or asserted to be, true. The context for that role is any context
> in which the proposition is taken to be true. (02)
I agree. (03)
I would also add that not all data is propositional. For example,
the list of names and numbers in a telephone book consists of paired
instances of two kinds of data. Each pair becomes a proposition
when the instances are inserted in an appropriate schema: (04)
"The person named _________ has the telephone number ________." (05)
And of course, all phone books contain errors at the moment they're
printed. Over time, the errors increase until a new phone book is
issued. A computerized phone book can be updated more quickly,
but it still contains inevitable errors. (06)
More generally, every kind of data is some kind of sign. My two-way
distinction of natural type and role type, which I wrote in 1984,
is a special case of Peirce's much more detailed semiotics. Since
then, I have studied and used his distinctions more systematically. (07)
For example, Peirce's widely quoted type-token distinction is actually
two thirds of a triad: (08)
1. A *mark* is anything observable. It might be interpreted
in an open-ended number of ways by different observers
for different reasons. (09)
2. A *token* is a particular interpretation of a mark. (010)
3. A *type* is general pattern that some sentient being
(human, animal, plant, robot, alien, God, angel, ...)
uses for some reason to interpret a mark as a token. (011)
This triad leads to my preferred definition of ontology: (012)
A semiotic system for interpreting marks as tokens
of various types. (013)
This definition provides more guidance than just saying
"Ontology is the study of existence." It also avoids
the more problematical term 'conceptualization'. (014)
John (015)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (016)
|