The paper investigates the question as to which features of hypotheses make them explanatory. Given the intuitive appeal of causal explanations, one might suspect that explanatoriness is deeply connected with causation. I argue in detail that this is wrong by showing that none of the dominant analyses of causation are suited for general accounts of explanatoriness. In the second part, I provide the outlines of an account of explanatoriness that connects it with scientific understanding, which in turn is argued to (...) be analyzable as the cognitive realization of scientific models. (shrink)

Abstract A general framework is proposed for accommodating the recent results of studies into ?natural? decision making. A crucial element of this framework is the notion of a ?partial structure?, recently introduced into the semantic approach to scientific theories. It is through the introduction of this element that connections can be made with certain problems regarding inconsistency and rationality in general.

The semantic, or model-theoretic, approach to theories has recently come under criticism on two fronts: (i) it is claimed that it cannot account for the wide diversity of models employed in scientific practice—a claim which has led some to propose a “deflationary” account of models; (ii) it is further contended that the sense of “model” used by the approach differs from that given in model theory. Our aim in the present work is to articulate a possible response to these claims, (...) drawing on recent developments within the semantic approach itself. Thus, the first is answered by utilizing the notion of a “partial structure”, first introduced in this context by da Costa and French in 1990. The second claim is undermined by consideration of van Fraassen's understanding of “model” which corresponds well with that evinced by modem mathematicians. This latter discussion, in particular, has an impact on the continuing debate regarding the relative merits of the semantic and syntactic views and the developments presented here can be taken to provide further support to the former. (shrink)

Fundamental theories are hard to come by. But even if we had them, they would be too complicated to apply. Quantum chromodynamics is a case in point. This theory is supposed to govern all strong interactions, but it is extremely hard to apply and test at energies where protons, neutrons and ions are the effective degrees of freedom. Instead, scientists typically use highly idealized models such as the MIT Bag Model or the Nambu Jona-Lasinio Model to account for phenomena in (...) this domain, to explain them and to gain nderstanding. Based on these models, which typically isolate a single feature of QCD and disregard many others, scientists attempt to get a better understanding of the physics of strong interactions. But does this practice make sense? Is it justified to use these models for the purposes at hand? Interestingly, these models do not even provide an accurate description of the mass spectrum of protons, neutrons and pions and their lowest lying excitations well - despite several adjustable parameters. And yet, the models are heavily used. I'll argue that a qualitative story, which establishes an explanatory link between the fundamental theory and a model, plays an important role in model acceptance in these cases. (shrink)

Thirty years after the conference that gave rise to The Structure of Scientific Theories, there is renewed interest in the nature of theories and models. However, certain crucial issues from thirty years ago are reprised in current discussions; specifically: whether the diversity of models in the science can be captured by some unitary account; and whether the temporal dimension of scientific practice can be represented by such an account. After reviewing recent developments we suggest that these issues can be accommodated (...) within the partial structures formulation of the semantic or model-theoretic approach. (shrink)

Within the philosophy of science there has been a great deal of rather vague talk about the 'heuristic fruitfulness' (or what Peirce called the 'esperable uberty') of theories. It is my aim in the present paper to add some precision to these discussions by linking this 'fruitfulness' to the satisfaction of certain heuristic criteria. In this manner the demarcation between 'discovery' and 'pursuit' becomes blurred. As a case study, I present the competition between the paraparticle and colour models of quarks (...) in the late 1960s. I argue that the eventual appraisal of the latter as the more fruitful of the two was based on the incorporation of a particular symmetry principle, regarded as a heuristic guideline, rather than on non-epistemic factors concerning 'cognitive resources' and the like. (shrink)

In this paper I begin with a recent challenge to the Semantic Approach and identify an underlying assumption, namely that identity conditions for theories should be provided. Drawing on previous work, I suggest that this demand should be resisted and that the Semantic Approach should be seen as a philosophical device that we may use to represent certain features of scientific practice. Focussing on the partial structures variant of that approach, I then consider a further challenge that arises from a (...) concern with the role of idealisations in that practice. I argue that the partial structures approach is capable of meeting this challenge and I conclude with some broader observations about the role of such formal accounts within the philosophy of science. (shrink)

