Philosophy and Technology 33 (2):349-355 (2020)

This paper provides a review of Raymond Turner’s book Computational Artefacts. Towards a Philosophy of Computer Science. Focus is made on the definition of program correctness as the twofold problem of evaluating whether both the symbolic program and the physical implementation satisfy a set of specifications. The review stresses how these are not two separate problems. First, it is highlighted how formal proofs of correctness need to rely on the analysis of physical computational processes. Secondly, it is underlined how software testing requires considering the formal relations holding between the specifications and the symbolic program. Such a mutual dependency between formal and empirical program verification methods is finally shown to influence the debate on the epistemological status of computer science.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s13347-019-00364-9
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,657
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Software Intensive Science.John Symons & Jack Horner - 2014 - Philosophy and Technology 27 (3):461-477.
Model-Based Creative Abduction.L. Magnani - 1999 - In L. Magnani, N. J. Nersessian & P. Thagard (eds.), Model-Based Reasoning in Scientific Discovery. Academic/Plenum Publishers. pp. 219--238.

Add more references

Citations of this work BETA

Computational Artifacts: The Things of Computer Science.Raymond Turner - 2020 - Philosophy and Technology 33 (2):357-367.

Add more citations

Similar books and articles

Philosophical Aspects of Program Verification.James H. Fetzer - 1991 - Minds and Machines 1 (2):197-216.
Program Verification: The Very Idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
Philosophy of Science and Its Rational Reconstructions: Remarks on the VPI Program for Testing Philosophies of Science.Alan W. Richardson - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:36 - 46.
Nonstandard Runs And Program Verification.Laszlo Csirmaz - 1981 - Bulletin of the Section of Logic 10 (2):68-77.


Added to PP index

Total views
7 ( #1,049,022 of 2,462,323 )

Recent downloads (6 months)
2 ( #299,152 of 2,462,323 )

How can I increase my downloads?


My notes