Minds and Machines 29 (1):149-168 (2019)

Vincent Ardourel
Centre National de la Recherche Scientifique
Julie Jebeile
University of Bern
It has been argued that the Duhem problem is renewed with computational models since model assumptions having a representational aim and computational assumptions cannot be tested in isolation. In particular, while the Verification and Validation methodology is supposed to prevent such holism, Winsberg argues that verification and validation cannot be separated in practice. Morrison replies that Winsberg overstates the entanglement between the steps. The paper aims at arbitrating these two positions, by stressing their respective validity in relation to domains of application. It importantly argues for an increasing use of formal methods in verification, that makes disentanglement possible.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11023-019-09493-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: 71,489
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

Science in the Age of Computer Simulation.Eric Winsberg - 2010 - University of Chicago Press.
Philosophy and Climate Science.Eric Winsberg - 2018 - Cambridge: Cambridge University Press.
Holism, Entrenchment, and the Future of Climate Model Pluralism.Johannes Lenhard & Eric Winsberg - 2010 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 41 (3):253-262.

View all 13 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Validation and Verification in Social Simulation: Patterns and Clarification of Terminology.Nuno David - 2009 - Epistemological Aspects of Computer Simulation in the Social Sciences, EPOS 2006, Revised Selected and Invited Papers, Lecture Notes in Artificial Intelligence, Squazzoni, Flaminio (Ed.) 5466:117-129.
Concerning 'Eschatological Verification Reconsidered'.Beth Mackie - 1987 - Religious Studies 23 (1):129 - 135.
Program Verification: The Very Idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
A Tale of Two Methods.Eric Winsberg - 2009 - Synthese 169 (3):575 - 592.
How Old Are These Bones? Putnam, Wittgenstein and Verification.Cora Diamond - 1999 - Proceedings of the Aristotelian Society, Supplementary Volumes 73:99-150.
How Old Are These Bones?: Putnam, Wittgenstein and Verification.Cora Diamond & Steven Gerrard - 1999 - Aristotelian Society Supplementary Volume 73 (1):99-150.


Added to PP index

Total views
16 ( #669,050 of 2,520,894 )

Recent downloads (6 months)
1 ( #405,457 of 2,520,894 )

How can I increase my downloads?


My notes