In this paper I begin with a recent challenge to the Semantic Approach and identify an underlying assumption, namely that identity conditions for theories should be provided. Drawing on previous work, I suggest that this demand should be resisted and that the Semantic Approach should be seen as a philosophical device that we may use to represent certain features of scientific practice. Focussing on the partial structures variant of that approach, I then consider a further challenge that arises from a (...) concern with the role of idealisations in that practice. I argue that the partial structures approach is capable of meeting this challenge and I conclude with some broader observations about the role of such formal accounts within the philosophy of science. (shrink)

On standard accounts of scientific theorizing, the role of idealizations is to facilitate the analysis of some real world system by employing a simplified representation of the target system, raising the obvious worry about how reliable knowledge can be obtained from inaccurate descriptions. The idealizations involved in the Aharonov–Bohm effect do not, it is claimed, fit this paradigm; rather the target system is a fictional system characterized by features that, though physically possible, are not realized in the actual world. The (...) point of studying such a fictional system is to understand the foundations of quantum mechanics and how its predictions depart from those of classical mechanics. The original worry about the use of idealizations is replaced by a new one; namely, how can actual world experiments serve to confirm the AB effect if it concerns the behavior of a fictional system? Struggle with this issue helps to account for the fact that almost three decades elapsed before a consensus emerged that the predicted AB effect had received solid experimental support. Standard accounts of idealizations tout the role they play in making tractable the analysis of the target system; by contrast, the idealizations involved in the AB effect make its analysis both conceptually and mathematically challenging. The idealizations required for the AB effect are also responsible for the existence of unitarily inequivalent representations of the canonical commutation relations and of the current algebra, representations which an observer confined to the electron’s configuration space could invoke to ‘explain’ AB-type effect without the need to posit a hidden magnetic field. The goal of this paper is to bring to the attention of the philosophers of science these and other aspects of the AB effect which are neglected or inadequately treated in literature. (shrink)

On standard accounts of scientific theorizing, the role of idealizations is to facilitate the analysis of some real world system by employing a simplified representation of the target system, raising the obvious worry about how reliable knowledge can be obtained from inaccurate descriptions. The idealizations involved in the Aharonov–Bohm effect do not, it is claimed, fit this paradigm; rather the target system is a fictional system characterized by features that, though physically possible, are not realized in the actual world. The (...) point of studying such a fictional system is to understand the foundations of quantum mechanics and how its predictions depart from those of classical mechanics. The original worry about the use of idealizations is replaced by a new one; namely, how can actual world experiments serve to confirm the AB effect if it concerns the behavior of a fictional system? Struggle with this issue helps to account for the fact that almost three decades elapsed before a consensus emerged that the predicted AB effect had received solid experimental support. Standard accounts of idealizations tout the role they play in making tractable the analysis of the target system; by contrast, the idealizations involved in the AB effect make its analysis both conceptually and mathematically challenging. The idealizations required for the AB effect are also responsible for the existence of unitarily inequivalent representations of the canonical commutation relations and of the current algebra, representations which an observer confined to the electron’s configuration space could invoke to ‘explain’ AB-type effect without the need to posit a hidden magnetic field. The goal of this paper is to bring to the attention of the philosophers of science these and other aspects of the AB effect which are neglected or inadequately treated in literature. (shrink)

In their theoretical and experimental reflections on the capacities and behaviours of living systems, neuroscientists often formulate generalizations about the behaviour of neural circuits. These generalizations are highly idealized, as they omit reference to the myriads of conditions that could perturb the behaviour of the modelled system in real-world settings. This article analyses an experimental investigation of the behaviour of place cells in the rat hippocampus, in which highly idealized generalizations were tested by comparing predictions flowing from them with real-world (...) experimental results. The aim of the article is to identify under what conditions even single prediction failures regarding the behaviour of single cells sufficed to reject highly idealized generalizations, and under what conditions prima facie counter-examples were deemed to be irrelevant to the testing of highly idealized generalizations. The results of this analysis may contribute to understanding how idealized models are tested experimentally in neuroscience and used to make reliable predictions concerning living systems in real-world settings. (shrink)

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

A case study of the development of quantum field theory and of S-matrix theory, from their inceptions to the present, is presented. The descriptions of science given by Kuhn and by Lakatos are compared and contrasted as they apply to this case study. The episodes of the developments of these theories are then considered as candidates for competing research programs in Lakatos' methodology of scientific research programs. Lakatos' scheme provides a reasonable overall description and a plausible assessment of the relative (...) value of these two programs in terms of progressive and degenerating problem shifts. Also discussed are the roles of various types of models as they have been used in these areas of theoretical high-energy physics. (shrink)

