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)

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)

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)

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.

Entropy is ubiquitous in physics, and it plays important roles in numerous other disciplines ranging from logic and statistics to biology and economics. However, a closer look reveals a complicated picture: entropy is defined differently in different contexts, and even within the same domain different notions of entropy are at work. Some of these are defined in terms of probabilities, others are not. The aim of this chapter is to arrive at an understanding of some of the most important notions (...) of entropy and to clarify the relations between them, After setting the stage by introducing the thermodynamic entropy, we discuss notions of entropy in information theory, statistical mechanics, dynamical systems theory and fractal geometry. (shrink)

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)

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.

Reasons are given to justify the claim that computer simulations and computational science constitute a distinctively new set of scientific methods and that these methods introduce new issues in the philosophy of science. These issues are both epistemological and methodological in kind.

How should biological behaviour be modelled? A relatively new approach is to investigate problems in neuroethology by building physical robot models of biological sensorimotor systems. The explication and justification of this approach are here placed within a framework for describing and comparing models in the behavioural and biological sciences. First, simulation models – the representation of a hypothesis about a target system – are distinguished from several other relationships also termed “modelling” in discussions of scientific explanation. Seven dimensions on which (...) simulation models can differ are defined and distinctions between them discussed: 1. Relevance: whether the model tests and generates hypotheses applicable to biology. 2. Level: the elemental units of the model in the hierarchy from atoms to societies. 3. Generality: the range of biological systems the model can represent. 4. Abstraction: the complexity, relative to the target, or amount of detail included in the model. 5. Structural accuracy: how well the model represents the actual mechanisms underlying the behaviour. 6. Performance match: to what extent the model behaviour matches the target behaviour. 7. Medium: the physical basis by which the model is implemented. No specific position in the space of models thus defined is the only correct one, but a good modelling methodology should be explicit about its position and the justification for that position. It is argued that in building robot models biological relevance is more effective than loose biological inspiration; multiple levels can be integrated; that generality cannot be assumed but might emerge from studying specific instances; abstraction is better done by simplification than idealisation; accuracy can be approached through iterations of complete systems; that the model should be able to match and predict target behaviour; and that a physical medium can have significant advantages. These arguments reflect the view that biological behaviour needs to be studied and modelled in context, that is, in terms of the real problems faced by real animals in real environments. Key Words: animal behaviour; levels; models; neuroethology; realism; robotics; simulation. (shrink)

Two complementary debates of the turn of the nineteenth and twentieth century are examined here: the debate on the legitimacy of hypotheses in the natural sciences and the debate on intentionality and ‘representations without object’ in philosophy. Both are shown to rest on two core issues: the attitude of the subject and the mode of presentation chosen to display a domain of phenomena. An orientation other than the one which contributed to shape twentieth-century philosophy of science is explored through the (...) analysis of the role given to assumptions in Boltzmann’s research strategy, where assumptions are contrasted to hypotheses, axioms, and principles, and in Meinong’s criticism of the privileged status attributed to representations in mental activities. Boltzmann’s computational style in mathematics and Meinong’s criticism of the confusion between representation and judgment give prominence to an indirect mode of presentation, adopted in a state of suspended belief which is characteristic of assumptions and which enables one to grasp objects that cannot be reached through direct representation or even analogies. The discussion shows how assumptions and the movement to fiction can be essential steps in the quest for objectivity. The conclusion restates the issues of the two debates in a contemporary perspective and shows how recent developments in philosophy of science and philosophy of language and mind can be brought together by arguing for a twofold conception of reference.Keywords: Assumption; Hypothesis; Description; Mode of presentation; Ludwig Boltzmann; Alexius Meinong. (shrink)

A recent proposal by Norton (2003) to show that a simple Newtonian system can exhibit stochastic acausal behavior by giving rise to spontaneous movements of a mass on the dome of a certain shape is examined. We discuss the physical significance of an often overlooked and yet important Lipschitz condition the violation of which leads to the existence of anomalous nontrivial solutions in this and similar cases. We show that the Lipschitz condition is closely linked with the time reversibility of (...) certain solutions in Newtonian mechanics and the failure to incorporate this condition within Newtonian mechanics may unsurprisingly lead to physically impossible solutions that have no serious metaphysical implications. ‡I thank Steven Savitt of the Philosophy Department at the University of British Columbia for drawing my attention to the Lipschitz condition, and Alexei Cheviakov of the Mathematics Department at the University of British Columbia for useful discussions. †To contact the author, please write to: Department of Philosophy, University of British Columbia, Vancouver, BC, V6T 1Z1, Canada; e-mail: [email protected]. (shrink)

Following Nancy Cartwright and others, I suggest that most (if not all) theories incorporate, or depend on, one or more idealizing assumptions. I then argue that such theories ought to be regimented as counterfactuals, the antecedents of which are simplifying assumptions. If this account of the logic form of theories is granted, then a serious problem arises for Bayesians concerning the prior probabilities of theories that have counterfactual form. If no such probabilities can be assigned, the the posterior probabilities will (...) be undefined, as the latter are defined in terms of the former. I argue here that the most plausible attempts to address the problem of probabilities of conditionals fail to help Bayesians, and, hence, that Bayesians are faced with a new problem. In so far as these proposed solutions fail, I argue that Bayesians must give up Bayesianism or accept the counterintuitive view that no theories that incorporate any idealizations have ever really been confirmed to any extent whatsoever. Moreover, as it appears that the latter horn of this dilemma is highly implausible, we are left with the conclusion that Bayesianism should be rejected, at least as it stands. (shrink)

The process of abstraction and concretisation is a label used for an explicative theory of scientific model-construction. In scientific theorising this process enters at various levels. We could identify two principal levels of abstraction that are useful to our understanding of theory-application. The first level is that of selecting a small number of variables and parameters abstracted from the universe of discourse and used to characterise the general laws of a theory. In classical mechanics, for example, we select position and (...) momentum and establish a relation amongst the two variables, which we call Newton’s 2nd law. The specification of the unspecified elements of scientific laws, e.g. the force function in Newton’s 2nd law, is what would establish the link between the assertions of the theory and physical systems. In order to unravel how and with what conceptual resources scientific models are constructed, how they function and how they relate to theory, we need a view of theory-application that can accommodate our constructions of representation models. For this we need to expand our understanding of the process of abstraction to also explicate the process of specifying force functions etc. This is the second principal level at which abstraction enters in our theorising and in which I focus. In this paper, I attempt to elaborate a general analysis of the process of abstraction and concretisation involved in scientific- model construction, and argue why it provides an explication of the construction of models of the nuclear structure. (shrink)

In this paper, a criticism of the traditional theories of approximation and idealization is given as a summary of previous works. After identifying the real purpose and measure of idealization in the practice of science, it is argued that the best way to characterize idealization is not to formulate a logical model – something analogous to Hempel's D-N model for explanation – but to study its different guises in the praxis of science. A case study of it is then made (...) in thermostatistical physics. After a brief sketch of the theories for phase transitions and critical phenomena, I examine the various idealizations that go into the making of models at three difference levels. The intended result is to induce a deeper appreciation of the complexity and fruitfulness of idealization in the praxis of model-building, not to give an abstract theory of it. (shrink)

The use of idealized models in science is by now well-documented. Such models are typically constructed in a “top-down” fashion: starting with an intractable theory or law and working down toward the phenomenon. This view of model-building has motivated a family of confirmation schemes based on the convergence of prediction and observation. This paper considers how chaotic dynamics blocks the convergence view of confirmation and has forced experimentalists to take a different approach to model-building. A method known as “phase space (...) reconstruction” not only reveals a lacuna in the philosophical literature on models, it also fails to conform to conventional views about how models are used to confirm a theory. (shrink)

