⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics (...) --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

Free Energy Principle underlies a unifying framework that integrates theories of origins of life, cognition, and action. Recently, FEP has been developed into a Markovian monist perspective. The paper expresses scepticism about the validity of arguments for Markovian monism. The critique is based on the assumption that Markovian models are scientific models, and while we may defend ontological theories about the nature of scientific models, we could not read off metaphysical theses about the nature of target systems from our theories (...) of nature of scientific models. The paper draws attention to different ways of understanding Markovian models, as material entities, fictional entities, and mathematical structures. I argue that none of these interpretations contributes to the defence of a metaphysical stance. This is because scientific representation is a sophisticated process, and properties of Markovian models—such as the property of being neither physical nor mental—could not be projected onto their targets to determine the ontological properties of targets easily. (shrink)

I argue that the best interpretation of the general theory of relativity has need of a causal entity, and causal structure that is not reducible to light cone structure. I suggest that this causal interpretation of GTR helps defeat a key premise in one of the most popular arguments for causal reductionism, viz., the argument from physics.

This essay develops an inferential account of model explanation, based on Mauricio Suárez’s inferential conception of scientific representation and Alisa Bokulich’s counterfactual account of model explanation. It is suggested that the fact that a scientific model can explain is essentially linked to how a modeler uses an established model to make various inferences about the target system on the basis of results derived from the model. The inference practice is understood as a two-step activity, with the first step involving making (...) counterfactual statements about the model itself and the second step involving making hypothetical statements transferring over claims derived from the model onto the target. To illustrate how this two-step activity proceeds, an agent-based simulation model is discussed. (shrink)

Unter dem Begriff der „Verwissenschaftlichung der Methodologie der Wissenschaft“ verstehen wir den Einfluß wissenschaftlicher Erkenntnis auf die eine oder andere Art und Weise auf die Methodologie der Wissenschaft, insbesondere den Gebrauch von wissenschaftlichen Ideen und Methoden für die Formulierung und Lösung von methodologischen Problemen der Wissenschaft und Problemen der Methodologie selbst. Es werden vier Haupttendenzen im Prozeß der Verwissenschaftlichung der Methodologie vorgestellt: (a) der Übergang vom „statement view“ zum mathematischen Holismus; (b) die Verwissenschaftlichung auf system-theoretischer Basis; (c) der Einzug soziologischer (...) Methoden in die methodologische Analyse der Wissenschaft und (d) die methodologischen Anwendungen von Forschungsresultaten im Bereich der Künstlichen Intelligenz. Darüberhinaus werden einige besondere Formen der Implementierung wissenschaftlicher Konstruktionen in der Methodologie ins Auge gefaßt. (shrink)

Analytical categories of scientific cultures have typically been used both exclusively and universally. For instance, when styles of scientific research are employed in attempts to understand and narrate science, styles alone are usually employed. This article is a thought experiment in interweaving categories. What would happen if rather than employ a single category, we instead investigated several categories simultaneously? What would we learn about the practices and theories, the agents and materials, and the political-technological impact of science if we analyzed (...) and applied styles, paradigms, and models simultaneously? I address these questions in general and for a specific case study: a brief history of systematics. (shrink)

Based on da Costa's and French's notions of partial structures and pragmatic truth, this paper examines two possible characterizations of the concept of empirical adequacy, one depending on the notion of partial isomorphism, the other on the hierarchy of partial models of phenomena, and both compatible with an empiricist view. These formulations can then be employed to illuminate certain aspects of scientific practice.An empirical theory must single out a specific part of the world, establish reference to that part, and say—by (...) way of contingent, substantial claim about the world—that its models fit that. Now, how exactly can this be done? Bas C. van Fraassen. (shrink)

