Abstract
Any attempt to conceptualize, categorize and constraint foundational issues in a living science, such as Computing, is bound to show its limitations and leave a number of open issues. Taking stock with some critical reviews of Primiero (On the foundations of computing, Oxford University Press, Oxford, 2019) published in this Journal, I overview potential new problems to be investigated by a foundational analysis of the science of computing.
This is a preview of subscription content, log in via an institution to check access.
References
AbuMusab S (2023) Implementing a computing system: A pluralistic approach. Global Philosophy 33(20):1–19. https://doi.org/10.1007/s10516-023-09663-5
Angius N (2019) Qualitative models in computational simulative sciences: representation, confirmation, experimentation. Minds Mach 29(3):397–416. https://doi.org/10.1007/s11023-019-09503-9
Angius N (2022) On the experimental foundation of computing. Axiomathes 3(32):1221–1326. https://doi.org/10.1007/s10516-022-09645-z
Angius N, Primiero G, Turner R (2021) The philosophy of computer science. In: Zalta EN (ed) The stanford encyclopedia of philosophy. Metaphysics Research Lab, Stanford University, Stanford
Baier C, Hermanns H, Katoen JP, Wolf V (2006) Bisimulation and simulation relations for markov chains. In L. Aceto and A. Gordon (Eds.), Essays on Algebraic process Calculi, electronic notes in theoretical computer science, Netherlands, pp. 73–78. Elsevier. Workshop on algebraic process Calculi, APC 25 : The first twenty five years and beyond ; Conference date: 01-08-2005 Through 05-08-2005
Buda AG, Primiero G (2023) Introducing pragmatic aspects in a theory of computational artefacts. Minds Mach. to appear
Cardone F (2023) On giving meanings to programs. Glob Philos 33(13):1–15. https://doi.org/10.1007/s10516-023-09662-6
Curtis-Trudel A (2023) Primiero on physical computation. Glob Philos 33(2):1–15. https://doi.org/10.1007/s10516-023-09661-7
Dodig-Crnkovic G (2023) On the foundations of computing. computing as the fourth great domain of science. Glob Philos 33(16):1–12. https://doi.org/10.1007/s10516-023-09674-2
Durán JM (2018) Computer simulations in science and engineering: concepts-practices-perspectives. Springer, Berlin
Floridi L (2008) The method of levels of abstraction. Minds Mach 18(3):303–329. https://doi.org/10.1007/s11023-008-9113-7
Floridi L, Fresco N, Primiero G (2015) On malfunctioning software. Synthese 192(4):1199–1220. https://doi.org/10.1007/s11229-014-0610-3
Fresco N, Primiero G (2013) Miscomputation. Philos Technol 26(3):253–272
Guala F (2002) Models, simulations, and experiments. Springer, New York, pp 59–74
Humphreys P (1990) Computer simulations. In: PSA: Proceedings of the biennial meeting of the philosophy of science association 1990: 497–506
Humphreys P (2004) Extending ourselves: computational science, empiricism, and scientific method. Oxford University Press, New York, US
Kramer S, Bradfield JC (2010) A general definition of malware. J Comput Virol 6(2):105–114. https://doi.org/10.1007/s11416-009-0137-1
Primiero G (2016) Information in the philosophy of computer science. In: Floridi L (ed) The Routledge handbook of philosophy of information. Routledge, London, pp 108–125
Primiero G (2019a) A minimalist epistemology for agent-based simulations in the artificial sciences. Minds Mach 29(1):127–148. https://doi.org/10.1007/s11023-019-09489-4
Primiero G (2019b) On the foundations of computing. Oxford University Press, Oxford
Primiero G (2020) A logic of negative trust. J. Appl. Non Class. Logics 30(3):193–222. https://doi.org/10.1080/11663081.2020.1789404
Primiero G, Solheim FJ, Spring JM (2019c) On malfunction, mechanisms and malware classification. Philos Technol 32(2):339–362. https://doi.org/10.1007/s13347-018-0334-2
Acknowledgment
This research was funded by the Department of Philosophy “Piero Martinetti” of the University of Milan under the Project “Departments of Excellence 2023-2027” awarded by the Ministry of University and Research (MUR).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Competing Interests
No competing interests are declared.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Primiero, G. On the Foundations of Computing: Limits and Open Issues. glob. Philosophy 33, 37 (2023). https://doi.org/10.1007/s10516-023-09688-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10516-023-09688-w