Data di Pubblicazione:
2023
Citazione:
A Pragmatic Theory of Computational Artefacts / A.G. Buda, G. Primiero. - In: MINDS AND MACHINES. - ISSN 0924-6495. - (2023), pp. 1-32. [10.1007/s11023-023-09650-0]
Abstract:
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 struc-
ture defining the ontology and epistemology of computational artefacts. ULs identify
a flexible hierarchy in which users bear their own semantic and normative require-
ments, 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.
Tipologia IRIS:
01 - Articolo su periodico
Keywords:
Computational artefacts; Pragmatics; Correctness; Levels of Abstraction; User levels
Elenco autori:
A.G. Buda, G. Primiero
Link alla scheda completa:
Link al Full Text: