David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
The Monist 82 (1):20-36 (1999)
Taking Brian Cantwell Smith’s study, “Limits of Correctness in Computers,” as its point of departure, this article explores the role of models in computer science. Smith identifies two kinds of models that play an important role, where specifications are models of problems and programs are models of possible solutions. Both presuppose the existence of conceptualizations as ways of conceiving the world “in certain delimited ways.” But high-level programming languages also function as models of virtual (or abstract) machines, while low-level programming languages function as models of causal (or physical) machines. The resulting account suggests that sets of models embedded within models are indispensable for computer programming
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
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
No references found.
Citations of this work BETA
Giuseppe Primiero, Nir Fresco & Luciano Floridi (2015). On Malfunctioning Software. Synthese 192 (4):1199-1220.
Raymond Turner (2014). Programming Languages as Technical Artifacts. Philosophy and Technology 27 (3):377-397.
Stefan Gruner (2011). Problems for a Philosophy of Software Engineering. Minds and Machines 21 (2):275-299.
Nicola Angius & Guglielmo Tamburrini (2011). Scientific Theories of Computational Systems in Model Checking. Minds and Machines 21 (2):323-336.
Similar books and articles
Peter Krebs (2007). Virtual Models and Simulations. Techne 11 (1):42-54.
Caspar Addyman & Robert M. French (2012). Computational Modeling in Cognitive Science: A Manifesto for Change. Topics in Cognitive Science 4 (3):332-341.
Ronald N. Giere (1999). Using Models to Represent Reality. In L. Magnani, N. J. Nersessian & P. Thagard (eds.), Model-Based Reasoning in Scientific Discovery. Kluwer/Plenum 41--57.
Dirk Schlimm (2009). Learning From the Existence of Models: On Psychic Machines, Tortoises, and Computer Simulations. Synthese 169 (3):521 - 538.
Margaret Morrison (2009). Models, Measurement and Computer Simulation: The Changing Face of Experimentation. Philosophical Studies 143 (1):33 - 57.
Jan Jürjens (2002). Games in the Semantics of Programming Languages – an Elementary Introduction. Synthese 133 (1-2):131-158.
Ralph Gregory Taylor (1998). Models of Computation and Formal Languages. Oxford University Press.
Added to index2011-01-09
Total downloads21 ( #170,426 of 1,790,308 )
Recent downloads (6 months)9 ( #94,062 of 1,790,308 )
How can I increase my downloads?