Michael Weisberg’s account of scientific models concentrates on the ways in which models are similar to their targets. He intends not merely to explain what similarity consists in, but also to capture similarity judgments made by scientists. In order to scrutinize whether his account fulfills this goal, I outline one common way in which scientists judge whether a model is similar enough to its target, namely maximum likelihood estimation method. Then I consider whether Weisberg’s account could capture the judgments involved (...) in this practice. I argue that his account fails for three reasons. First, his account is simply too abstract to capture what is going on in MLE. Second, it implies an atomistic conception of similarity, while MLE operates in a holistic manner. Third, Weisberg’s atomistic conception of similarity can be traced back to a problematic set-theoretic approach to the structure of models. Finally, I tentatively suggest how these problems might be solved by a holistic approach in which models and targets are compared in a non-set-theoretic fashion. (shrink)

The debate between critics of syntactic and semantic approaches to the formalization of scientific theories has been going on for over 50 years. I structure the debate in light of a recent exchange between Hans Halvorson, Clark Glymour, and Bas van Fraassen and argue that the only remaining disagreement concerns the alleged difference in the dependence of syntactic and semantic approaches on languages of predicate logic. This difference turns out to be illusory.

In recent papers Hans Halvorson has offered a critique of the semantic view of theories, showing that theories may be the same although the corresponding sets of models are different and, conversely, that theories may be different although the corresponding sets of models are the same. This critique will be assessed, first, as it pertains to issues concerning scientific models in the empirical sciences and, second, independent of any concern with empirical science.

Different conceptions of scientific theories, such as the state spaces approach of Bas van Fraassen, the phase spaces approach of Frederick Suppe, the set-theoretical approach of Patrick Suppes, and the structuralist view of Joseph Sneed et al. are usually put together into one big family. In addition, the definite article is normally used, and thus we speak of the semantic conception of theories and of its different approaches . However, in The Semantic Conception of Theories and Scientific Realism , starting (...) from certain remarks already made in “Theory Structure” , Current Research in Philosophy of Science, East Lansing: Philosophy of Science Association, 1979, pp. 317–338), Frederick Suppe excludes the structuralist view as well as other “European” versions from the semantic conception of theories. In this paper I will critically examine the reasons put forward by Suppe for this decision and, later, I will provide a general characterization of the semantic family and of the structuralist view of theories in such a way as to justify the inclusion of the structuralist view as a member of this family. (shrink)

Philosophy can shed light on mathematical modeling and the juxtaposition of modeling and empirical data. This paper explores three philosophical traditions of the structure of scientific theory—Syntactic, Semantic, and Pragmatic—to show that each illuminates mathematical modeling. The Pragmatic View identifies four critical functions of mathematical modeling: (1) unification of both models and data, (2) model fitting to data, (3) mechanism identification accounting for observation, and (4) prediction of future observations. Such facets are explored using a recent exchange between two groups (...) of mathematical modelers in plant biology. Scientific debate can arise from different modeling philosophies. (shrink)

