A Pragmatic Theory of Computational Artefacts

Some computational phenomena rely essentially on pragmatic considerations, and seem to undermine the independence of the specification from the implementation. These include software development, deviant uses, esoteric languages and recent data-driven applications. To account for them, the interaction between pragmatics, epistemology and ontology in computational artefacts seems essential, indicating the need to recover the role of the language metaphor. We propose a User Levels (ULs) structure as a pragmatic complement to the Levels of Abstraction (LoAs)-based structure defining the ontology and epistemology of computational artefacts. ULs identify a flexible hierarchy in which users bear their own semantic and normative requirements, possibly competing with the logical specification. We formulate a notion of computational act intended in its pragmatic sense, alongside pragmatic versions of implementation and correctness.

Automated summary

Computational phenomena are influenced by pragmatic considerations, challenging the independence of specification and implementation. The interaction between pragmatics, epistemology, and ontology is crucial in understanding computational artifacts. User Levels (ULs) offer a flexible hierarchy where users have their own semantic and normative requirements, potentially competing with logical specifications.