Thank you someone 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
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 effectively from memory 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.