The following article treats the 'applicational turn' of modern fluid dynamics as it set in at the beginning of the 20th century with Ludwig Prandtl's concept of the boundary layer. It seeks to show that there is much more to applying a theory in a highly mathematical field like fluid dynamics than deriving a special case from a general explanatory theory under particular antecedent conditions. In Prandtl's case, the decisive move was to introduce a model that provided a physical/causal conception (...) of viscous flow at high Reynolds numbers. It facilitated an approximate solution to the Navier-Stokes equations, which in turn gave rise to many special applications. After a detailed account of Prandtl's achievement, the article discusses the role of the physical model and its experimental and mathematical significance. It is shown that the mathematical simplification provided by the physical model greatly expanded the explanatory capacity of the theory which the Navier-Stokes equations alone could not provide. (shrink)

In this article, we offer a detailed study of two important episodes in the early history of high-energy physics, namely the development of the Chew and the Nambu-Jona-Lasinio models. Our study reveals that both models resulted from the combination of an old Hamiltonian, which had been introduced by earlier researchers, and two new approximation methods developed by Chew and by Nambu and Jona-Lasinio. These new approximation methods, furthermore, were the key component behind the models’ success. We take this historical investigation (...) to support two philosophical theses about the manner in which scientific modelling operates in high-energy physics. Both of these theses run counter to a view that is commonly accepted among philosophers of science: the view that all approximations can be embedded within an equivalent idealized system, and that whatever role the former might play in scientific modelling is therefore parasitic on the much more substantial work performed by the latter. Our first thesis, which we call “Distinctness,” states that approximation methods constitute an independent category of theoretical output from idealized systems. We thus believe that approximations and idealized systems constitute two independent types of objects, both of which are essential to the practice of modelling. Our second, more radical thesis is called “Content Determination.” Our claim here is that approximation methods can in fact be essential to assigning determinate physical content to the idealized systems with which they jointly operate. As we show, this is due to the fact that quantum field theory allows for a very thin characterization of idealized systems only, making the use of approximations necessary to supply additional content. We conclude the paper with a few reflections about the manner in which our two theses can be used to articulate David Kaiser’s views on the “vanishing of scientific theory” in physics after WWII. (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)

Is simulation some new kind of science? We argue that instead simulation fits smoothly into existing scientific practice, but does so in several importantly different ways. Simulations in general, and computer simulations in particular, ought to be understood as techniques which, like many scientific techniques, can be employed in the service of various and diverse epistemic goals. We focus our attentions on the way in which simulations can function as (i) explanatory and (ii) predictive tools. We argue that a wide (...) variety of simulations, both computational and physical, are best conceived in terms of a set of common features: initial or input conditions, a mechanism or set of rules, and a set of results or output conditions. Studying simulations in these terms yields a new understanding of their character as well as a body of normative recommendations for the care and feeding of scientific simulations. (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)

In recent years, the use of historical cases in philosophy of science has become a proper topic of reflection. In this article I will contribute to this research by means of a discussion of one very famous example of case-based philosophy of science, namely the debate on the London & London model of superconductivity between Cartwright, Suárez and Shomar on the one hand, and French, Ladyman, Bueno and Da Costa on the other. This debate has been going on for years, (...) without any satisfactory resolution. I will argue here that this is because both sides impose on the historical case a particular philosophical conception of scientific representation that does not do justice to the historical facts. Both sides assume, more specifically, that the case concerns the discovery of a representational connection between a given experimental insight – the Meissner effect – and the diamagnetic meaning of London and London’s new equations of superconductivity. I will show, however, that at the time of the Londons’ publication, neither the experimental insight nor the meaning of the new equations was established: both were open for discussion and they were stabilized only later. On the basis of this historical discussion, I will then propose an alternative approach to the case study: the case should not be seen as a site of confrontation between pre-existing philosophical accounts, but rather as a way to historically elaborate and develop philosophical concepts. I will then show how approaching the historical episode in this way suggests an alternative approach to the philosophical study of representation, according to which it involves the establishment, over time, of a stable connection between constellations of different elements that, through discussion and engagement with alternative views and approaches, come to constitute phenomenon and meaning. (shrink)

