Abstract
Philosophy of computer simulation has for long tried to answer the question: What makes computer simulation special? Answers normally proceed by giving a demarcation criterion, a property which only holds for computer simulation. The definition by demarcation has also been attempted in different fields, maybe most famously by Popper for science. So it might not come as a surprise that philosophy of mathematics has tried to demarcate computer aided proof. What is remarkable is that the demarcation criteria for computer simulation and computer aided proof are rather similar. As the debate in philosophy of mathematics is more advanced, I will show how its arguments can be translated for the philosophy of computer simulation. I argue that even in the light of computer methods human justificatory capabilities still remain central. In closing I point out, that the focus on justificatory methods like verification/validation in software engineering challenges the traditional philosophical account of engineering.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
There is an argument to the effect that unsurveyability was accepted in mathematics prior to computer aided proofs (see Arkoudas and Bringsjord 2007). If this is correct it would even undermine Humphreys more general argument.
References
Appel, K., & Haken, W. (1976). Every planar map is four colourable. Bulletin of the American Mathematical Society, 82, 711–712.
Arkoudas, K., & Bringsjord, S. (2007). Computers, justification, and mathematical knowledge. Minds and Machines, 17, 185–202.
Franssen, M., Lokhorst, G.-J., & van de Poel, I. (2015). Philosophy of technology, The Stanford encyclopedia of philosophy. New York: New York City College of Technology.
Frigg, R., & Reiss, J. (2009). The philosophy of simulation: Hot new issues or same old stew? Synthese, 169, 593–613.
Gabbay, D. M., Meijers, A., & Woods, J. (2009). Philosophy of technology and engineering sciences. Amsterdam: North Holland Elsevier.
Gonthier, G. (2008). Formal proof—The four-color theorem. Notices of the AMS, 55, 1382–1393.
Gruner, S. (2010). Software engineering between technics and science. Journal for General Philosophy of Science, 41, 237–260.
Gruner, S. (2011). Problems for a philosophy of software engineering. Minds and Machines, 21, 275–299.
Grüne-Yanoff, T., & Weirich, P. (2010). The philosophy and epistemology of simulation: A review. Simulation & Gaming, 41, 20–50.
Humphreys, P. (2009). The philosophical novelty of computer simulation methods. Synthese, 169, 615–626.
McEvoy, M. (2008). The epistemological status of computer-assisted proofs. Philosophia Mathematica, 16, 374–387.
Popper, K. R. (2005). Gesammelte Werke: Band 3: Logik der Forschung. Tübingen: Mohr-Siebeck.
Teller, P. (1980). Computer proof. The Journal of Philosophy, 77, 797–803.
Tymoczko, T. (1979). The four-color problem and its philosophical significance. The Journal of Philosophy, 76, 57–83.
Tymoczko, T. (1980). Computers, proofs and mathematicians: A philosophical investigation of the four-color proof. Mathematics Magazine, 53, 131–138.
Winsberg, E. (2010). Science in the age of computer simulation. Chicago: The University of Chicago Press.
Zach, R. (2016). Hilbert’s Program, The Stanford Encyclopedia of Philosophy (Spring 2016 Edition).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Formanek, N. (2018). Demarcating Simulation. In: Fritzsche, A., Oks, S. (eds) The Future of Engineering. Philosophy of Engineering and Technology, vol 31. Springer, Cham. https://doi.org/10.1007/978-3-319-91029-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-91029-1_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-91028-4
Online ISBN: 978-3-319-91029-1
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)