Computational Artifacts

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.

Part I, Introduction.- Computer Science.- Towards a Philosophy of Computer Science.- Part II, Ontology.- Computational Artifacts.- Logic Machines as Technical Artifacts.- The Ontology of Programs.- Software Systems as Technical Artifacts.- Part III, Semantics.- The Languages of Computer Science.- Programming Languages.- Semantic Requirements.- Semantic Varieties.- Semantics and Implementation.- Specification Languages.- Part IV, Methodology: Software Development.- Software System Methodology.- Specification.- The Philosophy of Design.- Simplicity in Design.- Modularity.- Formal Methods.- Part V, Methodology II: The Design of Programming Languages.- Simplicity and Expressive Power.- Semantics and Design.- Computational Abstraction.- Part VI Epistemology.- Varieties of Correctness.- Program Correctness.- Types and Correctness.- Artifact Correctness.- Computational Explanation.

"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)

“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)