Recent trends towards an e-Science offer us the opportunity to think about the specific epistemological changes created by computational empowerment in scientific practices. In fact, we can say that a computational epistemology exists that requires our attention. By ‘computational epistemology’ I mean the computational processes implied or required to achieve human knowledge. In that category we can include AI, supercomputers, expert systems, distributed computation, imaging technologies, virtual instruments, middleware, robotics, grids or databases. Although several (...) authors talk about the extended mind and computational extensions of the human body, most of these proposals don’t analyze the deep epistemological implications of computer empowerment in scientific practices. At the same time, we must identify the principal concept for e-Science: Information. Why should we think about a new epistemology for e-Science? Because several processes exist around scientific information that require a good epistemological model to be understood. (shrink)

Recent trends towards an e-Science offer us the opportunity to think about the specific epistemological changes created by computational empowerment in scientific practices. In fact, we can say that a computational epistemology exists that requires our attention. By ‘computational epistemology’ I mean the computational processes implied or required to achieve human knowledge. In that category we can include AI, supercomputers, expert systems, distributed computation, imaging technologies, virtual instruments, middleware, robotics, grids or databases. Although several (...) authors talk about the extended mind and computational extensions of the human body, most of these proposals don’t analyze the deep epistemological implications of computer empowerment in scientific practices. At the same time, we must identify the principal concept for e-Science: Information . Why should we think about a new epistemology for e-Science? Because several processes exist around scientific information that require a good epistemological model to be understood. (shrink)

The paper discusses basic philosophical assumptions of the new conception of scientific research which tends to possibly complete automation of research. The theoretical underpinnings of reliable inquiry sets a framework for a comprehensive spectrum of attainable solutions to a research problem formulated in the framework given the theoretical assumptions and available evidence. The framework is general, but the success criteria are adjustable to a domain of inquiry. Research on causal dependencies in macroeconomics seems a successful application of the framework.

The notion of an ideal reasoner has several uses in epistemology. Often, ideal reasoners are used as a parameter of (maximum) rationality for finite reasoners (e.g. humans). However, the notion of an ideal reasoner is normally construed in such a high degree of idealization (e.g. infinite/unbounded memory) that this use is unadvised. In this dissertation, I investigate the conditions under which an ideal reasoner may be used as a parameter of rationality for finite reasoners. In addition, I present and (...) justify the research program of computational epistemology, which investigates the parameter of maximum rationality for finite reasoners using computer simulations. (shrink)

Este artigo discute o uso de simulações de computador em Epistemologia(Epistemologia Computacional). O objetivo o artigo é fundamentar e discu-tir a ideia de uma Epistemologia Computacional, além de apresentar umexemplo de estudo nesse campo. Na Introdução, discuto as objeções maiscomuns aos métodos da Epistemologia Tradicional e à proposta de Quine deuma Epistemologia Naturalizada. Argumento que a Epistemologia Compu-tacional não está sujeita a nenhuma destas objeções. Na Seção 1, apresentouma revisão bibliográfica dos estudos em Epistemologia Computacional(tanto em Epistemologia individualista quanto em (...) Epistemologia Social) ediscuto a estrutura geral destes estudos. Na Seção 2, apresento alguns resul-tados de um estudo em Epistemologia Computacional que realizei em minha tese de doutorado. -/- ENGLISH: This paper is about the use of computer simulations in Epistemology (Com- putational Epistemology). The goal of the paper is to ground and discuss theidea of a Computational Epistemology, and to present an example of studyin this field. In the Introduction, I discuss the most common objections tothe methods of Traditional Epistemology and to Quine’s Naturalized Episte-mology. I argue that Computation Epistemology is not subject to any of the-se objections. In Section 1, I review the literature on Computational Episte-mology (both in individualistic Epistemology and in Social Epistemology)and discuss the general structure of these studies. In Section 2, I presentsome results of my PhD dissertation on Computational Epistemology. (shrink)

The result of the author's extensive practical experience: a decade in computer process control using large scale systems, another decade in machine pattern-recognition for vision systems, and nearly a decade dealing with artificial intelligence and expert systems. These real-life projects have taught Vámos a critical appreciation of, and respect for, both abstract theory and the practical methodology that grows out of—and, in turn, shapes—those theories.Machine representation means a level of formalization that can be expressed by the instruments of mathematics, whereas (...) programming is not more and not less than a special linguistic translation of these mathematical formulae. How these all are related and controlled is a most practical philosophical and computation professional task. Wide experience in the practical fields of computer science, and the research of the underlying theoretical issues have led Vámos to the development of the attitude and activity of constructive skepticism. (shrink)

