Computational Artifacts: Towards a Philosophy of Computer Science

Springer Berlin Heidelberg (2018)
  Copy   BIBTEX

Abstract

The philosophy of computer science is concerned with issues that arise from reflection upon the nature and practice of the discipline of computer science. This book presents an approach to the subject that is centered upon the notion of computational artefact. It provides an analysis of the things of computer science as technical artefacts. Seeing them in this way enables the application of the analytical tools and concepts from the philosophy of technology to the technical artefacts of computer science. With this conceptual framework the author examines some of the central philosophical concerns of computer science including the foundations of semantics, the logical role of specification, the nature of correctness, computational ontology and abstraction, formal methods, computational epistemology and explanation, the methodology of computer science, and the nature of computation. The book will be of value to philosophers and computer scientists.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Computational Artifacts: the Things of Computer Science.Raymond Turner - 2019 - Philosophy and Technology 10 (2):47-69.
Computer Science as Immaterial Formal Logic.Selmer Bringsjord - 2020 - Philosophy and Technology 33 (2):339-347.
Specification.Raymond Turner - 2011 - Minds and Machines 21 (2):135-152.
Information Processing Artifacts.Neal G. Anderson - 2019 - Minds and Machines 29 (2):193-225.
Computer Science and Philosophy.Juan Manuel Duran - 2018 - Principia: An International Journal of Epistemology 22 (2):203-227.
Miscomputation.Nir Fresco & Giuseppe Primiero - 2013 - Philosophy and Technology 26 (3):253-272.
Layers of Models in Computer Simulations.Thomas Boyer-Kassem - 2014 - International Studies in the Philosophy of Science 28 (4):417-436.

Analytics

Added to PP
2020-02-01

Downloads
35 (#459,020)

6 months
10 (#276,350)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references