Overview
- Essential contribution to the philosophy of computer science
- Advances the notion of a technical artifact
- Appeals to computer scientists and philosophers
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (30 chapters)
-
Part I
-
Part IV
Keywords
About this book
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.
Reviews
Authors and Affiliations
About the author
Bibliographic Information
Book Title: Computational Artifacts
Book Subtitle: Towards a Philosophy of Computer Science
Authors: Raymond Turner
DOI: https://doi.org/10.1007/978-3-662-55565-1
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag GmbH Germany, part of Springer Nature 2018
Hardcover ISBN: 978-3-662-55564-4Published: 24 July 2018
Softcover ISBN: 978-3-662-58559-7Published: 30 January 2019
eBook ISBN: 978-3-662-55565-1Published: 11 July 2018
Edition Number: 1
Number of Pages: XV, 255
Topics: Theory of Computation, Philosophy of Science, Mathematical Logic and Foundations