This paper analyzes epistemological and ontological dimensions of Human-Computer Interaction (HCI) through an analysis of the functions of computer systems in relation to their users. It is argued that the primary relation between humans and computer systems has historically been epistemic: computers are used as information-processing and problem-solving tools that extend human cognition, thereby creating hybrid cognitive systems consisting of a human processor and an artificial processor that process information in tandem. In this role, computer systems extend human cognition. Next, (...) it is argued that in recent years, the epistemic relation between humans and computers has been supplemented by an ontic relation. Current computer systems are able to simulate virtual and social environments that extend the interactive possibilities found in the physical environment. This type of relationship is primarily ontic, and extends to objects and places that have a virtual ontology. Increasingly, computers are not just information devices, but portals to worlds that we inhabit. The aforementioned epistemic and ontic relationships are unique to information technology and distinguish human-computer relationships from other human-technology relationships. (shrink)

What structure of scientific communication and cooperation, between what kinds of investigators, is best positioned to lead us to the truth? Against an outline of standard philosophical characteristics and a recent turn to social epistemology, this paper surveys highlights within two strands of computational philosophy of science that attempt to work toward an answer to this question. Both strands emerge from abstract rational choice theory and the analytic tradition in philosophy of science rather than postmodern sociology of science. (...) The first strand of computational research models the effect of communicative networks within groups, with conclusions regarding the potential benefit of limited communication. The second strand models the potential benefits of cognitive diversity within groups. Examples from each strand of research are used in analyzing what makes modeling of this sort both promising and distinctly philosophical, but are also used to emphasize possibilities for failure and inherent limitations as well. (shrink)

Computer simulations are widely used within the area of building science research. Building science research deals with the physical phenomena that affect buildings, including heat and mass transfer, lighting and acoustic transmission. This wide usage of computer simulations, however, is characterized by a divergence in thought on the composition of an epistemological framework that may provide guidance for their deployment in research. This paper undertakes a fundamental review of the epistemology of computer simulations within the context of the philosophy (...) of science. Thereafter, it reviews the epistemological framework within which computer simulations are used in practice within the area of building science research. A comparison between the insights obtained from the realms of theory and practice is made, which then interrogates the adequacy of the epistemological approaches that have been employed in previously published simulation-based research. These insights may help in informing a normative composition of an adequate epistemological framework within which computer simulation-based building science research may be conducted. (shrink)

There seems to exist an indirect link between computer science and theology via psychology, which is founded on dualism. First, these theories from psychology, computer science and theology are considered that acknowledge the existence of (at least) two different kinds of reality, or, possibly, two different realms of the same reality. In order to express a root of incompatibility of science and theology, a distinction is drawn between ontological and epistemological dualism. It seems that computer science combines ontological monism with (...) epistemological monism, theology combines ontological and epistemological dualism, and psychologytakes a position of epistemological monism and is quite hesitant about the ontological status of the phenomena it analyzes. A direct transition from the computer metaphor to theology is almost impossible: there is no overlap of platforms between these domains. (shrink)

Brain-computer interfaces (BCIs) are an emerging and converging technology that translates the brain activity of its user into command signals for external devices, ranging from motorized wheelchairs, robotic hands, environmental control systems, and computer applications. In this paper I functionally decompose BCI systems and categorize BCI applications with similar functional properties into three categories, those with (1) motor, (2) virtual, and (3) linguistic applications. I then analyse the relationship between these distinct BCI applications and their users from an epistemological and (...) phenomenological perspective. Specifically, I analyse functional properties of BCIs in relation to the abilities (particularly motor behaviour and communication) of their human users, asking how they may or may not extend these abilities. This includes a phenomenological analysis of whether BCIs are experienced as transparent extensions. Contrary to some recent philosophical claims, I conclude that, although BCIs have the potential to become bodily as well as cognitive extensions for skilled users, at this stage they are not. And while the electrodes and signal processor may to a variable degree be transparent and incorporated, the BCI system as a whole is not. Contemporary BCIs are difficult to use. Most systems only work in highly controlled laboratory settings, require a high amount of training and concentration, have very limited control options, have low and variable information transfer rates, and effector motions are often slow, clumsy and sometimes unsuccessful. These drawbacks considerably limit their possibilities for transparency and incorporation into either the body schema or cognitive system which is essential for bodily and cognitive extension. Current BCIs can therefore only be seen as a weak or metaphorical extension of the human central nervous system. To increase their potential for cognitive extension, I give suggestions for improving the interface design of what I refer to as linguistic applications. (shrink)

Over recent decades, computer simulations have become a common tool among practitioners of the social sciences. They have been utilized to study such diverse phenomena as the integration and segregation of different racial groups, the emergence and evolution of friendship networks, the spread of gossip, fluctuations of housing prices in an area, the transmission of social norms, and many more. Philosophers of science and others interested in the methodological status of these studies have identified a number of distinctive virtues of (...) the use of computer simulations. For instance, it has been generally appreciated that as simulations require the formulation of an explicit algorithm, they foster precision and clarity about whatever conceptual issues are involved in the study. The value of computer simulations as a heuristic tool for developing hypotheses, models, and theories has also been recognized, as has been the fact that they can serve as a substitute for real experiments. This is especially useful in the social domain, given that human beings cannot be freely manipulated at the discretion of the experimenter . However, the main virtue of computer simulations is generally believed to be that they are able to deal with the complexities that arise when many elements interact in a highly dynamic system and which often evade an exact formal analysis. (shrink)

Several high-profile mathematical problems have been solved in recent decades by computer-assisted proofs. Some philosophers have argued that such proofs are a posteriori on the grounds that some such proofs are unsurveyable; that our warrant for accepting these proofs involves empirical claims about the reliability of computers; that there might be errors in the computer or program executing the proof; and that appeal to computer introduces into a proof an experimental element. I argue that none of these arguments withstands scrutiny, (...) and so there is no reason to believe that computer-assisted proofs are not a priori. Thanks are due to Michael Levin, David Corfield, and an anonymous referee for Philosophia Mathematica for their helpful comments. Earlier versions of this paper were presented at the Hofstra University Department of Mathematics colloquium series, and at the 2005 New Jersey Regional Philosophical Association; I am grateful to both audiences for their comments. CiteULike Connotea Del.icio.us What's this? (shrink)

This essay presents arguments for the claim that in the best of all possible worlds (Leibniz) there are sources of unpredictability and creativity for us humans, even given a pancomputational stance. A suggested answer to Chaitin’s questions: “Where do new mathematical and biological ideas come from? How do they emerge?” is that they come from the world and emerge from basic physical (computational) laws. For humans as a tiny subset of the universe, a part of the new ideas comes (...) as the result of the re-configuration and reshaping of already existing elements and another part comes from the outside world as a consequence of openness and interactivity of biological and cognitive systems. For the universe at large it is randomness that is the source of unpredictability on the fundamental level. In order to be able to completely predict the Universe-computer we would need the Universe-computer itself to compute its next state. As Chaitin demonstrated there are incompressible truths, which means truths that cannot be computed by any other computer but the universe itself. (shrink)

Current formal mathematics, being divorced from the empirical, is entirely a social construct, so that mathematical theorems are no more secure than the cultural belief in two-valued logic, incorrectly regarded as universal. Computer technology, by enhancing the ability to calculate, has put pressure on this social construct, since proof-oriented formal mathematics is awkward for computation, while computational mathematics is regarded as epistemo-logically insecure. Historically, a similar epistemological fissure between computational/practical Indian mathematics and formal/spiritual Western mathematics persisted for centuries, (...) during a dialogue of civilizations, when texts on "algorismus" and "infinitesimal" calculus were imported into Europe, enhancing the ability to calculate. It is argued here that this epistemological tension should be resolved by accepting mathematics as empirically based and fallible, and by revising accordingly the mathematics syllabus outlined by Plato. (shrink)

Current formal mathematics, being divorced from the empirical, is entirely a social construct, so that mathematical theorems are no more secure than the cultural belief in two-valued logic, incorrectly regarded as universal. Computer technology, by enhancing the ability to calculate, has put pressure on this social construct, since proof-oriented formal mathematics is awkward for computation, while computational mathematics is regarded as epistemo-logically insecure. Historically, a similar epistemological fissure between computational/practical Indian mathematics and formal/spiritual Western mathematics persisted for centuries, (...) during a dialogue of civilizations, when texts on "algorismus" and "infinitesimal" calculus were imported into Europe, enhancing the ability to calculate. It is argued here that this epistemological tension should be resolved by accepting mathematics as empirically based and fallible, and by revising accordingly the mathematics syllabus outlined by Plato. (shrink)

In many scientific fields, today’s practices of empirical enquiry rely heavily on the production of images that display the investigated phenomena. And while scientific images of phenomena have been important for a long time, what is striking now is that scientists have found ways to visualize such widely different types of phenomena. In the past twenty or thirty years, we have become accustomed to seeing images of galaxies, of cells, of the human brain but also of blood flow or of (...) turbulent fluids. This success in making images relies first on the set of imaging devices that have flourished in the twentieth century, instruments such as radio-telescopes, electronic microscopes, MRI and many more. Without these... (shrink)

ArgumentWe continue our analysis of modeling practices that focus more on qualitative understanding of system behavior than the attempt to provide sharp forecasts. The argument here is built around three episodes: the ambitious work of the Princeton Meteorological Project; the seemingly simple models of convection in weather systems by Edward Lorenz at MIT; and then finally analysis of the dripping faucet by Robert Shaw and the Dynamical Systems Collective at UC Santa Cruz. Using the Princeton Meteorological Project as an argumentative (...) foil for the later chaos work of Lorenz and Shaw, we first show how the epistemological interest of modeling came to shift fromissuingpredictions toprobingthe very meaning and limits of prediction. The second step of our argument shows that what may be seen in one context of use as a modeling technology that is error ridden, imprecise, or inadequate, may be parsed completely differently in another context. This argument about technology and practice, we argue, feeds through to epistemological conceptions of error. Far from being something that can be defined in the absolute, the notion of error is shown to be contextually plastic. (shrink)

What is algorithmic thought? It is not possible to address this question without first reflecting on how the Universal Turing Machine transformed symbolic logic and brought to a halt the universality of mathematical formalism and the biocentric speciation of thought. The article draws on Sylvia Wynter’s discussion of the sociogenic principle to argue that both neurocognitive and formal models of automated cognition constitute the epistemological explanations of the origin of the human and of human sapience. Wynter’s argument will be related (...) to Gilbert Simondon’s reflections on ‘technical mentality’ to consider how socio-techno-genic assemblages can challenge the biocentricism and the formalism of modern epistemology. This article turns to ludic logic as one possible example of techno-semiotic languages as a speculative overturning of sociogenic programming. Algorithmic rules become technique-signs coinciding not with classic formalism but with interactive localities without re-originating the universality of colonial and patriarchal cosmogony. (shrink)

This book features papers from CEPE-IACAP 2015, a joint international conference focused on the philosophy of computing. Inside, readers will discover essays that explore current issues in epistemology, philosophy of mind, logic, and philosophy of science from the lens of computation. Coverage also examines applied issues related to ethical, social, and political interest. -/- The contributors first explore how computation has changed philosophical inquiry. Computers are now capable of joining humans in exploring foundational issues. Thus, we can ponder machine-generated (...) explanation, thought, agency, and other quite fascinating concepts. The papers are also concerned with normative aspects of the computer and information technology revolution. They examine technology-specific analyses of key challenges, from Big Data to autonomous robots to expert systems for infrastructure control and financial services. -/- The virtue of a collection that ranges over philosophical questions, such as this one does, lies in the prospects for a more integrated understanding of issues. These are early days in the partnership between philosophy and information technology. Philosophers and researchers are still sorting out many foundational issues. They will need to deploy all of the tools of philosophy to establish this foundation. This volume admirably showcases those tools in the hands of some excellent scholars. -/- . (shrink)

Interest in the computational aspects of modeling has been steadily growing in philosophy of science. This paper aims to advance the discussion by articulating the way in which modeling and computational errors are related and by explaining the significance of error management strategies for the rational reconstruction of scientific practice. To this end, we first characterize the role and nature of modeling error in relation to a recipe for model construction known as Euler’s recipe. We then describe a (...) general model that allows us to assess the quality of numerical solutions in terms of measures of computational errors that are completely interpretable in terms of modeling error. Finally, we emphasize that this type of error analysis involves forms of perturbation analysis that go beyond the basic model-theoretical and statistical/probabilistic tools typically used to characterize the scientific method; this demands that we revise and complement our reconstructive toolbox in a way that can affect our normative image of science. (shrink)

The justification of induction is of central significance for cross-cultural social epistemology. Different ‘epistemological cultures’ do not only differ in their beliefs, but also in their belief-forming methods and evaluation standards. For an objective comparison of different methods and standards, one needs (meta-)induction over past successes. A notorious obstacle to the problem of justifying induction lies in the fact that the success of object-inductive prediction methods (i.e., methods applied at the level of events) can neither be shown to be (...) universally reliable (Hume's insight) nor to be universally optimal. My proposal towards a solution of the problem of induction is meta-induction. The meta-inductivist applies the principle of induction to all competing prediction methods that are accessible to her. By means of mathematical analysis and computer simulations of prediction games I show that there exist meta-inductive prediction strategies whose success is universally optimal among all accessible prediction strategies, modulo a small short-run loss. The proposed justification of meta-induction is mathematically analytical. It implies, however, an a posteriori justification of object-induction based on the experiences in our world. In the final section I draw conclusions about the significance of meta-induction for the social spread of knowledge and the cultural evolution of cognition, and I relate my results to other simulation results which utilize meta-inductive learning mechanisms. (shrink)

Computers have transformed science and help to extend the boundaries of human knowledge. However, does the validation and diffusion of results of computational inquiries and computer simulations call for a novel epistemological analysis? I discuss how the notion of novelty should be cashed out to investigate this issue meaningfully and argue that a consequentialist framework similar to the one used by Goldman to develop social epistemologySocial epistemology can be helpful at this point. I highlight computational, mathematical, representational, (...) and social stages on which the validity of simulation-based belief-generating processes hinges, and emphasize that their epistemic impact depends on the scientific practices that scientists adopt at these different stages. I further argue that epistemologists cannot ignore these partially novel issues and conclude that the epistemology of computational inquiries needs to go beyond that of models and scientific representations and has cognitive, social, and in the present case computational, dimensions. (shrink)

This dissertation is a contribution to formal and computational philosophy. -/- In the first part, we show that by exploiting the parallels between large, yet finite lotteries on the one hand and countably infinite lotteries on the other, we gain insights in the foundations of probability theory as well as in epistemology. Case 1: Infinite lotteries. We discuss how the concept of a fair finite lottery can best be extended to denumerably infinite lotteries. The solution boils down to (...) the introduction of infinitesimal probability values, which can be achieved using non-standard analysis. Our solution can be generalized to uncountable sample spaces, giving rise to a Non-Archimedean Probability (NAP) theory. Case 2: Large but finite lotteries. We propose application of the language of relative analysis (a type of non-standard analysis) to formulate a new model for rational belief, called Stratified Belief. This contextualist model seems well-suited to deal with a concept of beliefs based on probabilities ‘sufficiently close to unity’. -/- The second part presents a case study in social epistemology. We model a group of agents who update their opinions by averaging the opinions of other agents. Our main goal is to calculate the probability for an agent to end up in an inconsistent belief state due to updating. To that end, an analytical expression is given and evaluated numerically, both exactly and using statistical sampling. The probability of ending up in an inconsistent belief state turns out to be always smaller than 2%. (shrink)

Allan Franklin has identified a number of strategies that scientists use to build confidence in experimental results. This paper shows that Franklin's strategies have direct analogues in the context of computer simulation and then suggests that one of his strategies—the so-called 'Sherlock Holmes' strategy—deserves a privileged place within the epistemologies of experiment and simulation. In particular, it is argued that while the successful application of even several of Franklin's other strategies (or their analogues in simulation) may not be sufficient for (...) justified belief in results, the successful application of a slightly elaborated version of the Sherlock Holmes strategy is sufficient. (shrink)

"Der Aufsatz plädiert dafür, die Geschichte der wissenschaftlichen Computersimulation auf eine spezifisch medienhistorische Weise zu untersuchen. Nach einigen Vorschlägen zur Charakterisierung der Besonderheiten von Computersimulationen werden zwei Beispiele interpretiert (Management-Simulationen der 1960er und verkehrstechnische bzw. epidemiologische Simulationen der 1990er). Daraus leiten sich Fragen nach dem veränderten Status wissenschaftlichen Wissens, nach der Genese wissenschaftstheoretischer Konzepte und nach wissenschaftskritischen Optionen ab. The paper suggests to analyze the history of scientific computer simulations with respect to the history of media. After presenting some ideas (...) concerning the peculiarities of computer simulation, two examples (management simulations of the 1960s; traffic-related and epistemological simulations of the 1990s) are interpreted. From them, further questions concerning the status of scientific knowledge, the genesis of epistemological concepts and their critique are derived. ". (shrink)

This book constitutes the revised versions of the invited and selected papers from the Second Epistemological Perspectives on Simulation Workshop, EPOS 2006, which was held in Brescia, Italy, during October 5-6, 2006. The 11 papers presented together with 2 invited papers were carefully reviewed and selected from 35 submissions. The topics addressed were epistemological and methodological contents, such as the relevance of empirical foundations for agent-based simulations, the role of theory, the concepts and meaning of emergence, the trade-off between simplification (...) and complexification of models. (shrink)

The complexity of cognitive emulation of human diagnostic reasoning is the major challenge in the implementation of computer-based programs for diagnostic advice in medicine. We here present an epistemological model of diagnosis with the ultimate goal of defining a high-level language for cognitive and computational primitives. The diagnostic task proceeds through three different phases: hypotheses generation, hypotheses testing and hypotheses closure. Hypotheses generation has the inferential form of abduction (from findings to hypotheses) constrained under the criterion of plausibility. Hypotheses (...) testing is achieved by a deductive inference (from generated hypotheses to expected findings), followed by an eliminative induction, constrained under the criterion of covering, which matches expected findings against patient''s findings to select the best explanation. Hypotheses closure is a deductive-inductive type of inference very similar to the inferences operating in hypotheses testing. In this case induction matches the consequences of the generated hypotheses against the patient''s characteristics or preferences under the criterion of utility. By using the language exploited in this epistemological model, it is possible to describe the cognitive tasks underlying the most influential knowledge-based diagnostic systems. (shrink)

The paper suggests to analyze the history of scientific computer simulations with respect to the history of media. After presenting some ideas concerning the peculiarities of computer simulation, two examples (management simulations of the 1960s; traffic-related and epistemological simulations of the 1990s) are interpreted. From them, further questions concerning the status of scientific knowledge, the genesis of epistemological concepts and their critique are derived.

. Computational chemistry grew in a new era of “desktop modeling,” which coincided with a growing demand for modeling software, especially from the pharmaceutical industry. Parameterization of models in computational chemistry is an arduous enterprise, and we argue that this activity leads, in this specific context, to tensions among scientists regarding the epistemic opacity transparency of parameterized methods and the software implementing them. We relate one flame war from the Computational Chemistry mailing List in order to assess (...) in detail the relationships between modeling methods, parameterization, software and the various forms of their enclosure or disclosure. Our claim is that parameterization issues are an important and often neglected source of epistemic opacity and that this opacity is entangled in methods and software alike. Models and software must be addressed together to understand the epistemological tensions at stake. (shrink)

I know that those of you who know my mind know that I think I know that we can't know Gödel's mind through computation: ``The Impact : Failing to Know " If computationalism is false, observant philosophers willing to get their hands dirty should be able to find tell-tale signs today: automated theorem proving tomorrow (Eastern APA): robots as zombanimals But let's start with little 'ol me, and literary, not mathematical, creativity: Selmer (samples) vs. Brutus1 (samples again).

Various errors can affect scientific code and detecting them is a central concern within computational science. Could formal verification methods, which are now available tools, be widely adopted to guarantee the general reliability of scientific code? After discussing their benefits and drawbacks, we claim that, absent significant changes as regards features like their user-friendliness and versatility, these methods are unlikely to be adopted throughout computational science, beyond certain specific contexts for which they are well-suited. This issue exemplifies the (...) epistemological heterogeneity of computational science: profoundly different practices can be appropriate to meet the reliability challenge that rises for scientific code. (shrink)

Mathematical models are a well established tool in most natural sciences. Although models have been neglected by the philosophy of science for a long time, their epistemological status as a link between theory and reality is now fairly well understood. However, regarding the epistemological status of mathematical models in the social sciences, there still exists a considerable unclarity. In my paper I argue that this results from specific challenges that mathematical models and especially computer simulations face in the social sciences. (...) The most important difference between the social sciences and the natural sciences with respect to modeling is that in the social sciences powerful and well confirmed background theories (like Newtonian mechanics, quantum mechanics or the theory of relativity in physics) do not exist in the social sciences. Therefore, an epistemology of models that is formed on the role model of physics may not be appropriate for the social sciences. I discuss the challenges that modeling faces in the social sciences and point out their epistemological consequences. The most important consequences are that greater emphasis must be placed on empirical validation than on theoretical validation and that the relevance of purely theoretical simulations is strongly limited. (shrink)

Various errors can affect scientific code and detecting them is a central concern within computational science. Could formal verification methods, which are now available tools, be widely adopted to guarantee the general reliability of scientific code? After discussing their benefits and drawbacks, we claim that, absent significant changes as regards features like their user-friendliness and versatility, these methods are unlikely to be adopted throughout computational science, beyond certain specific contexts for which they are well-suited. This issue exemplifies the (...) epistemological heterogeneity of computational science: profoundly different practices can be appropriate to meet the reliability challenge that rises for scientific code. (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)

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)

