Computational methods such as computer simulations, Monte Carlo methods, and agent-based modeling have become the dominant techniques in many areas of science. Extending Ourselves contains the first systematic philosophical account of these new methods, and how they require a different approach to scientific method. Paul Humphreys draws a parallel between the ways in which such computational methods have enhanced our abilities to mathematically model the world, and the more familiar ways in which scientific instruments have expanded our access to the (...) empirical world. This expansion forms the basis for a new kind of empiricism, better suited to the needs of science than the older anthropocentric forms of empiricism. Human abilities are no longer the ultimate standard of epistemological correctness.Humphreys also includes arguments for the primacy of properties rather than objects, the need to consider technological constraints when appraising scientific methods, and a detailed account of how the path from computational template to scientific application is constructed. This last feature allows us to hold a form of selective realism in which anti-realist arguments based on formal reconstructions of theories can be avoided. One important consequence of the rise of computational methods is that the traditional organization of the sciences is being replaced by an organization founded on computational templates.Extending Ourselves will be of interest to philosophers of science, epistemologists, and to anyone interested in the role played by computers in modern science. (shrink)

Avec l'evolution recente des modeles mathematiques vers des simulations informatiques, les formalisations du vivant sont de plus en plus integratives, mixtes et, en un sens, realistes. Plus generalement, les formalisations d'objets complexes deviennent assises sur et non plus seulement traitees par l'infrastructure informatique. Quelle est la veritable portee epistemologique de cette empirie simulee? Comment la distinguer de la creativite proprement interne aux mathematiques dont la philosophie des sciences a deja su rendre compte? En se penchant sur les modeles de plantes, (...) cette enquete historique et epistemologique montre comment une telle evolution bouleverse les epistemologies contemporaines des formalisations et des modeles (dont l'iconoclasme epistemologique si vivace au XXe siecle) en renouvelant d'une part la question des rapports entre mathematiques, calcul, langage informatique et replication, et d'autre part la question de l'integration, dans un objet formel commun, de savoirs disciplinaires distincts. (shrink)

Because of the “all-or-none” character of nervous activity, neural events and the relations among them can be treated by means of propositional logic. It is found that the behavior of every net can be described in these terms, with the addition of more complicated logical means for nets containing circles; and that for any logical expression satisfying certain conditions, one can find a net behaving in the fashion it describes. It is shown that many particular choices among possible neurophysiological assumptions (...) are equivalent, in the sense that for every net behaving under one assumption, there exists another net which behaves under the other and gives the same results, although perhaps not in the same time. Various applications of the calculus are discussed. (shrink)

This book addresses key conceptual issues relating to the modern scientific and engineering use of computer simulations. It analyses a broad set of questions, from the nature of computer simulations to their epistemological power, including the many scientific, social and ethics implications of using computer simulations. The book is written in an easily accessible narrative, one that weaves together philosophical questions and scientific technicalities. It will thus appeal equally to all academic scientists, engineers, and researchers in industry interested in questions (...) related to the general practice of computer simulations. (shrink)

This book analyses the impact computerization has had on contemporary science and explains the origins, technical nature and epistemological consequences of the current decisive interplay between technology and science: an intertwining of formalism, computation, data acquisition, data and visualization and how these factors have led to the spread of simulation models since the 1950s. -/- Using historical, comparative and interpretative case studies from a range of disciplines, with a particular emphasis on the case of plant studies, the author shows how (...) and why computers, data treatment devices and programming languages have occasioned a gradual but irresistible and massive shift from mathematical models to computer simulations. -/- . (shrink)

A complete reconstruction of Lehmer’s ENIAC set-up for computing the exponents of p modulo two is given. This program served as an early test program for the ENIAC (1946). The reconstruction illustrates the difficulties of early programmers to find a way between a man operated and a machine operated computation. These difficulties concern both the content level (the algorithm) and the formal level (the logic of sequencing operations).

This book represents the views of one of the greatest mathematicians of the twentieth century on the analogies between computing machines and the living human brain.

