Philosophy and Technology 27 (3):479-484 (2014)

This commentary on John Symons’ and Jack Horner’s paper, besides sharing its main argument, challenges the authors’ statement that there is no effective method to evaluate software-intensive systems as a distinguishing feature of software intensive science. It is underlined here how analogous methodological limitations characterise the evaluations of empirical systems in non-software intensive sciences. The authors’ claim that formal methods establish the correctness of computational models rather than of the represented programme is here compared with the empirical adequacy problem typifying the model-based reasoning approach in physics, and the remark that testing all the paths of a software-intensive system is unfeasible is related to the enumerative induction problem in the justification of empirical law-like hypotheses in non-software intensive sciences
Keywords Software intensive science  Computational models  Scientific method
Categories (categorize this paper)
DOI 10.1007/s13347-014-0173-8
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,089
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

The Scientific Image.William Demopoulos & Bas C. van Fraassen - 1982 - Philosophical Review 91 (4):603.
Theory and Evidence.Clark N. Glymour - 1980 - Princeton University Press.
Models and Representation.Richard Hughes - 1997 - Philosophy of Science 64 (4):336.
Theory and Evidence.Clark Glymour - 1980 - Ethics 93 (3):613-615.

View all 14 references / Add more references

Citations of this work BETA

Reply to Angius and Primiero on Software Intensive Science.Jack Horner & John Symons - 2014 - Philosophy and Technology 27 (3):491-494.

Add more citations

Similar books and articles

Reply to Angius and Primiero on Software Intensive Science.Jack Horner & John Symons - 2014 - Philosophy and Technology 27 (3):491-494.
Software Intensive Science.John Symons & Jack Horner - 2014 - Philosophy and Technology 27 (3):461-477.
The Social Epistemologies of Software.David M. Berry - 2012 - Social Epistemology 26 (3-4):379-398.
Expert-System Software and Knowledge-Intensive Problem Solving.Brian D. Monahan & Sandra E. Belkin - 1986 - Thought: Fordham University Quarterly 61 (4):497-507.
Problems for a Philosophy of Software Engineering.Stefan Gruner - 2011 - Minds and Machines 21 (2):275-299.


Added to PP index

Total views
28 ( #405,835 of 2,498,993 )

Recent downloads (6 months)
1 ( #421,180 of 2,498,993 )

How can I increase my downloads?


My notes