The philosophy of computer science is concerned with issues that arise from reflection upon the nature and practice of the discipline of computer science. This book presents an approach to the subject that is centered upon the notion of computational artefact. It provides an analysis of the things of computer science as technical artefacts. Seeing them in this way enables the application of the analytical tools and concepts from the philosophy of technology to the technical artefacts of computer science. (...) With this conceptual framework the author examines some of the central philosophical concerns of computer science including the foundations of semantics, the logical role of specification, the nature of correctness, computational ontology and abstraction, formal methods, computational epistemology and explanation, the methodology of computer science, and the nature of computation. The book will be of value to philosophers and computer scientists. (shrink)

This essay presents arguments for the claim that in the best of all possible worlds (Leibniz) there are sources of unpredictability and creativity for us humans, even given a pancomputational stance. A suggested answer to Chaitin’s questions: “Where do new mathematical and biological ideas come from? How do they emerge?” is that they come from the world and emerge from basic physical (computational) laws. For humans as a tiny subset of the universe, a part of the new ideas comes (...) as the result of the re-configuration and reshaping of already existing elements and another part comes from the outside as a consequence of openness and interactivity of the system. For the universe at large it is randomness that is the source of unpredictability on the fundamental level. In order to be able to completely predict the Universe-computer we would need the Universe-computer itself to compute its next state; as Chaitin already demonstrated there are incompressible truths which means truths that cannot be computed by any other computer but the universe itself. (shrink)