The term Monte Carlo method indicates any computer-aided procedure for numerical estimation that combines mathematical calculations with randomly generated numerical input values. Today it is an important tool in high energy physics while physicists and philosophers also often consider it a sort of virtual experiment. The Monte Carlo method was developed in the 1940s, in the context of U.S. American nuclear weapons research, an event often regarded as the origin of both computer simulation and “artificial reality” (Galison 1997). The present (...) paper interrogates this strong claim by focusing on the emergence of Monte Carlo event generators in particle physics in the early 1960s. This historical case study shows how, as Monte Carlo computation became part of the toolbox of particle physicists around 1960, it was neither usually referred to as a “computer simulation” nor was it regarded as a surrogate for experimentation. In revising the history of this method, this paper asks, in what context did particle physicists of the 1960s decide to create FAKE, the first high-energy-physics Monte Carlo event simulator? What was their goal? And what epistemic role did FAKE play? In answering these questions, it is argued that Monte Carlo computations were not introduced into particle physics to simulate experiments, but rather they played the role of theoretical tools. The Monte Carlo method was able to do this thanks to its random component, a property which provided a means of modeling a specific phenomenon, so-called “(particle) resonances”. Indeed, in doing so, event generators even came to mutually assimilate and reshape the notions of particle and resonance, taking up an epistemic function which had previously been confined to physical-mathematical formulae: that of a medium which could express aspects of particle theory. (shrink)

Simulation techniques, especially those implemented on a computer, are frequently employed in natural as well as in social sciences with considerable success. There is mounting evidence that the "model-building era" (J. Niehans) that dominated the theoretical activities of the sciences for a long time is about to be succeeded or at least lastingly supplemented by the "simulation era". But what exactly are models? What is a simulation and what is the difference and the relation between a model and a simulation? (...) These are some of the questions addressed in this article. I maintain that the most significant feature of a simulation is that it allows scientists to imitate one process by another process. "Process" here refers solely to a temporal sequence of states of a system. Given the observation that processes are dealt with by all sorts of scientists, it is apparent that simulations prove to be a powerful interdisciplinarily acknowledged tool. Accordingly, simulations are best suited to investigate the various research strategies in different sciences more carefully. To this end, I focus on the function of simulations in the research process. Finally, a somewhat detailed case-study from nuclear physics is presented which, in my view, illustrates elements of a typical simulation in physics. (shrink)

The term Monte Carlo method indicates any computer-aided procedure for numerical estimation that combines mathematical calculations with randomly generated numerical input values. Today it is an important tool in high energy physics while physicists and philosophers also often consider it a sort of virtual experiment. The Monte Carlo method was developed in the 1940s, in the context of U.S. American nuclear weapons research, an event often regarded as the origin of both computer simulation and “artificial reality” (Galison 1997). The present (...) paper interrogates this strong claim by focusing on the emergence of Monte Carlo event generators in particle physics in the early 1960s. This historical case study shows how, as Monte Carlo computation became part of the toolbox of particle physicists around 1960, it was neither usually referred to as a “computer simulation” nor was it regarded as a surrogate for experimentation. In revising the history of this method, this paper asks, in what context did particle physicists of the 1960s decide to create FAKE, the first high-energy-physics Monte Carlo event simulator? What was their goal? And what epistemic role did FAKE play? In answering these questions, it is argued that Monte Carlo computations were not introduced into particle physics to simulate experiments, but rather they played the role of theoretical tools. The Monte Carlo method was able to do this thanks to its random component, a property which provided a means of modeling a specific phenomenon, so-called “(particle) resonances”. Indeed, in doing so, event generators even came to mutually assimilate and reshape the notions of particle and resonance, taking up an epistemic function which had previously been confined to physical-mathematical formulae: that of a medium which could express aspects of particle theory. (shrink)

A complete reconstruction of Lehmer’s ENIAC set-up for computing the exponents of p modulo two is given. This program served as an early test program for the ENIAC (1946). The reconstruction illustrates the difficulties of early programmers to find a way between a man operated and a machine operated computation. These difficulties concern both the content level (the algorithm) and the formal level (the logic of sequencing operations).