Recently, some philosophers of science (e.g., Gürol Irzik, Michael Friedman) have challenged the ‘received view’ on the relationship between Rudolf Carnap and Thomas Kuhn, suggesting that there is a close affinity (rather than opposition) between their philosophical views. In support of this argument, these authors cite Carnap and Kuhn’s similar views on incommensurability, theory-choice, and scientific revolutions. Against this revisionist view, I argue that the philosophical relationship between Carnap and Kuhn should be regarded as opposed rather than complementary. In particular, (...) I argue that a consideration of the fundamentally disparate nature of the broader philosophical projects of Carnap (logic of science) and Kuhn (providing a theory of scientific revolutions)renders the alleged similarities between their views superficial in comparison to their fundamental differences. In defense of the received view, I suggest that Carnap and Kuhn are model representatives of two contrasting styles of doing philosophy of science, viz., logical analysis and historical analysis respectively. This analysis clarifies the role played by Kuhn’s Structure of Scientific Revolutions in the demise of logical empiricism in the second half of the twentieth-century. (shrink)

To demarcate the limits of experimental knowledge, we probe the limits of what might be called an experiment. By appeal to examples of scientific practice from astrophysics and analogue gravity, we demonstrate that the reliability of knowledge regarding certain phenomena gained from an experiment is not circumscribed by the manipulability or accessibility of the target phenomena. Rather, the limits of experimental knowledge are set by the extent to which strategies for what we call ‘inductive triangulation’ are available: that is, the (...) validation of the mode of inductive reasoning involved in the source-target inference via appeal to one or more distinct and independent modes of inductive reasoning. When such strategies are able to partially mitigate reasonable doubt, we can take a theory regarding the phenomena to be well supported by experiment. When such strategies are able to fully mitigate reasonable doubt, we can take a theory regarding the phenomena to be established by experiment. There are good reasons to expect the next generation of analogue experiments to provide genuine knowledge of unmanipulable and inaccessible phenomena such that the relevant theories can be understood as well supported. This article is part of a discussion meeting issue ‘The next generation of analogue gravity experiments’. (shrink)

Experimental activity is traditionally identified with testing the empirical implications or numerical simulations of models against data. In critical reaction to the ‘tribunal view’ on experiments, this essay will show the constructive contribution of experimental activity to the processes of modeling and simulating. Based on the analysis of a case in fluid mechanics, it will focus specifically on two aspects. The first is the controversial specification of the conditions in which the data are to be obtained. The second is conceptual (...) clarification, with a redefinition of concepts central to the understanding of the phenomenon and the conditions of its occurrence. (shrink)

Resolving conflicts between different measurements ofa property of a physical system may be a key step in a discoveryprocess. With the emergence of large-scale databases and knowledgebases with property measurements, computer support for the task ofconflict resolution has become highly desirable. We will describe amethod for model-based conflict resolution and the accompanyingcomputer tool KIMA, which have been applied in a case-study inmaterials science. In order to be a useful aid to scientists, the toolneeds to be integrated with other tools in (...) a computer-supporteddiscovery environment. We will give an outline of such acomputer-supported discovery environment and argue that its use mightlead to new ways of doing science, so-called computer regimes. (shrink)

We present a Bayesian analysis of the epistemology of analogue experiments with particular reference to Hawking radiation. Provided such experiments can be externally validated via universality arguments, we prove that they are confirmatory in Bayesian terms. We then provide a formal model for the scaling behaviour of the confirmation measure for multiple distinct realisations of the analogue system and isolate a generic saturation feature. Finally, we demonstrate that different potential analogue realisations could provide different levels of confirmation. Our results thus (...) provide a basis both to formalise the epistemic value of analogue experiments that have been conducted and to advise scientists as to the respective epistemic value of future analogue experiments. (shrink)

Experimental archaeology is often understood both as testing hypotheses about processes shaping the archaeological record and as generating tacit knowledge. Considering lithic technologies, I examine the relationship between these conceptions. Experimental archaeology is usefully understood via “maker’s knowledge”: archaeological experiments generate embodied know-how enabling archaeological hypotheses to be grasped and challenged, and further, well-positioning archaeologists to generate integrated interpretations. Finally, experimental archaeology involves “material speculation”: the constraints and affordances of archaeologists and their materials shape productive exploration of the capacities of (...) objects and human skill in ways relevant to archaeological questions. (shrink)

Despite wide recognition that speculation is critical for successful science, philosophers have attended little to it. When they have, speculation has been characterized in narrowly epistemic terms: a hypothesis is speculative due to its (lack of) evidential support. These ‘evidence-first’ accounts provide little guidance for what makes speculation productive or egregious, nor how to foster the former while avoiding the latter. I examine how scientists discuss speculation and identify various functions speculations play. On this basis, I develop a ‘function-first’ account (...) of speculation. This analysis grounds a richer discussion of when speculation is egregious and when it is productive, based in both fine-grained analysis of the speculation’s purpose, and what I call the ‘epistemic situation’ scientists face. (shrink)

Despite its potential implications for the objectivity of scientific knowledge, the claim that “scientific instruments are perspectival” has received little critical attention. I show that this claim is best understood as highlighting the dependence of instruments on different perspectives. When closely analyzed, instead of constituting a novel epistemic challenge, this dependence can be exploited to mount novel strategies for resolving two old epistemic problems: conceptual relativism and theory-ladeness. The novel content of this article consists in articulating and developing these strategies (...) by introducing two fine-grained notions of perspectives as the key units of analysis: “broad perspectives” and “narrow perspectives.”. (shrink)

Multiple determination is the epistemic strategy of establishing the same result by means of multiple, independent procedures. It is an important strategy praised by both philosophers of science and practicing scientists. Despite the heavy appeal to multiple determination, little analysis has been provided regarding the specific grounds upon which its epistemic virtues rest. This article distinguishes between the various dimensions of multiple determination and shows how they can be used to evaluate the epistemic force of the strategy in particular cases. (...) Distinguishing between the various dimensions helps to resolve the disagreements regarding the relevance and epistemic import of multiple determination for scientific research. It also suggests a fruitful mode of interaction between the philosophy of science and (historical) accounts of scientific practice. (shrink)

We appeal to the theory of Bayesian Networks to model different strategies for obtaining confirmation for a hypothesis from experimental test results provided by less than fully reliable instruments. In particular, we consider (i) repeated measurements of a single test consequence of the hypothesis, (ii) measurements of multiple test consequences of the hypothesis, (iii) theoretical support for the reliability of the instrument, and (iv) calibration procedures. We evaluate these strategies on their relative merits under idealized conditions and show some surprising (...) repercussions on the variety-of-evidence thesis and the Duhem-Quine thesis. (shrink)

This article outlines a philosophy of science in practice that focuses on the engineering sciences. A methodological issue is that these practices seem to be divided by two different styles of scientific reasoning, namely, causal-mechanistic and mathematical reasoning. These styles are philosophically characterized by what Kuhn called ?disciplinary matrices?. Due to distinct metaphysical background pictures and/or distinct ideas of what counts as intelligible, they entail distinct ideas of the character of phenomena and what counts as a scientific explanation. It is (...) argued that the two styles cannot be reduced to each other. At the same time, although they are incompatible, they must not be regarded as competing. Instead, they produce different kinds of epistemic results, which serve different kinds of epistemic functions. Moreover, some scientific breakthroughs essentially result from relating them. This view of complementary styles of scientific reasoning is supported by pluralism about metaphysical background pictures. (shrink)

A lot of attention has been devoted to the study of discoveries in high energy physics, but less on measurements aiming at improving an existing theory like the standard model of particle physics, getting more precise values for the parameters of the theory or establishing relationships between them. This paper provides a detailed and critical study of how measurements are performed in recent HEP experiments, taking examples from differential cross section measurements with the ATLAS detector at the LHC. This study (...) will be used to provide an elucidation of the concept of event used in HEP, in order to determine what constitutes an observation and what does not. It will highlight the essential place taken by theory-ladenness in order to produce observational facts, and will show how uncertainty and sensitivity estimates constitute an operational approach to robustness, inside the practice of science, avoiding potential circularity problem traditionally implied by theory-ladenness. This is in contrast to robustness analyses typically considered in the literature. A careful analysis of systematic uncertainty estimates and of statistical tests used to set empirical conclusions from the observations will however demonstrate that quantitative statements obtained from these statistical tests cannot be more than simple guiding arguments for the production of knowledge, but do not determine it. This indicates that the frontier between theory and observation is blurry and that the dichotomy theory-experiment should be revised. (shrink)

Multidisciplinary models aggregating ‘lower-level’ biological and ‘higher-level’ psychological and social determinants of a phenomenon raise a puzzle. How is the interaction between the physical, the psychological and the social conceptualized and explained? Using biopsychosocial models of pain as an illustration, I argue that these models are in fact level-neutral compilations of empirical findings about correlated and causally relevant factors, and as such they neither assume, nor entail a conceptual or ontological stratification into levels of description, explanation or reality. If inter-level (...) causation is deemed problematic or if debates about the superiority of a particular level of description or explanation arise, these issues are fueled by considerations other than empirical findings. (shrink)

Multidisciplinary models aggregating ‘lower-level’ biological and ‘higher-level’ psychological and social determinants of a phenomenon raise a puzzle. How is the interaction between the physical, the psychological and the social conceptualized and explained? Using biopsychosocial models of pain as an illustration, I argue that these models are in fact level-neutral compilations of empirical findings about correlated and causally relevant factors, and as such they neither assume, nor entail a conceptual or ontological stratification into levels of description, explanation or reality. If inter-level (...) causation is deemed problematic or if debates about the superiority of a particular level of description or explanation arise, these issues are fueled by considerations other than empirical findings. (shrink)

In this article, I explore the value of philosophy of science for history of science. I start by introducing a distinction between two ways of integrating history and philosophy of science: historical philosophy of science and philosophical history of science. I then offer a critical discussion of Imre Lakatos’s project to bring philosophy of science to bear on historical interpretation. I point out certain flaws in Lakatos’s project, which I consider indicative of what went wrong with PHS in the past. (...) Finally, I put forward my own attempt to bring out the historiographical potential of philosophy of science. Starting from Norwood Russell Hanson’s insight that historical studies of science involve metascientific concepts, I argue that philosophical reflection on those concepts can be historiographically fruitful. I focus on four issues and discuss their significance and utility for historiographical practice. (shrink)

In this chapter I investigate the prospects of integrated history and philosophy of science, by examining how philosophical issues raised by “hidden entities”, entities that are not accessible to unmediated observation, can enrich the historical investigation of their careers. Conversely, I suggest that the history of those entities has important lessons to teach to the philosophy of science. Hidden entities have played a crucial role in the development of the natural sciences. Despite their centrality to past scientific practice, however, several (...) of them (e.g., phlogiston, caloric, and the ether) turned out to be fictitious. For this reason, they have figured prominently in recent debates on scientific realism. The issues I explore in this paper are entangled with those debates. I argue that our understanding of hidden entities and their role in experimental practice can be enhanced by adopting an integrated historical-cum-philosophical approach. On the one hand, philosophical reflection on the reality of those entities has a lot to gain by examining historically how they were ntroduced and investigated. On the other hand, the historical reconstruction of the careers of those entities may profit from philosophical reflection on their existence. (shrink)

This paper takes part in the methodological debate concerning the nature and the justification of hypotheses about computational systems in software engineering by providing an epistemological analysis of Software Testing, the practice of observing the programs’ executions to examine whether they fulfil software requirements. Property specifications articulating such requirements are shown to involve falsifiable hypotheses about software systems that are evaluated by means of tests which are likely to falsify those hypotheses. Software Reliability metrics, used to measure the growth of (...) probability that given failures will occur at specified times as new executions are observed, is shown to involve a Bayesian confirmation of falsifiable hypotheses on programs. Coverage criteria, used to select those input values with which the system under test is to be launched, are understood as theory-laden principles guiding software tests, here compared to scientific experiments. Redundant computations, fault seeding models and formal methods used in software engineering to evaluate test results are taken to be instantiations of some epistemological strategies used in scientific experiments to distinguish between valid and non-valid experimental outcomes. The final part of the paper explores the problem, advanced in the context of the philosophy of technology, of defining the epistemological status of software engineering by conceiving it as a scientifically attested technology. (shrink)