Zkoumání je založeno na reflexi sémantického pojetí vědec- kých teorií Ronalda Giera. Gierova východiska a závěry jsou podrobeny kritice, na jejímž základě autor buduje svou vlastní variantu modelově založeného pojetí teorií. Hlavním cílem příspěvku je konceptualizace vztahu mezi principy a modely s důrazem na to, že tento vztah může zakládat dynamiku teorie, respektive posloupnosti teorií. Souhrnně bude v příspěvku prověřována řada tezí: 1) Základními prvky teorie jsou modely, které slouží jako nosiče principů. 2) Modely hrají rozhodující roli při pojmové výstavbě (...) teorie. 3) Modely artikulací principů odhalují poznatky, které ze samotných principů neplynou. 4) Principy mohou být někdy souhrnně definovány až poté, co existuje odpovídající množina modelů. 5) Nová teorie nastoupí ve chvíli, kdy je cluster nových modelů dostatečně komplexní a když si vědecké společenství ujasní, že tento nový cluster je založen na určité množině nových principů. (shrink)

This book gives an account of work that I have done over a period of decades that sets out to solve two fundamental problems of philosophy: the mind-body problem and the problem of induction. Remarkably, these revolutionary contributions to philosophy turn out to have dramatic implications for a wide range of issues outside philosophy itself, most notably for the capacity of humanity to resolve current grave global problems and make progress towards a better, wiser world. A key element of the (...) proposed solution to the first problem is that physics is about only a highly specialized aspect of all that there is – the causally efficacious aspect. Once this is understood, it ceases to be a mystery that natural science says nothing about the experiential aspect of reality, the colours we perceive, the inner experiences we are aware of. That natural science is silent about the experiential aspect of reality is no reason whatsoever to hold that the experiential does not objectively exist. A key element of the proposed solution to the second problem is that physics, in persistently accepting unified theories only, thereby makes a substantial metaphysical assumption about the universe: it is such that a unified pattern of physical law runs through all phenomena. We need a new conception, and kind, of physics that acknowledges, and actively seeks to improve, metaphysical presuppositions inherent in the methods of physics. The problematic aims and methods of physics need to be improved as physics proceeds. These are the ideas that have fruitful implications, I set out to show, for a wide range of issues: for philosophy itself, for physics, for natural science more generally, for the social sciences, for education, for the academic enterprise as a whole and, most important of all, for the capacity of humanity to learn how to solve the grave global problems that menace our future, and thus make progress to a better, wiser world. It is not just science that has problematic aims; in life too our aims, whether personal, social or institutional, are all too often profoundly problematic, and in urgent need of improvement. We need a new kind of academic enterprise which helps humanity put aims-and-methods improving meta-methods into practice in personal and social life, so that we may come to do better at achieving what is of value in life, and make progress towards a saner, wiser world. This body of work of mine has met with critical acclaim. Despite that, astonishingly, it has been ignored by mainstream philosophy. In the book I discuss the recent work of over 100 philosophers on the mind-body problem and the metaphysics of science, and show that my earlier, highly relevant work on these issues is universally ignored, the quality of subsequent work suffering as a result. My hope, in publishing this book, is that my fellow philosophers will come to appreciate the intellectual value of my proposed solutions to the mind-body problem and the problem of induction, and will, as a result, join with me in attempting to convince our fellow academics that we need to bring about an intellectual/institutional revolution in academic inquiry so that it takes up its proper task of helping humanity learn how to solve problems of living, including global problems, and make progress towards as good, as wise and enlightened a world as possible. (shrink)

These preprints were automatically compiled into a PDF from the collection of papers deposited in PhilSci-Archive in conjunction with the PSA 2018.

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)

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.

Contemporary sciences use a wide and diverse range of computational simulations, including in the areas of aeronautics, chemistry, bioinformatics, social sciences, AI, the physics of elementary particles and most other scientific fields. A simulation is a mathematical model that describes or creates computationally a system process. Simulations are our best cognitive representation of complex reality, that is, our deepest conception of what reality is. In this paper we defend that a simulation is equivalent epistemologically and ontologically with all other types (...) of cognitive models of elements of reality. Therefore, simulations cannot be considered secondary nor weak instruments to approach to the reality analysis. (shrink)

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.

