Thank you for the pointer to Datomics where I found this: “Datomic info model: a set of facts … things
that have happened . . . while the past may be forgotten, it is
immutable.” Not so.
Along with directives, assertions etc, we also have, among our speech
acts, palinodes to annul or retract propositions used to understand the world
we share. The trodden foot may be
expunged by a sincere apology; a court of appeal may quash a conviction etc. In
the social world we continually make mistakes and not infrequently act on them
irreversibly. We must take care not to
base our information systems, most of which have social implications, on
idealised physical theories.
Ronald Stamper
|