This paper develops the first parts of a logical framework for the empirical sciences, by means of a redefinition of theory structuralism as originally developed by Joseph Sneed, Wolfgang Stegmüller, and others, in the context of a ‘rigid’ logic as based on a fixed (therefore rigid) ontology. The paper defends a formal conception of the empirical sciences that has an irreducible ontological basis and is unable, in general, to provide purely structural characterizations of the domain of a theory. The extreme (...) rationalist utopia of a characterization of the real world ‘up to isomorphism’, therefore, is rejected. (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.

Despite Donald Davidson's influential criticism of the very notion of conceptual schemes, the notion continues enjoying its popularity in contemporary philosophy and, accordingly, conceptual relativism is still very much alive. There is one major reason responsible for Davidson's failure which has not been widely recognized: What Davidson attacks fiercely is not the very notion, but a notion of conceptual schemes, namely, the Quinean notion of conceptual schemes and its underlying Kantian scheme-content dualism. However, such a notion simply cannot carry the (...) weight of conceptual relativism for it does not catch the essences of conceptual relativism. Consequently, I argue that the very notion of conceptual schemes and conceptual relativism have survived Davidson's attack. Therefore, the failure of the Quinean notion of conceptual schemes and Kantian scheme-content dualism, even if Davidson can claim victory, does not mark the end of the very notion of conceptual schemes.[ABSTRACT FROM AUTHOR]. (shrink)

Schaffner’s model of theory reduction has played an important role in philosophy of science and philosophy of biology. Here, the model is found to be problematic because of an internal tension. Indeed, standard antireductionist external criticisms concerning reduction functions and laws in biology do not provide a full picture of the limits of Schaffner’s model. However, despite the internal tension, his model usefully highlights the importance of regulative ideals associated with the search for derivational, and embedding, deductive relations among mathematical (...) structures in theoretical biology. A reconstructed Schaffnerian model could therefore shed light on mathematical theory development in the biological sciences and on the epistemology of mathematical practices more generally. *Received November 2006; revised March 2009. †To contact the author, please write to: Philosophy Department, University of California, Santa Cruz, 1156 High St., Santa Cruz, CA 95064; e‐mail: [email protected]. (shrink)

The positivistic Received View construed scientific theories syntactically as axiomatic calculi where theoretical terms were given a partial semantic interpretation via correspondence rules connecting them to observation statements. This paper assesses what, with hindsight, seem the most important defects in the Received View; surveys the main proposed successor analyses to the Received View--various Semantic Conception versions and the Structuralist Analysis; evaluates how well they avoid those defects; examines what new problems they face and where the most promising require further development (...) or leave unanswered questions; explores implications of recent work on models for understanding theories; and rebuts the few criticisms of the Semantic Conception that have surfaced. (shrink)

When natural selection theory was presented, much active philosophical debate, in which Darwin himself participated, centered on its hypothetical nature, its explanatory power, and Darwin's methodology. Upon first examination, Darwin's support of his theory seems to consist of a set of claims pertaining to various aspects of explanatory success. I analyze the support of his method and theory given in the Origin of Species and private correspondence, and conclude that an interpretation focusing on the explanatory strengths of natural selection theory (...) accurately reflects neither Darwin's own self-consciously held views, nor the nature of his support. Darwin's methodological and philosophical arguments were at once consistently empiricist and more sophisticated than such interpretations credit to him. (shrink)

A precise formulation of the structure of modern evolutionary theory has proved elusive. In this paper, I introduce and develop a formal approach to the structure of population genetics, evolutionary theory's most developed sub-theory. Under the semantic approach, used as a framework in this paper, presenting a theory consists in presenting a related family of models. I offer general guidelines and examples for the classification of population genetics models; the defining features of the models are taken to be their state (...) spaces, parameters, and laws. The suggestions regarding the various aspects of the characterization of population genetics models provide an outline for further detailed research. (shrink)

The biological sciences have become increasingly reliant on so-called 'model organisms'. I argue that in this domain, the concept of a descriptive model is essential for understanding scientific practice. Using a case study, I show how such a model was formulated in a preexplanatory context for subsequent use as a prototype from which explanations ultimately may be generated both within the immediate domain of the original model and in additional, related domains. To develop this concept of a descriptive model, I (...) focus on use of the nematode worm Caenorhabditis elegans and the wiring diagrams that were developed as models of its neural structure. In addition, implications of the concept of a descriptive model, particularly its relevance for the data-phenomena distinction as well as its relation to long-standing debates on realism, are briefly examined. (shrink)

El presente trabajo pretende explicitar que los operadores modales, como construcciones lógicas, insertos en las interpretaciones modales (MI) de la mecánica cuántica son usados de manera informal sin una semántica modal adecuada. Primero se estudiarán en detalle los motivos por los que ninguna lógica cuántica puede ofrecer una base apropiada para formalizar estos operadores en contextos mecánico-cuánticos. A continuación, se presentará el enfoque de las historias cuánticas como una nueva lógica cuántica (NQL) intrínsecamente booleana como posible herramienta para formalizar operadores (...) modales en el contexto de las MI. Tras comentar brevemente las principales MI, se propondrá abordar un estudio de las modalidades presentes en ellas desde esta NQL prestando siempre especial atención al problema de la medida como hilo conductor. Finalmente, se pretende señalar cuáles han de ser los primeros pasos necesarios para ofrecer una exposición lógicamente consistente de las modalidades en contextos cuánticos relevantes con NQL como herramienta, así como señalar las ventajas que esta perspectiva podría llegar a ofrecer. (shrink)

The received view on the development of the correspondence rules in Carnap’s philosophy of science is that at first, Carnap assumed the explicit definability of all theoretical terms in observational terms and later weakened this assumption. In the end, he conjectured that all observational terms can be explicitly defined in in theoretical terms, but not vice versa. I argue that from the very beginning, Carnap implicitly held this last view, albeit at times in contradiction to his professed position. To establish (...) this point I argue that, first, Carnap’s ‘Über die Aufgabe der Physik’ is a contribution to the philosophy of science of logical empiricism, contrary to Thomas Mormann and in agreement with Herbert Feigl. Second, Michael Friedman misunderstands the ‘Aufgabe’ with his claim that it describes a method for arriving at explicit definitions for theoretical terms. Another received view on Carnap’s philosophy of science is that it assumed a formalization of physical theories that was too detached from actual physics and thus justly disavowed in favor of the semantic view as, for example, developed by van Fraassen. But the ‘Aufgabe’ and related works including the Aufbau show that from the very beginning to his last works, Carnap suggested formalizing physical theories as restrictions in mathematical spaces, as in the state-space conception of scientific theories favored by van Fraassen. (shrink)

Benacerraf has presented two problems for the philosophy of mathematics. These are the problem of identification and the problem of representation. This paper aims to reconstruct the latter problem and to unpack its undermining bearing on the version of Ontic Structural Realism that frames scientific representations in terms of abstract structures. I argue that the dichotomy between mathematical structures and physical ones cannot be used to address the Benacerraf problem but strengthens it. I conclude by arguing that versions of OSR (...) that do not rely on mathematical frameworks for representational purposes need not be vulnerable to Benacerraf’s second problem. (shrink)

The modern discussion on the concept of truthlikeness was started in 1960. In his influential Word and Object, W. V. O. Quine argued that Charles Peirce's definition of truth as the limit of inquiry is faulty for the reason that the notion 'nearer than' is only "defined for numbers and not for theories". In his contribution to the 1960 International Congress for Logic, Methodology, and Philosophy of Science at Stan­ ford, Karl Popper defended the opposite view by defining a compara­tive (...) notion of verisimilitude for theories. The concept of verisimilitude was originally introduced by the Ancient sceptics to moderate their radical thesis of the inaccessibility of truth. But soon verisimilitudo, indicating likeness to the truth, was confused with probabilitas, which expresses an opiniotative attitude weaker than full certainty. The idea of truthlikeness fell in disrepute also as a result of the careless, often confused and metaphysically loaded way in which many philosophers used - and still use - such concepts as 'degree of truth', 'approximate truth', 'partial truth', and 'approach to the truth'. Popper's great achievement was his insight that the criticism against truthlikeness - by those who urge that it is meaningless to speak about 'closeness to truth' - is more based on prejudice than argument. (shrink)

Call a bit of scientific discourse a description of a missing system when (i) it has the surface appearance of an accurate description of an actual, concrete system (or kind of system) from the domain of inquiry, but (ii) there are no actual, concrete systems in the world around us fitting the description it contains, and (iii) that fact is recognised from the outset by competent practitioners of the scientific discipline in question. Scientific textbooks, classroom lectures, and journal articles abound (...) with such passages; and there is a widespread practice of talking and thinking as though there are systems which fit the descriptions they contain perfectly, despite the recognition that no actual, concrete systems do so—call this the face value practice. There are, furthermore, many instances in which philosophers engage in the face value practice whilst offering answers to epistemological and methodological questions about the sciences. Three questions, then: (1) How should we interpret descriptions of missing systems? (2) How should we make sense of the face value practice? (3) Is there a set of plausible answers to (1) and (2) which legitimates reliance on the face value practice in our philosophical work, and can support the weight of the accounts which are entangled with that practice? In this paper I address these questions by considering three answers to the first: that descriptions of missing systems are straightforward descriptions of abstract objects, that they are indirect descriptions of “property-containing” abstracta, and that they are (in a different way) indirect descriptions of mathematical structures. All three proposals are present in the literature, but I find them wanting. The result is to highlight the importance of developing a satisfactory understanding of descriptions of missing systems and the face value practice, to put pressure on philosophical accounts which rely on the practice, and to help us assess the viability of certain approaches to thinking about models, theory structure, and scientific representation. (shrink)

I defend the Received View on scientific theories as developed by Carnap, Hempel, and Feigl against a number of criticisms based on misconceptions. First, I dispute the claim that the Received View demands axiomatizations in first order logic, and the further claim that these axiomatizations must include axioms for the mathematics used in the scientific theories. Next, I contend that models are important according to the Received View. Finally, I argue against the claim that the Received View is intended to (...) make the concept of a theory more precise. Rather, it is meant as a generalizable framework for explicating specific theories. (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)

Using an example of a computer simulation of the convective structure of a red giant star, this paper argues that simulation is a rich inferential process, and not simply a "number crunching" technique. The scientific practice of simulation, moreover, poses some interesting and challenging epistemological and methodological issues for the philosophy of science. I will also argue that these challenges would be best addressed by a philosophy of science that places less emphasis on the representational capacity of theories (and ascribes (...) that capacity instead to models) and more emphasis on the role of theory in guiding (rather than determining) the construction of models. (shrink)

The philosophical debate about quantum logic between the late 1960s and the early 1980s was generated mainly by Putnam's claims that quantum mechanics empirically motivates introducing a new form of logic, that such an empirically founded quantum logic is the `true' logic, and that adopting quantum logic would resolve all the paradoxes of quantum mechanics. Most of that debate focussed on the latter claim, reaching the conclusion that it was mistaken. This chapter will attempt to clarify the possible misunderstandings surrounding (...) the more radical claims about the revision of logic, assessing them in particular both in the context of more general quantum-like theories (in the framework of von Neumann algebras), and against the background of the current state of play in the philosophy and interpretation of quantum mechanics. Characteristically, the conclusions that might be drawn depend crucially on which of the currently proposed solutions to the measurement problem is adopted. (shrink)

In this paper I distinguish various ways in which empirical claims about evolutionary and ecological models can be supported by data. I describe three basic factors bearing on confirmation of empirical claims: fit of the model to data; independent testing of various aspects of the model, and variety of evident. A brief description of the kinds of confirmation is followed by examples of each kind, drawn from a range of evolutionary and ecological theories. I conclude that the greater complexity and (...) precision of my approach, as compared to, for instance, a Popperian approach, can facilitate detailed analysis and comparison of empirical claims. (shrink)

Paul Thompson, John Beatty, and Elisabeth Lloyd argue that attempts to resolve certain conceptual issues within evolutionary biology have failed because of a general adherence to the received view of scientific theories. They maintain that such issues can be clarified and resolved when one adopts a semantic approach to theories. In this paper, I argue that such conceptual issues are just as problematic on a semantic approach. Such issues arise from the complexity involved in providing formal accounts of theoretical laws (...) and scientific explanations. That complexity is due to empirical and pragmatic considerations, not one's adherence to a particular formal approach to theories. This analysis raises a broader question. How can any formal account properly represent the complex nature of empirical phenomena? (shrink)

Even those generally skeptical of propensity interpretations of probability must now grant the following two points. First, the above single-case propensity interpretation meets recognized formal conditions for being a genuine interpretation of probability. Second, this interpretation is not logically reducible to a hypothetical relative frequency interpretation, nor is it only vacuously different from such an interpretation.The main objection to this propensity interpretation must be not that it is too vague or vacuous, but that it is metaphysically too extravagant. It asserts (...) not only that there are physical possibilities in nature, but further that nature itself contains innate tendencies toward these possibilities, tendencies which have the logical structure of probabilities. Thus the basic dispute between advocates of an actualist relative frequency interpretation and a single-case propensity interpretation is not a matter of epistemology, but metaphysics. The frequency theorist wishes to maintain that claims about physical probabilities are nothing more than claims about relative frequencies that will occur in the actual history of the world, be it infinite or no. It is a substantial, though hardly conclusive, argument for the propensity view that the mathematical structures commonly employed in studies of stochastic processes and statistical inference are richer than can be accommodated by a relative frequency interpretation. Whether it is possible to bridge this gap without going beyond an actualist metaphysics remains to be seen.38. (shrink)

A comprehensive model for describing various forms of developments in science is defined in precise, set-theoretic terms, and in the spirit of the structuralist approach in the philosophy of science. The model emends previous accounts in centering on single systems in a homogenous way, eliminating notions which essentially refer to sets of systems. This is achieved by eliminating the distinction between theoretical and non-theoretical terms as a primitive, and by introducing the notion of intended links. The force of the model (...) is demonstrated by formally incorporating many of the important, precise meta-theoretic concepts occurring in the literature. (shrink)

Wilfred Sellars appears in Bas C. van Fraassen’s The Scientific Image as one of van Fraassen’s primary realist opponents. However, little attention has been paid to Sellars’s influence on van Fraassen’s constructive empiricism and van Fraassen’s criticisms of Sellarsian realism, despite the significant impact of The Scientific Image on the realism debate and recent renewed interest in Sellars’s scientific realism. In the first half of this article, I argue that reading The Scientific Image against a Sellarsian background helps clarify and (...) justify van Fraassen’s controversial characterization of scientific realism. Sellars and van Fraassen each inhabit a recognizable position in the other’s description of the realism debate and can reciprocally recognize the other as inhabiting the opposing position. The second half of this article reconstructs van Fraassen’s objections to Sellarsian realism in The Scientific Image and its precursors. I argue that van Fraassen’s criticisms of Sellarsian realism significantly developed between his 1975 paper, “Wilfrid Sellars on Scientific Realism” and his 1980 book. (shrink)

It’s uncontroversial that notions of idealization and approximation are central to understanding computer simulations and their rationale. So, for example, one common form of computer simulation is to abandon a realistic approach that is computationally non-tractable for a more idealized but computationally tractable approach. Many simulations of systems of interacting members can be understood this way. In such simulations, realistic descriptions of individual members are replaced with less realistic descriptions which have the virtue of making interactions computationally tractable. Such simulations (...) can be supplemented with empirically determined correction factors which render the output produced by means of the idealizations more in accord, one hopes, with what the more realistic approach would have produced had it been computationally tractable. Another way to utilize computers is to replace an idealized but analytically tractable account of some phenomenon with a less idealized account which has no closed form or analytical solutions but where the computer can be used generate approximations to the desired solutions. (shrink)

We ponder the question whether quantum physics has had any influence on philosophy, and if not, whether it ought to have had any. Answers to these questions are provided, and they turn out to depend onwhichbranch of the tree of philosophy we sweep, sway and swing, and evenwhichtwig of the branch we touch when we sweep, sway and swing.

This paper explores the options available to the anti-realist to defend a Quinean empirical under-determination thesis using examples of dualities. I first explicate a version of the empirical under-determination thesis that can be brought to bear on theories of contemporary physics. Then I identify a class of examples of dualities that lead to empirical under-determination. But I argue that the resulting under-determination is benign, and is not a threat to a cautious scientific realism. Thus dualities are not new ammunition for (...) the anti-realist. The paper also shows how the number of possible interpretative options about dualities that have been considered in the literature can be reduced, and suggests a general approach to scientific realism that one may take dualities to favour. (shrink)

Approaches to the interpretation of physical theories provide accounts of how physical meaning accrues to the mathematical structure of a theory. According to many standard approaches to interpretation, meaning relations are captured by maps from the mathematical structure of the theory to statements expressing its empirical content. In this article I argue that while such accounts adequately address meaning relations when exact models are available or perturbation theory converges, they do not fare as well for models that give rise to (...) divergent perturbative expansions. Since truncations of divergent perturbative expansions often play a critical role in establishing the empirical adequacy of a theory, this is a serious deficiency. I show how to augment state-space semantics, a view developed by Beth and van Fraassen, to capture perturbatively evaluated observables even in cases where perturbation theory is divergent. This new semantics establishes a sense in which the calculations that underwrite the empirical adequacy of a theory are both meaningful and true, but requires departure from the assumption that physical meaning is captured entirely by the exact models of a theory. (shrink)

A logically complete interpretation of quantum mechanics is given in terms of a theory of quantum processes.

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)

