Computational Artifacts
Towards a Philosophy of Computer Science
Authors: Turner, Raymond
Free Preview- Essential contribution to the philosophy of computer science
- Advances the notion of a technical artifact
- Appeals to computer scientists and philosophers
Buy this book
- 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.
- About the authors
-
Raymond Turner is an emeritus professor of the School of Computer Science and Electronic Engineering of the University of Essex. His research interests include theoretical computer science, mathematical logic, philosophical logic, philosophy of mathematics, and the philosophy of computer science.
- Reviews
-
“This superb book addresses fundamental issues for developing insight into the nature of CS as distinct from other physical sciences, engineering, or mathematics.” (Shapiro, Computing Reviews, July 15, 2019)
- Table of contents (30 chapters)
-
-
Computer Science
Pages 5-11
-
Towards a Philosophy of Computer Science
Pages 13-19
-
Computational Artifacts
Pages 25-29
-
Logic Machines as Technical Artifacts
Pages 31-41
-
The Ontology of Programs
Pages 43-52
-
Table of contents (30 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Computational Artifacts
- Book Subtitle
- Towards a Philosophy of Computer Science
- Authors
-
- Raymond Turner
- Copyright
- 2018
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag GmbH Germany, part of Springer Nature
- eBook ISBN
- 978-3-662-55565-1
- DOI
- 10.1007/978-3-662-55565-1
- Hardcover ISBN
- 978-3-662-55564-4
- Softcover ISBN
- 978-3-662-58559-7
- Edition Number
- 1
- Number of Pages
- XV, 255
- Topics