Thinking of models in science as fictions is said to be helpful, not merely because models are known or assumed to be false, but because work on the nature of fiction helps us understand what models are and how they work. I am unpersuaded. For example, instead of trying to assimilate truth-in-a model to truth-in-fiction we do better to see both as special and separate cases of the more general notion truth-according-to-a-corpus. Does enlightenment go the other way? Do we better (...) understand fiction's capacity to generate knowledge by thinking of it as a kind of modelling? If we see, as we should, fictions and models are parts of larger patterns of cognitive activity that include institutional frameworks, the best answer is no. (shrink)

Acidity provides an interesting example of an everyday concept that developed fully into a scientific one; it is one of the oldest concepts in chemistry and remains an important one. However, up to now there has been no unity to it. Currently two standard theoretical definitions coexist ; the standard laboratory measure of acidity, namely the pH, only corresponds directly to the Br⊘nsted-Lowry concept. The lasting identity of the acidity concept in modern chemistry is based on the persistence of the (...) quotidian concept. This is suggestive for considerations of other scientific concepts. (shrink)

In this paper a unified theory of models and thought experiments is proposed by considering them as fictions, la Vaihinger. In order to reach this aim, the Hertzian and Botzmannian interpretation of theories as Bilder is reconsidered.

The aim of this paper is to argue that logic can play an important role in the “toolbox” of molecular biology. We show how biochemical pathways, i.e., transitions from a molecular aggregate to another molecular aggregate, can be viewed as deductive processes. In particular, our logical approach to molecular biology — developed in the form of a natural deduction system — is centered on the notion of Curry-Howard isomorphism, a cornerstone in nineteenth-century proof-theory.

ArgumentThe use of diagrams is pervasive in theoretical physics. Together with mathematical formulae and natural language, diagrams play a major role in theoretical modeling. They enrich the expressive power of physicists and help them to explore new theoretical ideas. Diagrams are not only heuristic or pedagogical tools, but they are also tools that enable developing the content of models into novel implications.

Summary Sydney Chapman is unanimously considered to have played a founding role in modern geomagnetism and to have opened up new lines of research in geophysics generally. Nevertheless, Chapman's conviction regarding the synthesis of the explanatory mechanisms of the atmosphere has gone practically unnoticed in the historiography of geophysics. This paper examines Chapman's contribution to ionospheric physics. It aims to understand Chapman's theory of ionospheric layer formation, and particularly its link to his theory of ozone formation. It deals first with (...) the traits which characterized Chapman's personality, as a way of explaining—and even perhaps justifying— his quest for the integration and synthesis of geophysical knowledge. It then analyses Chapman's model of ionospheric layers and his suggestions regarding its use as an operational tool (without ontological connotations), before continuing with his account of the formation of the ozone layer, which seemed to constitute the missing link for understanding ionosphere layer formation. The paper concludes with Chapman's attempt to reconcile geomagnetic and radio evidence. (shrink)

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)