Why is mutual understanding between two substantially different comprehensive language communities often problematic and even unattainable? To answer this question, the author first introduces a notion of presuppositional languages. Based on the semantic structure of a presuppositional language, the author identifies a significant condition necessary for effective understanding of a language: the interpreter is able to effectively understand a language only if he/she is able to recognize and comprehend its metaphysical presuppositions. The essential role of the knowledge of metaphysical presuppositions (...) in understanding is further strengthened by developing a truth-value conditional theory of understanding. It is concluded that if the interpreter approaches an incompatible alien language from the standpoint of the interpreter's own language by projecting the metaphysical presuppositions of his/her own language upon the alien language, then the mutual understanding between the two language communities is doomed to failure. (shrink)

In place of earlier instrumentalist and phenomenalist interpretations of science both Quine and Sellars have developed highly influential realist positions centering around the doctrine that accepting a theory as explanatory and irreducible rationally entails accepting the entities posited by the theory. A growing reaction against this realism is partially based on perceived inadequacies in the doctrines of Quine and Sellars, but even more on reconstructions of scientific explanations which do not involve such ontic commitments. Three types of anti-realistic positions are (...) considered and criticized. Hesse's neo-Duhemian position couples a statistical theory of inference to a downgrading of purely theoretical statements. Sneed uses the method of axiomatrization through set-theoretic predicates to supply a reconstruction of Kuhn's account of scientific development. Here Ramsey-reduction sentences serve to eliminate purely theoretical terms. The longest section deals with van Fraassen's semantic model based on a state-space representation of scientific theories and the use of this model in interpreting quantum mechanics. It is argued that the model is valuable, but that the anti-realist interpretation accorded it is not justified and entails serious inconsistencies. (shrink)