Software-intensive science challenges in many ways our current scientific methods. This affects significantly our notion of science and scientific interpretation of the world, driving at the same time the philosophical debate. We consider some issues prompted by SIS in the light of the philosophical categories of ontology and epistemology.

Morrison points out many similarities between the roles of simulation models and other sorts of models in science. On the basis of these similarities she claims that running a simulation is epistemologically on a par with doing a traditional experiment and that the output of a simulation therefore counts as a measurement. I agree with her premises but reject the inference. The epistemological payoff of a traditional experiment is greater (or less) confidence in the fit between a model and a (...) target system. The source of this payoff is the existence of a causal interaction with the target system. A computer experiment, which does not go beyond the simulation system itself, lacks any such interaction. So computer experiments cannot confer any additional confidence in the fit (or lack thereof) between the simulation model and the target system. (shrink)

What is the mind? How does it work? How does it influence behavior? Some psychologists hope to answer such questions in terms of concepts drawn from computer science and artificial intelligence. They test their theories by modeling mental processes in computers. This book shows how computer models are used to study many psychological phenomena--including vision, language, reasoning, and learning. It also shows that computer modeling involves differing theoretical approaches. Computational psychologists disagree about some basic questions. For instance, should the (...) mind be modeled by digital computers, or by parallel-processing systems more like brains? Do computer programs consist of meaningless patterns, or do they embody (and explain) genuine meaning? (shrink)

IN SEPTEMBER 1957, Herbert Simon, a pioneer in cognitive simulation, predicted that within ten years, i.e., by now, a computer would be world chess champion and would prove an important mathematical theorem. This prediction was based on Simon's early initial success in writing a program that could play legal chess and one able to prove simple theorems in logic and geometry. But the early successes turned out to be based on the solution of problems that were simple for machines, and (...) further progress turned out to be more and more difficult, until recently it has begun to be obvious to interested observers, and even to some workers in the field, that the original optimism of Simon and company was unfounded. (shrink)