This paper aims at integrating the work onanalogical reasoning in Cognitive Science into thelong trend of philosophical interest, in this century,in analogical reasoning as a basis for scientificmodeling. In the first part of the paper, threesimulations of analogical reasoning, proposed incognitive science, are presented: Gentner''s StructureMatching Engine, Mitchel''s and Hofstadter''s COPYCATand the Analogical Constraint Mapping Engine, proposedby Holyoak and Thagard. The differences andcontroversial points in these simulations arehighlighted in order to make explicit theirpresuppositions concerning the nature of analogicalreasoning. In the (...) last part, this debate in cognitivescience is applied to some traditional philosophicalaccounts of formal and material analogies as a basisfor scientific modeling, like Mary Hesse`s, and tomore recent ones, that already draw from the work inArtificial Intelligence, like that proposed byAronson, Harré and Way. (shrink)

Der Begriff ‘Modell’ leitet sich vom Lateinischen ‘modulus’ (das Maß) ab, im Italienischen existiert seit dem 16. Jh. ‘modello’ und R. Descartes verwendet im 17. Jh. ‘modèlle’. Während der Begriff in Architektur und Kunst schon seit der Renaissance gängig ist, wird er in den Naturwissenschaften erst im 19. Jh. verwendet.1 Dort greifen wissenschaftliche Modelle die für eine gegebene Problemstellung als wesentlich erachteten Charakteristika (Eigenschaften, Beziehungen, etc.) eines Untersuchungsgegenstandes heraus und machen diesen so einem Verständnis bzw. einer weiterführenden Untersuchung zugänglich. Es (...) ist üblich, zwischen Skalenmodellen, Analogmodellen und theoretischen Modellen zu unterscheiden. (shrink)

Scientific models need to be investigated if they are to provide valuable information about the systems they represent. Surprisingly, the epistemological question of what enables this investigation has hardly been investigated. Even authors who consider the inferential role of models as central, like Hughes or Bueno and Colyvan, content themselves with claiming that models contain mathematical resources that provide inferential power. We claim that these notions require further analysis and argue that mathematical formalisms contribute to this inferential role. We characterize (...) formalisms, illustrate how they extend our mathematical resources, and highlight how distinct formalisms offer various inferential affordances. (shrink)

This paper explores various functions of idealizations in quantum field theory. To this end it is important to first distinguish between different kinds of theories and models of or inspired by quantum field theory. Idealizations have pragmatic and cognitive functions. Analyzing a case-study from hadron physics, I demonstrate the virtues of studying highly idealized models for exploring the features of theories with an extremely rich structure such as quantum field theory and for gaining some understanding of the physical processes in (...) the system under consideration. (shrink)

This dissertation consists of three parts. Part I is a defense of an artificial language methodology in philosophy and a historical and systematic defense of the logical empiricists' application of an artificial language methodology to scientific theories. These defenses provide a justification for the presumptions of a host of criteria of empirical significance, which I analyze, compare, and develop in part II. On the basis of this analysis, in part III I use a variety of criteria to evaluate the scientific (...) status of intelligent design, and further discuss confirmation, reduction, and concept formation. (shrink)

Laboratory experimentation was once considered impossible or irrelevant in economics. Recently, however, economic science has gone through a real ‘laboratory revolution’, and experimental economics is now a most lively subfield of the discipline. The methodological advantages and disadvantages of controlled experimentation constitute the main subject of this thesis. After a survey of the literature on experiments in philosophy and economics, the problem of testing normative theories of rationality is tackled. This philosophical issue was at the centre of a famous controversy (...) in decision theory, during which a methodology of normative falsification was first articulated and used to assess experimental results. In the third chapter, the methodological advantages of controlled experimentation are illustrated and discussed with examples taken from the experiments on the so-called ‘preference reversal’ phenomenon. Laboratory testing allows to establish with a high degree of certainty that certain phenomena lie behind the experimental data, by means of independent testing, elimination of alternative hypotheses, and the use of different instruments of observation. The fourth chapter is devoted to a conceptual analysis of the problem of ‘parallelism’. This is the problem of inferring from the occurrence of a phenomenon in the laboratory, to its instantiation also in non-laboratory environments. Experimental economists have discussed parallelism at length, and their views are presented and criticised. Eventually, it is argued that parallelism is a factual matter and as such can only be established on empirical grounds. The fifth chapter provides an example of how one can argue for parallelism, focusing on the case of experimentation on the ‘winner’s curse’ phenomenon. The role of experiments as ‘mediators’ between theoretical models and their target domain of application is illustrated, and the structure of parallelism arguments analysed in detail. Finally, in the last chapter, economic experiments are compared to simulations, in order to highlight their specific characteristics. (shrink)

The focus of this paper is the recent revival of interest in structuralist approaches to science and, in particular, the structural realist position in philosophy of science . The challenge facing scientific structuralists is three-fold: i) to characterize scientific theories in ‘structural’ terms, and to use this characterization ii) to establish a theory-world connection (including an explanation of applicability) and iii) to address the relationship of ‘structural continuity’ between predecessor and successor theories. Our aim is to appeal to the notion (...) of shared structure between models to reconsider all of these challenges, and, in so doing, to classify the varieties of scientific structuralism and to offer a ‘minimal’ construal that is best viewed from a methodological stance. (shrink)

In this thesis I will examine the philosophy of the physicist Max Born. As well as his scientific work, Born wrote on a number of philosophical topics: causation, realism, determinism, and probability. They appear as an interest throughout his career, but he particularly concentrates on them from the 1940s onwards. Born is a significant figure in the development of quantum mechanics whose philosophical work has been left largely unexamined. It is the aim of this thesis to elucidate and to critically (...) examine that work. I will give a defence of presentist historiography in the history and philosophy of science and a brief biography of Born. With regards to causation, the thesis will argue that he holds that there exist principles regarding causal relations that have guided the development of physics and have, in the modern formulation of the subject, been confirmed as having an empirical status. I will argue that he is a selective realist, initially with regards to invariant properties and, later on, a structural realist. With regards to determinism, I will argue that Born has produced an argument, compatible with modern philosophical definitions of determinism, that we were never entitled to conclude from the success of classical mechanics that the world was deterministic. Finally, I will argue that Born holds an objective interpretation of probabilities in quantum mechanics which, due to his strong belief in the physical reality of quantum-mechanical probabilities and his apparent disbelief in the superposition of the wave-function, is most likely a long-run propensity theory. (shrink)

1.1 - Background - page 17 1.2 - The Style of Approach - page 18 1.3 - Motivation - page 19 1.4 - Style of Presentation - page 20 1.5 - Outline of the Thesis - page 21..

We propose a philosophical theory of scientific models. Our main claim is that they should be understood as fictions. We illustrate the relevance of the claim by illustrations drawn from the history of science, and we propose a typology.

In its most common use, the term ‘model’ refers to a simplified and stylised version of the socalled target system, the part or aspect of the world that we are interested in. For instance, in order to determine the orbit of a planet moving around the sun we model the planet and the sun as perfect homogenous spheres that gravitationally interact with each other but nothing else in the universe, and then apply Newtonian mechanics to this system, which reveals that (...) the planet moves on an elliptical orbit. Views diverge about what sort of entity such a model is. Those focussing on the formal aspects of models regard them either as equations or settheoretical structures, while those opposed to such an approach take them to be descriptions or abstract (yet non-mathematical) entities. A further question concerns the relation of models and theories. In some cases models can be derived from theory simply by specifying the relevant determinables in a theory’s general equations. But many models cannot be obtained from theory in this straightforward way, and some even involve assumptions that contradict the fundamental theory. The relation of models to their respective target systems is equally complex and fraught with controversy. Two influential proposals take the relation between a model and its target to be isomorphism or similarity, respectively. This, however, has been criticised as too restrictive as many models do not seem to fit this mould. (shrink)

In this paper, I would like to show that considering technological models as they arise in engineering disciplines can greatly enrich the philosophical perspective on models. In fluid mechanics, (at least) three types of models are distinguished: mathematical, computer and physical models. Very often, the choice of a particular mathematical, computer or physical model highly affects the type of solutions and the computational time needed for it. Technological models not only aim at a correct description of the physical phenomena, but (...) also for an efficient and accurate simulation. The problem arises how heterogeneous models of an engineering problem can be brought together and be compared to each other as regards their function and technological efficiency. There are two developments in the history of fluid mechanics that have greatly influenced the use of models in the field: The introduction of the concept of the boundary layer by Ludwig Prandtl in 1904 made it possible to apply ideal analytical solutions, which at the time were almost entirely based on Euler’s equations for inviscid fluids, to interesting real cases and to approximate the theoretical Navier-Stokes equations to practical engineering problems, i.e. to cases at high Reynolds numbers. This made it possible to link the empirical tradition of hydraulics with the theoretical tradition of analytical mechanics and therefore lead to a kind of equilibrium in the use of mathematical and physical models. In the 1970s the introduction of the computer has greatly pushed back the importance of both physical and mathematical (analytic) models alike without making them superfluous. There remain, however, three different ways to conceive of physical models in fluid mechanics, and thus of the experimental ingredient, depending on whether they are devised from an analytical, computational or measurement theoretical point of view. Yet even inside the tradition of computer simulation, different practices have formed according to the programming methods used. The choice of method either depends on considerations of efficiency in terms of costs and time, or on historically contingent factors, like availability of instruments and programming packages or the arbitrary choice of a forerunner. Seen from a technological point of view the factors that make models “autonomous agents” and thus (relatively) independent from theory depend on efficiency constraints. Models are means to solve problems in a certain practical perspective by the most efficient means available. To develop a model is a “fast and frugal way” to get to grips with a certain region of reality, whereas the theoretical approach stresses the importance of universal features. (shrink)