This paper explores varieties of scientific structuralism. Central to our investigation is the notion of `shared structure'. We begin with a description of mathematical structuralism and use this to point out analogies and disanalogies with scientific structuralism. Our particular focus is the semantic structuralist's attempt to use the notion of shared structure to account for the theory-world connection, this use being crucially important to both the contemporary structural empiricist and realist. We show why minimal scientific structuralism is, at the very (...) least, a powerful methodological standpoint. Our investigation also makes explicit what more must be added to this minimal structuralist position in order to address the theory-world connection, namely, an account of representation. (shrink)

Bas van Fraassen has formulated a semantical or model theoretic analysis of the structure of scientific theories. He contrasts his semantical approach with the syntactic approach of the logical positivists and argues that his theory is preferable on a number of grounds. My aims in this paper will be threefold. First, I will present a brief description of van Fraassen's approach. Secondly, I will compare his theory with that of the logical positivists and, in so doing, identify the virtues that (...) van Fraassen believes recommend, his theory over the positivist theory. Finally, I will raise an objection that is positivist in spirit which suggests that, epistemically, his account is indistinguishable from classical historicism.For van Fraassen, “To present a theory is to specify a family of structures, itsmodels; and secondly, to specify certain parts of these models (theempirical substructures) as candidates for the direct representation of observable phenomena. (shrink)