{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T16:53:33Z","timestamp":1779900813988,"version":"3.53.1"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"S1","license":[{"start":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T00:00:00Z","timestamp":1700611200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T00:00:00Z","timestamp":1700611200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100021856","name":"Ministero dell\u2019Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","award":["2020SSKZ7R"],"award-info":[{"award-number":["2020SSKZ7R"]}],"id":[{"id":"10.13039\/501100021856","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100012352","name":"Universit\u00e0 degli Studi di Milano","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100012352","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Minds &amp; Machines"],"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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.<\/jats:p>","DOI":"10.1007\/s11023-023-09650-0","type":"journal-article","created":{"date-parts":[[2023,11,22]],"date-time":"2023-11-22T07:02:13Z","timestamp":1700636533000},"page":"139-170","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A Pragmatic Theory of Computational Artefacts"],"prefix":"10.1007","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5547-7514","authenticated-orcid":false,"given":"Alessandro G.","family":"Buda","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giuseppe","family":"Primiero","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,11,22]]},"reference":[{"key":"9650_CR1","doi-asserted-by":"crossref","unstructured":"Adamczyk, P. (2011). On the language metaphor. In Proceedings of the 10th SIGPLAN Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, New York, pp. 121-128. Association for Computing Machinery.","DOI":"10.1145\/2089131.2089133"},{"key":"9650_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511720369","volume-title":"The computer as medium. Learning in doing: Social, cognitive and computational perspectives","author":"PB Andersen","year":"1994","unstructured":"Andersen, P. B., Holmqvist, B., & Jensen, J. F. (1994). The computer as medium. Learning in doing: Social, cognitive and computational perspectives. Cambridge University Press."},{"issue":"6","key":"9650_CR3","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1093\/logcom\/exy012","volume":"28","author":"N Angius","year":"2018","unstructured":"Angius, N., & Primiero, G. (2018). The logic of identity and copy for computational artefacts. Journal of Logic and Computation, 28(6), 1293\u20131322. https:\/\/doi.org\/10.1093\/logcom\/exy012","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"9650_CR4","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s13347-019-00358-7","volume":"33","author":"N Angius","year":"2020","unstructured":"Angius, N., & Primiero, G. (2020). Infringing software property rights: Ontological, methodological, and ethical questions. Philosophy and Technology, 33(2), 283\u2013308. https:\/\/doi.org\/10.1007\/s13347-019-00358-7","journal-title":"Philosophy and Technology"},{"key":"9650_CR5","unstructured":"Angius, N., Primiero, G., & Turner, R. (2021). The Philosophy of Computer Science, In The Stanford Encyclopedia of Philosophy (Spring 2021 ed.)., ed. Zalta, E.N. Stanford: Metaphysics Research Lab, Stanford University."},{"key":"9650_CR6","volume-title":"How to do things with words","author":"JL Austin","year":"1962","unstructured":"Austin, J. L. (1962). How to do things with words. Clarendon Press."},{"key":"9650_CR7","unstructured":"Beck, K., Beedle, M., van Bennekum, A., Cockburn, A., Cunningham, W., Fowler, M., Grenning, J., Highsmith, J., Hunt, A., Jeffries, R., Kern, J., Marick, B., Martin, R. C., Mellor, S., Schwaber, K., Sutherland, J., & Thomas, D. (2001). Manifesto for agile software development. http:\/\/www.agilemanifesto.org\/."},{"key":"9650_CR8","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1613\/jair.2221","volume":"29","author":"R Bordini","year":"2011","unstructured":"Bordini, R., Moreira, A., Vieira, R., & Wooldridge, M. (2011). On the formal semantics of speech-act based communication in an agent-oriented programming language. Journal of Artificial Intelligence Research (JAIR), 29, 221\u2013267. https:\/\/doi.org\/10.1613\/jair.2221","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"issue":"151","key":"9650_CR9","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1515\/semi.2004.065","volume":"2004","author":"JH Connolly","year":"2004","unstructured":"Connolly, J. H., & Cooke, D. J. (2004). The pragmatics of programming languages. Semiotica, 2004(151), 149\u2013161. https:\/\/doi.org\/10.1515\/semi.2004.065","journal-title":"Semiotica"},{"key":"9650_CR10","unstructured":"Cooke, A. (2000). Andrew cooke: Malbolge hello world. https:\/\/web.archive.org\/web\/20191206191704\/https:\/\/www.acooke.org\/malbolge.html."},{"key":"9650_CR11","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/8193.001.0001","volume-title":"Speaking code: Coding as aesthetic and political expression","author":"G Cox","year":"2012","unstructured":"Cox, G., & McLean, A. (2012). Speaking code: Coding as aesthetic and political expression. The MIT Press."},{"key":"9650_CR12","doi-asserted-by":"publisher","first-page":"741","DOI":"10.2307\/2024640","volume":"72","author":"R Cummins","year":"1975","unstructured":"Cummins, R. (1975). Functional analysis. Journal of Philosophy, 72, 741\u201364. https:\/\/doi.org\/10.2307\/2024640","journal-title":"Journal of Philosophy"},{"key":"9650_CR13","unstructured":"Esolang. (2014). Esoteric programming languages wiki. https:\/\/esolangs.org\/."},{"key":"9650_CR14","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1016\/j.tics.2019.04.010","volume":"23","author":"E Fedorenko","year":"2019","unstructured":"Fedorenko, E., Ivanova, A., Dhamala, R., & Bers, M. U. (2019). The language of programming: A cognitive perspective. Trends in Cognitive Sciences, 23, 525\u2013528. https:\/\/doi.org\/10.1016\/j.tics.2019.04.010","journal-title":"Trends in Cognitive Sciences"},{"key":"9650_CR15","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/s11023-008-9113-7","volume":"18","author":"L Floridi","year":"2008","unstructured":"Floridi, L. (2008). The method of levels of abstraction. Minds and Machines, 18, 303\u2013329. https:\/\/doi.org\/10.1007\/s11023-008-9113-7","journal-title":"Minds and Machines"},{"key":"9650_CR16","doi-asserted-by":"publisher","first-page":"1199","DOI":"10.1007\/s11229-014-0610-3","volume":"192","author":"L Floridi","year":"2015","unstructured":"Floridi, L., Fresco, N., & Primiero, G. (2015). On malfunctioning software. Synthese, 192, 1199\u20131220. https:\/\/doi.org\/10.1007\/s11229-014-0610-3","journal-title":"Synthese"},{"key":"9650_CR17","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s13347-013-0112-0","volume":"26","author":"N Fresco","year":"2013","unstructured":"Fresco, N., & Primiero, G. (2013). Miscomputation. Philosophy and Technology, 26, 253\u2013272. https:\/\/doi.org\/10.1007\/s13347-013-0112-0","journal-title":"Philosophy and Technology"},{"key":"9650_CR18","unstructured":"Imaginovation. (2017). 16 reasons the app store rejects mobile apps and how to avoid them. https:\/\/medium.com\/@Imaginovation\/16-reasons-the-app-store-rejects-mobile-apps-how-to-avoid-them-63f73fa33a3a."},{"key":"9650_CR19","first-page":"147","volume-title":"Electronic culture: Technology and visual representation, New York","author":"F Kittler","year":"1996","unstructured":"Kittler, F. (1996). There is no software. In T. Druckrey & A. Stone (Eds.), Electronic culture: Technology and visual representation, New York (pp. 147\u2013155). Aperture."},{"key":"9650_CR20","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1093\/cje\/bep019","volume":"34","author":"P Kroes","year":"2009","unstructured":"Kroes, P. (2009). Engineering and the dual nature of technical artefacts. Cambridge Journal of Economics, 34, 51\u201362. https:\/\/doi.org\/10.1093\/cje\/bep019","journal-title":"Cambridge Journal of Economics"},{"issue":"2","key":"9650_CR21","first-page":"629","volume":"15","author":"T Lee","year":"2000","unstructured":"Lee, T. (2000). Publishing software as a speech act. Berkeley Technology Law Journal, 15(2), 629\u2013712.","journal-title":"Berkeley Technology Law Journal"},{"key":"9650_CR22","doi-asserted-by":"crossref","unstructured":"McCarthy, J. (2007). Elephant 2000: A programming language based on speech acts. In Companion to the 22nd ACM SIGPLAN conference on object-oriented programming systems and applications companion, New York, pp. 723-724. Association for Computing Machinery.","DOI":"10.1145\/1297846.1297852"},{"key":"9650_CR23","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511498510","volume-title":"What functions explain: Functional explanation and self-reproducing systems","author":"P McLaughlin","year":"2000","unstructured":"McLaughlin, P. (2000). What functions explain: Functional explanation and self-reproducing systems. Cambridge University Press."},{"key":"9650_CR24","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1093\/bjps\/29.3.213","volume":"29","author":"JH Moor","year":"1978","unstructured":"Moor, J. H. (1978). Three myths of computer science. British Journal for the Philosophy of Science, 29, 213\u2013222. https:\/\/doi.org\/10.1093\/bjps\/29.3.213","journal-title":"British Journal for the Philosophy of Science"},{"key":"9650_CR25","unstructured":"Morris, C. W. (1938). Foundations of the theory of Signs. University of Chicago Press Cambridge University Press."},{"key":"9650_CR26","doi-asserted-by":"publisher","unstructured":"Nofre, D., Priestley, M., & Alberts, G. (2014). When technology became language: The origins of the linguistic conception of computer programming, 1950-1960. Technology and culture\u00a055: 40\u201375, 2 p preceding 1. https:\/\/doi.org\/10.1353\/tech.2014.0031 .","DOI":"10.1353\/tech.2014.0031"},{"key":"9650_CR27","unstructured":"Preston, B. (2022). Artifact, in the stanford encyclopedia of philosophy (Winter 2022 ed.)., eds. Zalta, E. N. and Nodelman, U. Stanford: Metaphysics Research Lab, Stanford University."},{"key":"9650_CR28","unstructured":"Primiero, G. (2016), 06. Information in the philosophy of computer science, In The routledge handbook of philosophy of information, ed. Floridi, L., 108\u2013125. London: Routledge."},{"key":"9650_CR29","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198835646.001.0001","volume-title":"On the foundations of computing","author":"G Primiero","year":"2019","unstructured":"Primiero, G. (2019). On the foundations of computing. Oxford University Press."},{"key":"9650_CR30","doi-asserted-by":"publisher","first-page":"5719","DOI":"10.1007\/s11229-019-02305-7","volume":"198","author":"G Primiero","year":"2019","unstructured":"Primiero, G., Raimondi, F., & Chen, T. (2019). A theory of change for prioritised resilient and evolvable software systems. Synthese, 198, 5719\u20135744. https:\/\/doi.org\/10.1007\/s11229-019-02305-7","journal-title":"Synthese"},{"issue":"2","key":"9650_CR31","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/s13347-018-0334-2","volume":"32","author":"G Primiero","year":"2019","unstructured":"Primiero, G., Solheim, F. J., & Spring, J. M. (2019). On malfunction, mechanisms and malware classification. Philosophy and Technology, 32(2), 339\u2013362. https:\/\/doi.org\/10.1007\/s13347-018-0334-2","journal-title":"Philosophy and Technology"},{"key":"9650_CR32","doi-asserted-by":"publisher","first-page":"109","DOI":"10.5840\/monist19998212","volume":"82","author":"WJ Rapaport","year":"1999","unstructured":"Rapaport, W. J. (1999). Implementation is semantic interpretation. The Monist, 82, 109\u2013130.","journal-title":"The Monist"},{"key":"9650_CR33","volume-title":"Programming language pragmatics","author":"ML Scott","year":"2009","unstructured":"Scott, M. L. (2009). Programming language pragmatics (3rd ed.). Morgan Kaufmann Publishers Inc.","edition":"3"},{"key":"9650_CR34","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139173438","volume-title":"Speech acts: An essay in the philosophy of language","author":"JR Searle","year":"1969","unstructured":"Searle, J. R. (1969). Speech acts: An essay in the philosophy of language. Cambridge University Press."},{"key":"9650_CR35","volume-title":"The construction of social reality","author":"JR Searle","year":"1995","unstructured":"Searle, J. R. (1995). The construction of social reality. Simon and Schuster."},{"key":"9650_CR36","doi-asserted-by":"crossref","unstructured":"Tanaka-Ishii, K. (2015). Semiotics of computing: Filling the gap between humanity and mechanical inhumanity, In International Handbook of Semiotics, ed. Trifonas, P.P., 981\u20131002. Dordrecht: Springer Netherlands.","DOI":"10.1007\/978-94-017-9404-6_44"},{"issue":"3","key":"9650_CR37","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s11023-011-9240-4","volume":"21","author":"M Tedre","year":"2011","unstructured":"Tedre, M. (2011). Computing as a science: A survey of competing viewpoints. Minds and Machines, 21(3), 361\u2013387. https:\/\/doi.org\/10.1007\/s11023-011-9240-4","journal-title":"Minds and Machines"},{"key":"9650_CR38","doi-asserted-by":"publisher","DOI":"10.1201\/b17764","volume-title":"The science of computing: Shaping a discipline","author":"M Tedre","year":"2014","unstructured":"Tedre, M. (2014). The science of computing: Shaping a discipline. CCRC Press, Taylor and Francis Group."},{"key":"9650_CR39","unstructured":"Temkin, D. (2017). New languages, Daniel Temkin Website. http:\/\/danieltemkin.com\/Esolangs\/."},{"key":"9650_CR40","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/s11023-011-9239-x","volume":"21","author":"R Turner","year":"2011","unstructured":"Turner, R. (2011). Specification. Minds and Machines, 21, 135\u2013152. https:\/\/doi.org\/10.1007\/s11023-011-9239-x","journal-title":"Minds and Machines"},{"key":"9650_CR41","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/s13347-012-0098-z","volume":"27","author":"R Turner","year":"2014","unstructured":"Turner, R. (2014). Programming languages as technical artifacts. Philosophy and Technology, 27, 377\u2013397. https:\/\/doi.org\/10.1007\/s13347-012-0098-z","journal-title":"Philosophy and Technology"},{"key":"9650_CR42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-55565-1","volume-title":"Computational artifacts: Towards a philosophy of computer science","author":"R Turner","year":"2018","unstructured":"Turner, R. (2018). Computational artifacts: Towards a philosophy of computer science. Springer, Berlin Heidelberg."},{"key":"9650_CR43","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.shpsa.2005.12.002","volume":"37","author":"PE Vermaas","year":"2006","unstructured":"Vermaas, P. E., & Houkes, W. (2006). Technical functions: A drawbridge between the intentional and structural natures of technical artefacts. Studies in History and Philosophy of Science Part A, 37, 5\u201318. https:\/\/doi.org\/10.1016\/j.shpsa.2005.12.002","journal-title":"Studies in History and Philosophy of Science Part A"},{"key":"9650_CR44","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1145\/365230.365249","volume":"9","author":"H Zemanek","year":"1966","unstructured":"Zemanek, H. (1966). Semiotics and programming languages. Communications of the ACM, 9, 139\u2013143. https:\/\/doi.org\/10.1145\/365230.365249","journal-title":"Communications of the ACM"}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-023-09650-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11023-023-09650-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11023-023-09650-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,18]],"date-time":"2024-03-18T15:18:29Z","timestamp":1710775109000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11023-023-09650-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,22]]},"references-count":44,"journal-issue":{"issue":"S1","published-online":{"date-parts":[[2024,2]]}},"alternative-id":["9650"],"URL":"https:\/\/doi.org\/10.1007\/s11023-023-09650-0","relation":{},"ISSN":["1572-8641"],"issn-type":[{"value":"1572-8641","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,11,22]]},"assertion":[{"value":"5 July 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 October 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 November 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}