Quantum mechanics tells us that states involving indistinguishable fermions must be antisymmetrized. This is often taken to mean that indistinguishable fermions are always entangled. We consider several notions of entanglement and argue that on the best of them, indistinguishable fermions are not always entangled. We also present a simple but unconventional way of representing fermionic states that allows us to maintain a link between entanglement and non-factorizability.

In this article I give an overview of some recent work in philosophy of science dedicated to analysing the scientific process in terms of (conceptual) mathematical models of theories and the various semantic relations between such models, scientific theories, and aspects of reality. In current philosophy of science, the most interesting questions centre around the ways in which writers distinguish between theories and the mathematical structures that interpret them and in which they are true, i.e. between scientific theories as linguistic (...) systems and their non-linguistic models. In philosophy of science literature there are two main approaches to the structure of scientific theories, the statement or syntactic approach -- advocated by Carnap, Hempel and Nagel -- and the non- statement or semantic approach --advocated, among others, by Suppes, the structuralists, Beth, Van Fraassen, Giere, Wojcicki. In conclusion, I briefly review some of the usual realist inspired questions about the possibility and character of relations between scientific theories and reality as implied by the various approaches I discuss in the course of the article. The models of a scientific theory should indeed be adequate to the phenomena, but if the theory is 'adequate' to (true in) its conceptual (mathematical) models as well, we have a model-theoretic realism that addresses the possible meaning and reference of 'theoretical entities' without relapsing into the metaphysics typical of the usual scientific realist approaches. (shrink)

Inquiries into the nature of scientific modeling have tended to focus their attention on mathematical models and, relatedly, to think of nonconcrete models as mathematical structures. The arguments of this article are arguments for rethinking both tendencies. Nonmathematical models play an important role in the sciences, and our account of scientific modeling must accommodate that fact. One key to making such accommodations, moreover, is to recognize that one kind of thing we use the term ‘model’ to refer to is a (...) collection of propositions. (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)

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)

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)

I begin by distinguishing two notions of model, the notion of a truth-making structure and the notion of a mathematical model (in one specific sense). I then argue that although the models of the semantic view have often been taken to be both truth-making structures and mathematical models, this is in part due to a failure to distinguish between two ways of truth-making; in fact, the talk of truth-making is best excised from the view altogether. The result is a version (...) of the semantic view which is better supported by the direct evidence offered for it, better equipped to achieve its avowed aims, and, I think, closer to the intentions of the original proponents of the view in many ways, despite some of their own declarations to the contrary. (shrink)

The goal of the present article is to contribute to the epistemology and methodology of computer simulations. The central thesis is that the process of simulation modeling takes the form of an explorative cooperation between experimenting and modeling. This characteristic mode of modeling turns simulations into autonomous mediators in a specific way; namely, it makes it possible for the phenomena and the data to exert a direct influence on the model. The argumentation will be illustrated by a case study of (...) the general circulation models of meteorology, the major simulation models in climate research. (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)

The central claim of this paper is that computer simulation provides (though not exclusively) a qualitatively new and different methodology for the physical sciences, and that this methodology lies somewhere intermediate between traditional theoretical physical science and its empirical methods of experimentation and observation. In many cases it involves a new syntax which gradually replaces the old, and it involves theoretical model experimentation in a qualitatively new and interesting way. Scientific activity has thus reached a new milestone somewhat comparable to (...) the milestones that started the empirical approach (Galileo) and the deterministic mathematical approach to dynamics (the old syntax of Newton and Laplace). Computer simulation is consequently of considerable philosophical interest. In view of further technical developments in the near future, computer experts suggest that we are at present only at the very beginning of this new era. (shrink)

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (shrink)

Empirical agreement is often used as an important criterion when assessing the validity of scientific models. However, it is by no means a sufficient criterion as a model can be so adjusted as to fit available data even though it is based on hypotheses whose plausibility is known to be questionable. Our aim in this paper is to investigate into the uses of empirical agreement within the process of model validation.