The Epistemology Of Computer Simulation has developed as an epistemological and methodological analysis of simulative sciences using quantitative computational models to represent and predict empirical phenomena of interest. In this paper, Executable Cell Biology and Agent-Based Modelling are examined to show how one may take advantage of qualitative computational models to evaluate reachability properties of reactive systems. In contrast to the thesis, advanced by EOCS, that computational models are not adequate representations of the simulated empirical systems, it is shown how (...) the representational adequacy of qualitative models is essential to evaluate reachability properties. Justification theory, if not playing an essential role in EOCS, is exhibited to be involved in the process of advancing and corroborating model-based hypotheses about empirical systems in ECB and ABM. Finally, the practice of evaluating model-based hypothesis by testing the simulated systems is shown to constitute an argument in favour of the thesis that computer simulations in ECB and ABM can be put on a par with scientific experiments. (shrink)

This commentary on John Symons’ and Jack Horner’s paper, besides sharing its main argument, challenges the authors’ statement that there is no effective method to evaluate software-intensive systems as a distinguishing feature of software intensive science. It is underlined here how analogous methodological limitations characterise the evaluations of empirical systems in non-software intensive sciences. The authors’ claim that formal methods establish the correctness of computational models rather than of the represented programme is here compared with the empirical adequacy problem typifying (...) the model-based reasoning approach in physics, and the remark that testing all the paths of a software-intensive system is unfeasible is related to the enumerative induction problem in the justification of empirical law-like hypotheses in non-software intensive sciences. (shrink)

: Errors in science range along a spectrum from those relatively local to the phenomenon (usually easily remedied in the laboratory) to those more conceptually derived (involving theory or cultural factors, sometimes quite long-term). One may classify error types broadly as material, observational, conceptual or discoursive. This framework bridges philosophical and sociological perspectives, offering a basis for interfield discourse. A repertoire of error types also supports error analytics, a program for deepening reliability through strategies for regulating and probing error.

It has been argued that the fundamental laws of physics are deceitful in that they give the impression of greater unity and coherence in our theories than is actually found to be the case. Causal stories and phenomenological relationships are claimed to provide a more acceptable account of the world, and only theoretical entities — not laws — are considered as perhaps corresponding to real features of the world.This paper examines these claims in the light of the author's own field (...) of research: high energy physics. Some of the distinctions upon which the above conclusions are based are found not to be tenable in practice. Examples from experimental particle physics are presented which suggest an important role of the underlying theoretical structure which cannot be overlooked. It is argued that the fundamental theories must, in fact, be treated as being as worthy or unworthy of ontological commitment as the entities they postulate or the phenomenological relationships they inspire. Whilst it is conceded that aspects of the current theoretical formalism belie literal interpretation, it is maintained that revision in these particular areas need not affect the symmetry principles, particle spectra, or coupling strengths that largely determine the empirical content of the theory. (shrink)

The use of multiple means of determination to “triangulate” on the existence and character of a common phenomenon, object, or result has had a long tradition in science but has seldom been a matter of primary focus. As with many traditions, it is traceable to Aristotle, who valued having multiple explanations of a phenomenon, and it may also be involved in his distinction between special objects of sense and common sensibles. It is implicit though not emphasized in the distinction between (...) primary and secondary qualities from Galileo onward. It is arguably one of several conceptions involved in Whewell’s method of the “consilience of inductions” (Laudan 1971) and is to be found in several places in Peirce. (From M. Brewer and B. Collins, eds., (1981); Scientific Inquiry in the Social Sciences (a festschrift for Donald T. Campbell), San Francisco: Jossey-Bass, pp. 123–162.). (shrink)

Neuroscience is a laboratory-based science that spans multiple levels of analysis from molecular genetics to behavior. At every level of analysis experiments are designed in order to answer empirical questions about phenomena of interest. Understanding the nature and structure of experimentation in neuroscience is fundamental for assessing the quality of the evidence produced by such experiments and the kinds of claims that are warranted by the data. This article provides a general conceptual framework for thinking about evidence and experimentation in (...) neuroscience with a particular focus on two research areas: cognitive neuroscience and cognitive neurobiology. (shrink)

The philosophy of measurement studies the conceptual, ontological, epistemic, and technological conditions that make measurement possible and reliable. A new wave of philosophical scholarship has emerged in the last decade that emphasizes the material and historical dimensions of measurement and the relationships between measurement and theoretical modeling. This essay surveys these developments and contrasts them with earlier work on the semantics of quantity terms and the representational character of measurement. The conclusions highlight four characteristics of the emerging research program in (...) philosophy of measurement: it is epistemological, coherentist, practice oriented, and model based. (shrink)

This article seeks rapprochement between the sociology of knowledge and philosophy of science by attempting to capture the best social constructionist insights within a strongly realistic philosophy of science. Key to doing so are separating the grounds for the individual scientist coming to know that P from those grounds for socially credentialing the claim that P within the relevant scientific subcommunity and showing how truth considerations can enter into the analysis of knowledge without interfering with social constructionist treatments of credentialing (...) claims. A detailed epistemology and associated account of the social credentialing of knowledge claims are presented. Close attention is paid to the epistemological and social aspects of the nature and role of observation reports, the interpretation of data, simplifications, idealizations, and approximations, and the nature of replication. The article contains a National Aeronautics and Space Administration remote-sensing case study and a detailed analysis of replication in the 1881–1933 Michelson-Morley-Miller interferometer ether studies. (shrink)

John D. Norton defends an empiricist epistemology of thought experiments, the central thesis of which is that thought experiments are nothing more than arguments. Philosophers have attempted to provide counterexamples to this claim, but they haven’t convinced Norton. I will point out a more fundamental reason for reformulation that criticizes Norton’s claim that a thought experiment is a good one when its underlying logical form possesses certain desirable properties. I argue that by Norton’s empiricist standards, no thought experiment is ever (...) justified in any deep sense due to the properties of its logical form. Instead, empiricists should consider again the merits of evaluating thought experiments more like laboratory experiments, and less like arguments. (shrink)

In the article two viewpoints on the mind’s influence on perception are considered. One of them was developed on the assumption that perception is a nonproblematic source of knowledge about the world, which is free from mind’s influence— perception as a mirror-image. Another viewpoint is perception as action, i.e. active search and gathering the relevant information, its processing and evaluation. First viewpoint has dominated in philosophy for a long time, the second one has been developing in psychology from the 80th (...) of the 20th century. The aim of the paper is to examine some philosophically significant corollaries from both positions concerning objectiveness, epistemological status of an observation, truth, meaning of name. Analysis showed that perception as action is non-compatible with many traditional concepts, and it goes both against empiricism and against realism as it involves some critical arguments, e.g. theory ladenness of observations, underdetermination of theory by facts, the historical development of a scientific fact. (shrink)

I describe two traditions of philosophical accounts of evidence: one characterizes the notion in terms of signs of success, the other characterizes the notion in terms of conditions of success. The best examples of the former rely on the probability calculus, and have the virtues of generality and theoretical simplicity. The best examples of the latter describe the features of evidence which scientists appeal to in practice, which include general features of methods, such as quality and relevance, and general features (...) of evidence, such as patterns in data, concordance with other evidence, and believability of the evidence. Two infamous episodes from biomedical research help to illustrate these features. Philosophical characterization of these latter features—conditions of success—has the virtue of potential relevance to, and descriptive accuracy of, practices of experimental scientists. (shrink)

Some accounts of evidence regard it as an objective relationship holding between data and hypotheses, perhaps mediated by a testing procedure. Mayo’s error-statistical theory of evidence is an example of such an approach. Such a view leaves open the question of when an epistemic agent is justified in drawing an inference from such data to a hypothesis. Using Mayo’s account as an illustration, I propose a framework for addressing the justification question via a relativized notion, which I designate security , (...) meant to conceptualize practices aimed at the justification of inferences from evidence. I then show how the notion of security can be put to use by showing how two quite different theoretical approaches to model criticism in statistics can both be viewed as strategies for securing claims about statistical evidence. (shrink)

The aim of this paper is to discuss a key question in the history and philosophy of medicine, namely how scholars should treat the practices and experimental hypotheses of modern life science laboratories. The paper seeks to introduce some prominent historiographical methods and theoretical approaches associated with biomedical research. Although medical scientists need no convincing that experimentation has a significant function in their laboratory work, historians, philosophers, and sociologists long neglected its importance when examining changes in medical theories or progress (...) in scientific knowledge. The reason appears to have been the academic influence of the then dominant tradition in the history of ideas, but was also due to a misconception of what could usefully be termed the view on “historical ontology.” During the last two decades, there have been many books and research articles that have turned towards the subject, so that the study of experimental practice has become a major trend in the contemporary history and philosophy of medicine. A closer look at the issue of laboratory research shows that concepts in medicine and the life sciences cannot be understood as historically constant, free-standing ideas, but have to be regarded as dependent on local research settings. They often carry particular “social memories” with them and thus acquire important ethical implications. (shrink)

This paper deals with calibration in scientific practices which investigate relatively well-understood natural phenomena by means of already standardized instrumental devices. Calibration is a crucial topic, since it conditions the reliability of instrumental procedures in science. Yet although important, calibration is a relatively neglected topic. We think more attention should be devoted to calibration. The paper attempts to take a step in this direction. The aims are two-fold: (1) to characterize calibration in a relatively simple kind of scientific practices; (2) (...) to provide conceptual and taxonomic tools of broader scope that help to get a better understanding of calibration in more complex cases and other kinds of scientific practices. For this purpose, we first provide indications for why a conceptual framework is needed. Second, a bibliographic survey of works dealing with calibration is attempted. Third, we introduce different tools to enable a better understanding of calibration. Fourth, we turn to the elaboration of what we call a “simple exemplar” of calibration, illustrated through the case of the calibration of an equal-arm balance. Fifth, the tools previously introduced, and the framework of the simple exemplar, are applied to a more complex case of calibration: calibration procedures in X-ray experiments. This serves to show the work accomplished by the simple exemplar and to emphasize features of more complex cases of calibration. Eventually, we revisit and specify the nature, status, scope and value of the proposed framework. (shrink)

Computer simulations of the formation and evolution of large-scale structure in the universe are integral to the enterprise of modern cosmology. Establishing the reliability of these simulations ha...

: This paper explores the calibration of laboratory models in population genetics as an experimental strategy for justifying experimental results and claims based upon them following Franklin (1986, 1990) and Rudge (1996, 1998). The analysis provided undermines Coyne et al.'s (1997) critique of Wade and Goodnight's (1991) experimental study of Wright's (1931, 1932) Shifting Balance Theory. The essay concludes by further demonstrating how this analysis bears on Diamond's (1986) claims regarding the weakness of laboratory experiments as evidence, and further how (...) the calibration strategy fits within Lloyd's (1987, 1988) account of the confirmation of ecological and evolutionary models. (shrink)

Computer simulation and thought experiments seem to produce knowledge about the world without intervening in the world. This has called for a comparison between the two methods. However, Chandrasekharan et al. argue that the nature of contemporary science is too complex for using TEs. They suggest CS as the tool for contemporary sciences and conclude that it will replace TEs. In this paper, by discussing a few TEs from the history of science, I show that the replacement thesis about TE (...) is a failure. The paper is divided into three sections. The first section discusses the arguments of Chandrasekharan et al. and demonstrates the three distinct aspects of the replacement thesis. The second section examines the argument against TE and shows that they are inadequate to prove the withering of TE from science. The third section discusses Albert Einstein’s Magnet and Conductor TE and demonstrates that replacing such TE with CS yield no advantage. (shrink)

Experimentation represents today a ‘hot’ topic in computing. If experiments made with the support of computers, such as computer simulations, have received increasing attention from philosophers of science and technology, questions such as “what does it mean to do experiments in computer science and engineering and what are their benefits?” emerged only recently as central in the debate over the disciplinary status of the discipline. In this work we aim at showing, also by means of paradigmatic examples, how the traditional (...) notion of controlled experiment should be revised to take into account a part of the experimental practice in computing along the lines of experimentation as exploration. Taking inspiration from the discussion on exploratory experimentation in the philosophy of science—experimentation that is not theory-driven—we advance the idea of explorative experiments that, although not new, can contribute to enlarge the debate about the nature and role of experimental methods in computing. In order to further refine this concept we recast explorative experiments as socio-technical experiments, that test new technologies in their socio-technical contexts. We suggest that, when experiments are explorative, control should be intended in a posteriori form, in opposition to the a priori form that usually takes place in traditional experimental contexts. (shrink)