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)

I consider the question of how literally one can construe the “gauge argument,” which is the canonical means of understanding the putatively central import of local gauge symmetry principles for fundamental physics. As I argue, the gauge argument must be afforded a heuristic reading. Claims to the effect that the argument reflects a deep “logic of nature” must, for numerous reasons I discuss, be taken with a grain of salt.

I consider the question of how literally one can construe the “gauge argument,” which is the canonical means of understanding the putatively central import of local gauge symmetry principles for fundamental physics. As I argue, the gauge argument must be afforded a heuristic reading. Claims to the effect that the argument reflects a deep “logic of nature” must, for numerous reasons I discuss, be taken with a grain of salt.

Analyses of dispositional ascriptions in terms of conditional statements famously confront the problems of finks and masks. We argue that conditional analyses of dispositions, even those tailored to avoid finks and masks, face five further problems. These are the problems of: (i) Achilles' heels, (ii) accidental closeness, (iii) comparatives, (iv) explaining context sensitivity, and (v) absent stimulus conditions. We conclude by offering a proposal that avoids all seven of these problems.

Antirealist explanations for the success of science have been widely discussed up to today and have received several formulations. This makes it rather complex to assess them all. The objective of this paper is to help understand and assess the proposal of an anti-realist explanation for science’s success. I show the core assumptions contained in the several anti-realist explanations, how they relate to each other, and which background assumptions are required in order to warrant each position. I argue that, since (...) the many anti-realist explanations are only plausible when maintained conjointly, there is essentially only one anti-realist account to science’s success: scientists find successful (and even fertile) theories because they use methods of theory-selection and theory-construction that preserve only successful theories; the fact that these theories prove themselves successful will not be mysterious if it is conjointly assumed that false theories are often empirically successful. This explanation relies on a semantic and a methodological view concerning the probabilistic relation between success and truth, and also on an epistemic stance regarding the limits of explanatory reasoning. The crucial divergence between realist and antirealist accounts of science's success lies in how probable they assess the possibility of a theory to be false and empirically successful. Since the stale-mate between realist and antirealist explanations results from a prior disagreement about the probabilistic connection between success and truth (or the underdetermination thesis), the challenge raised by the antirealist explanation to realism becomes equivalent to the traditional charge that the no-miracles argument is circular. (shrink)

Simpson's Paradox is introduced and analysed via the mishaps of a researcher who at first falls afoul of the traps Simpson-reversals can set, and then he learns to exploit those traps to advantage. (Note: An error in the treatment of the Sure Thing Principle is corrected in "Simpson's Paradox: A Logically Benign, Empirically Treacherous Hydra").

According to a widely shared generic conception of inferential justification—‘the standard conception’—an agent is inferentially justified in believing that p only if she has antecedently justified beliefs in all the non-redundant premises of a good argument for p. This conception tends to serve as the starting-point in contemporary debates about the nature and scope of inferential justification: as neutral common ground between various competing, more specific, conceptions. But it’s a deeply problematic starting-point. This paper explores three questions that haven’t been (...) given the attention they deserve, that complicate the application of the standard conception to cases, and that reveal it to be underspecified at the core—in ways that aren’t resolved but inherited by more specific (extant) versions of it. The goal isn’t to answer the questions, but to articulate them, explain what turns on them, and invite a critical re-examination of the standard conception. (shrink)

The semantical structures called T x W frames were introduced in (Thomason, 1984) for the Ockhamist temporal-modal language, $[Unrepresented Character]_{o}$ , which consists of the usual propositional language augmented with the Priorean operators P and F and with a possibility operator ◇. However, these structures are also suitable for interpreting an extended language, $[Unrepresented Character]_{so}$ , containing a further possibility operator $\lozenge^{s}$ which expresses synchronism among possibly incompatible histories and which can thus be thought of as a cross-history 'simultaneity' operator. (...) In the present paper we provide an infinite set of axioms in $[Unrepresented Character]_{so}$ , which is shown to be strongly complete for T x W-validity. Von Kutschera (1997) contains a finite axiomatization of T x W-validity which however makes use of the Gabbay Irreflexivity Rule (Gabbay, 1981). In order to avoid using this rule, the proof presented here develops a new technique to deal with reflexive maximal consistent sets in Henkin-style constructions. (shrink)

The word ‘probability’ in ordinary language has two different senses, here called inductive and physical probability. This paper examines the concept of inductive probability. Attempts to express this concept in other words are shown to be either incorrect or else trivial. In particular, inductive probability is not the same as degree of belief. It is argued that inductive probabilities exist; subjectivist arguments to the contrary are rebutted. Finally, it is argued that inductive probability is an important concept and that it (...) is a mistake to try to replace it with the concept of degree of belief, as is usual today. (shrink)

I conceive of inductive logic as a project of explication. The explicandum is one of the meanings of the word `probability' in ordinary language; I call it inductive probability and argue that it is logical, in a certain sense. The explicatum is a conditional probability function that is specified by stipulative definition. This conception of inductive logic is close to Carnap's, but common objections to Carnapian inductive logic (the probabilities don't exist, are arbitrary, etc.) do not apply to this conception.

Why should interpretation of conceptual schemes and practices across traditions work at all? In this paper we present the following necessary conditions of possibility for interpretation in comparative and Chinese philosophy: the interpreter must presuppose that there are mutually recognizable human practices; the interpreter must presuppose that “the other” is, on the whole, sincere, consistent, and right; the interpreter must be committed to certain epistemic virtues. Some of these necessary conditions are consistent with the fact that interpretation is not thwarted (...) by the “danger” of relativism or of incommensurability. Some other conditions are suggestive of reorientations of methodologies of comparative and Chinese philosophy. (shrink)

It is usually supposed that the central limit theorem explains why various quantities we find in nature are approximately normally distributed—people's heights, examination grades, snowflake sizes, and so on. This sort of explanation is found in many textbooks across the sciences, particularly in biology, economics, and sociology. Contrary to this received wisdom, I argue that in many cases we are not justified in claiming that the central limit theorem explains why a particular quantity is normally distributed, and that in some (...) cases, we are actually wrong. 1 Introduction2 Normal Distributions and the Central Limit Theorem2.1 Normal distributions2.2 The central limit theorem2.3 Terminology3 Explaining Normality3.1 Loaves of bread3.2 Varying variances and probability densities3.3 Tensile strengths and problems with summation3.4 Products of factors and log-normal distributions3.5 Transforming factors and sub-factors3.6 Transformations of quantities3.7 Quantitative genetics3.8 Inference to the best explanation4 Maximum Entropy Explanations5 Conclusion. (shrink)

Syntactic approaches in the philosophy of science, which are based on formalizations in predicate logic, are often considered in principle inferior to semantic approaches, which are based on formalizations with the help of structures. To compare the two kinds of approach, I identify some ambiguities in common semantic accounts and explicate the concept of a structure in a way that avoids hidden references to a specific vocabulary. From there, I argue that contrary to common opinion (i) unintended models do not (...) pose a significant problem for syntactic approaches to scientific theories, (ii) syntactic approaches can be at least as language-independent as semantic ones, and (iii) in syntactic approaches, scientific theories can be as well connected to the world as in semantic ones. Based on these results, I argue that syntactic and semantic approaches fare equally well when it comes to (iv) ease of application, (v) accommodating the use of models in the sciences, and (vi) capturing the theory-observation relation. (shrink)

Celem artykułu jest częściowe uzasadnienie negacji tezy, którą nazywam tezą o genezie realizmu strukturalnego. Dotyczy ona postulowanych w obrębie pewnej metafilozoficznej narracji związków między współczesnymi stanowiskami zwanymi epistemicznym realizmem strukturalnym i ontycznym realizmem strukturalnym a poglądami filozofów z początku XX wieku. W artykule rekonstruuję wymienione dwa stanowiska, postulowane związki, jakie mają one mieć z dwoma filozofami, Henri Poincarém oraz Ernstem Cassirerem, a następnie przedstawiam, dlaczego te postulowane związki są nietrafnie rozpoznane. Niesie to za sobą wnioski dotyczące swoistości wymienionych stanowisk oraz (...) pojęć obiektywności i rzeczywistości w ich kontekście. (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)

I provide an explicit formulation of empirical adequacy, the central concept of constructive empiricism, and point out a number of problems. Based on one of the inspirations for empirical adequacy, I generalize the notion of a theory to avoid implausible presumptions about the relation of theoretical concepts and observations, and generalize empirical adequacy with the help of approximation sets to allow for lack of knowledge, approximations, and successive gain of knowledge and precision. As a test case, I provide an application (...) of these generalizations to a simple interference phenomenon. (shrink)

I show that the central notion of Constructive Empiricism, empirical adequacy, can be expressed syntactically and specifically in the Received View of the logical empiricists. The formalization shows that the Received View is superior to Constructive Empiricism in the treatment of theories involving constants or functions from observable to unobservable objects. It also suggests a formalization of ‘full empirical informativeness’ in Constructive Empiricism.

In a recent paper, Appley and Stoutenburg present two new objections to Explanationist Evidentialism : the Regress Objection and the Threshold Objection. In this paper, I develop a version of EE that is independently plausible and empirically grounded, and show that it can meet Appley and Stoutenburg’s objections.

One of the modern approaches to the laws of nature regards them as relations between universals. The most advanced version of such an approach has been presented by D. M. Armstrong. The aim of this paper is to reconstruct and interpret Armstrong’s conception but also to evaluate his theory and to point out what expectations from it are inadequate. My point of reference are two objections to Armstrong’s ideas, namely the problems of identification and inference. I claim that Armstrong’s theory (...) in general and his response to both problems in particular are based on some fundamental metaphysical principles, namely: the principle of identity for universals, the principle of non-contradiction, the relational principle of the indiscernibility of identicals and the principle of contingent necessity. The central part of my interpretation shows how from the laws of nature, properly understood, the occurrence of some states of affairs necessarily results provided that these principles are employed. (shrink)

In this paper, I discuss the problem of scientific laws in general and laws of biology in particular. After reviewing the debate around the existence of laws in biology, I examine the subject in the light of the structuralist notion of a fundamental law and argue for the law of matching as the fundamental law of genetics.

The Humean best systems account identifies laws of nature with the regularities in a system of truths that, as a whole, best conforms to scientific standards for theory-choice. A principled problem for the BSA is that it returns the wrong verdicts about laws in cases where multiple systems, containing different regularities, satisfy these standards equally well. This problem affects every version of the BSA because it arises regardless of which standards for theory-choice Humeans adopt. In this paper, we propose a (...) Humean response to the problem. We invoke pragmatic aspects of Humean laws to show that the BSA, despite violating some of our intuitive judgements, can capture everything that is relevant for scientific practice. (shrink)

This paper develops an account of the metaphysics of fundamental laws I call “the Package Deal Account ” that is a descendent of Lewis’ BSA but differs from it in a number of significant ways. It also rejects some elements of the metaphysics in which Lewis develops his BSA. First, Lewis proposed a metaphysical thesis about fundamental properties he calls “Humean Supervenience” according to which all fundamental properties are instantiated by points or point sized individuals and the only fundamental relations (...) are geometrical spatial and temporal relations between these. While the BSA does not require HS Lewis seems to hope that it is true. In contrast, the PDA is not committed to HS or even to the fundamental arena in which fundamental properties are instantiated possessing geometrical structure and thus is able to accommodate relations and structures found in contemporary physics that apparently conflict with HS. Second, although Lewis’ BSA doesn’t require HS his Humeanism does require that fundamental properties are categorical. In contrast, the PDA allows for the possibility that fundamental properties are individuated in terms of laws and so are not categorical. Third, the PDA expands and develops the criteria for what counts in favor of a candidate system with more attention to the criteria employed by physicists in evaluating proposed theories. Fourth and most importantly, unlike Lewis’ BSA, the PDA does not presuppose metaphysically primitive elite properties/quantities that Lewis calls “perfectly natural” properties/quantities or presuppose a metaphysically preferred language whose terms denote such properties/quantities. It replaces Lewis’ account with an account on which natural properties are not metaphysically prior to the laws but are elements of a package that includes a fundamental arena that plays the role of space-time as well as fundamental laws and properties. By doing so it responds to some epistemological and metaphysical issues that have been raised regarding natural properties and their role in the BSA. In sum, the PDA goes further in explicating the notion of laws in terms of the aims and practices of science especially fundamental physics rather than in terms of prior metaphysics. I begin by reviewing Lewis’ account of perfectly natural properties and his Humean BSA of laws. (shrink)

Among the most important questions in the metaphysics of science are "What are the natures of fundamental laws and chances?" and "What grounds the direction of time?" My aim in this paper is to examine some connections between these questions, discuss two approaches to answering them and argue in favor of one. Along the way I will raise and comment on a number of issues concerning the relationship between physics and metaphysics and consequences for the subject matter and methodology of (...) metaphysics. (shrink)

Humean reductionism about laws of nature appears to leave a central aspect of scientific practice unmotivated: If the world’s fundamental structure is exhausted by the actual distribution of non-modal properties and the laws of nature are merely efficient summaries of this distribution, then why does science posit laws that cover a wide range of non-actual circumstances? In this paper, we develop a new version of the Humean best systems account of laws based on the idea that laws need to organize (...) information in a way that maximizes their cognitive usefulness for creature like us. We argue that this account motivates scientific practice because the laws’ applicability to non-actual circumstances falls right out of their cognitive usefulness. (shrink)

In this article my primary intention is to engage in a discussion on the inherent constraints of models, taken as models of theories, that reaches beyond the epistemological level. Naturally the paper takes into account the ongoing debate between proponents of the syntactic and the semantic view of theories and that between proponents of the various versions of scientific realism, reaching down to the most fundamental, subjective level of discourse. In this approach, while allowing for a limited discussion of physical (...) and positive science models, I am primarily focused on the structure and ontology of mathematical models, in particular Cohen’s forcing models and to a lesser extent Gödel’s constructible universe, to the extent that these were designed to answer questions bearing on the scope, the capacity and ultimately the ontology of models themselves, therefore influencing in one or the other way the status of models in general. This status, it is argued, is largely defined by the way models subsume a set-theoretical structure whose constraints, reducible to an extra-linguistic level of discourse, may implicitly condition the epistemic status of models as representations of axiomatic theories. In the last section I deal extensively with the inner constraints of theories as subjectively originated in a less technical philosophically oriented discussion with certain prompts from phenomenology. (shrink)

The paper, as Part I of a two-part series, argues for a hybrid formulation of the semantic view of scientific theories. For stage-setting, it first reviews the elements of the model theory in mathematical logic (on whose foundation the semantic view rests), the syntactic and the semantic view, and the different notions of models used in the practice of science. The paper then argues for an integration of the notions into the semantic view, and thereby offers a hybrid semantic view, (...) which at once secures the view's logical foundations and enhances its applicability. The dilemma of either losing touch with the practice of science or yielding up the benefits of the model theory is thus avoided. (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)

Traditional theories construe approximate truth or truthlikeness as a measure of closeness to facts, singular facts, and idealization as an act of either assuming zero of otherwise very small differences from facts or imagining ideal conditions under which scientific laws are either approximately true or will be so when the conditions are relaxed. I first explain the serious but not insurmountable difficulties for the theories of approximation, and then argue that more serious and perhaps insurmountable difficulties for the theory of (...) idealization force us to sever its close tie to approximation. This leads to an appreciation of lawlikeness as a measure of closeness to laws, which I argue is the real measure of idealization whose main purpose is to carve nature at its joints. (shrink)

Scientists often think of the world as a dynamical system, a stochastic process, or a generalization of such a system. Prominent examples of systems are the system of planets orbiting the sun or any other classical mechanical system, a hydrogen atom or any other quantum–mechanical system, and the earth’s atmosphere or any other statistical mechanical system. We introduce a general and unified framework for describing such systems and show how it can be used to examine some familiar philosophical questions, including (...) the following: how can we define nomological possibility, necessity, determinism, and indeterminism; what are symmetries and laws; what regularities must a system display to make scientific inference possible; how might principles of parsimony such as Occam’s Razor help when we make such inferences; what is the role of space and time in a system; and might they be emergent features? Our framework is intended to serve as a toolbox for the formal analysis of systems that is applicable in several areas of philosophy. (shrink)

In this essay, I defend a bi-constructivist approach to ethology—a constructivist ethology assuming that each animal adopts constructivist strategies. I put it in opposition to what I call a realist-Cartesian approach, which is currently the dominant approach to ethology and comparative psychology. The starting point of the bi-constructivist approach can be formulated as a shift from the classical Aristotelian question “What is an animal?” to the Spinozean question, which is much less classical but which seems to me to be much (...) stronger: “What are the capacities of the animal?”. Is it possible to conceptualize an ethology which insists on interpretation and therefore on invention, innovation and creativity, rather than on causality, the monotony of behavioural routines, and/or genetic or environmental determination? Such an ethology would be based not on the fiction of an absent observer but on fully recognizing the necessity of an observer, who is effectively present in order to get an observation. A pluralistic ethology does not dissociate itself from the marginal epistemologies of practitioners like animal trainers, hunters, stockbreeders etc., or, moreover, non-western experts. An ethology of this kind is not clamped within the boundaries of purely academic epistemology, obsessed by demarcation lines between the human and the animal. My work on the bi-constructivist approach represents a contribution towards the elaboration of an authentically biosemiotic ethology, one which is significantly different from the mechanical ethology of today. (shrink)

Naturalism in Mathematics PENELOPE MADDY, 1997 Oxford, Oxford University Press viii + 254 pp., $CAN91, ISBN 0–19–823573–9 Bohmian Mechanics and Quantum Theory: an Appraisal JAMES T. CUSHING, ARTHUR FINE & SHELDON GOLDSTEIN, 1996 Dordrecht, Kluwer viii + 403, pp., US$159.00, ISBN 0–7923–4028–0 Pragmatism as a Principle and Method of Right Thinking: the 1903 Harvard Lectures on Pragmatism CHARLES SANDERS PEIRCE, 1997 Edited and introduced, with a commentary, by PATRICIA ANN TURRISI Albany, State University of New York Press xi + 305 (...) pp., $26.53 ISBN 0–7914–3265–3 ISBN 0–7914–3266–1. (shrink)

David Armstrong once argued that to solve the problem of induction with inference to the best explanation we need an anti-Humean conception of law. Some Humeans have argued that this argument begs the question against Humeanism. In this paper, I propose a new argument for the same conclusion which is not vulnerable to this criticism. In particular, I argue that explanationist approaches to the problem of induction that are combined with Humeanism is internally incoherent.

Constructive Empiricism, the view introduced in The Scientific Image, is a view of science, an answer to the question “what is science?” Arthur Fine’s and Paul Teller’s contributions to this symposium challenge especially two key ideas required to formu- late that view, namely the observable/unobservable and accept- ance/belief distinctions. I wish to thank them not only for their insightful critique but also for the support they include. For they illuminate and counter some misunderstandings of Constructive Empiricism along the way. That (...) leaves me free to focus on those two main challenges. The three of us share a good deal of common history. So it is perhaps only remarkable, and not astonishing, that we now share a common leaning to Pragmatism in philosophy. Of us three I am clearly themost conservative in this respect, especially as pertaining to truth, reference, and belief.2 Arthur Fine showed very nicely how Constructive Empiricism could have been conceived under the canopy of Dewey’s Instrumentalism. Much of it could appear as a Corollary to that sort of Instrumentalism, I agree. But in fact Iwould not be happy to land in that general Pragmatist position. (shrink)

In this paper I offer a coherentist justification of induction along the lines of a Sellarsian coherence theory. On this coherence theory, a proposition is justified if we can answer all objections raised against it in our social practice of demanding justification and responding to such demands. On the basis of this theory of justification, I argue that we are justified in accepting the uniformity of nature partly because we have no alternative but to accept it for rationally pursuing our (...) epistemic goal. In addition, my coherentist view explains which inductive inferences it is rational to accept. Furthermore, my coherentist view also explains why we can hardly determine a particular numerical value x such that we can draw the conclusion ‘it is rational to accept that p’ from the premise ‘the numerical probability of p is greater than or equal to x’. (shrink)

In this paper, a modest version of the Semantic View is motivated as both tenable and potentially fruitful for philosophy of science. An analysis is proposed in which the Semantic View is characterized by three main claims. For each of these claims, a distinction is made between stronger and more modest interpretations. It is argued that the criticisms recently leveled against the Semantic View hold only under the stronger interpretations of these claims. However, if one only commits to the modest (...) interpretation for all the claims, then the view obtained, the Modest Semantic View, is tenable and fruitful for the philosophy of science. (shrink)

The view that takes laws of nature to be essentially nothing more than descriptions of facts is still rather popular. The present article, on the contrary, defends the claim that the only real motivation for defending a descriptive view of laws—the quest for ontological parsimony—entails too high a price to pay in philosophical terms. It is argued that nomic primitivism, namely the alternative option that takes laws to be primitive fundamental entities in our ontology, is decisively more appealing, since it (...) is the crucial role assigned to laws that makes a scientific theory of natural phenomena a system rather than a list. Finally, the implications that nomic primitivism might have for the issue of the status of the wave function in that particular formulation of quantum mechanics known as Bohmian mechanics are considered. (shrink)

In this paper a simple model in particle dynamics of a well-known supertask is constructed (the supertask was introduced by Max Black some years ago). As a consequence, a new and simple result about creation ex nihilo of particles can be proved compatible with classical dynamics. This result cannot be avoided by imposing boundary conditions at spatial infinity, and therefore is really new in the literature. It follows that there is no reason why even a world of rigid spheres should (...) be eternal, as has been erroneously assumed, especially since the time of Newton. (shrink)

Recent semantic approaches to scientific structuralism, aiming to make precise the concept of shared structure between models, formally frame a model as a type of set-structure. This framework is then used to provide a semantic account of (a) the structure of a scientific theory, (b) the applicability of a mathematical theory to a physical theory, and (c) the structural realist’s appeal to the structural continuity between successive physical theories. In this paper, I challenge the idea that, to be so used, (...) the concept of a model and so the concept of shared structure between models must be formally framed within a single unified framework, set-theoretic or other. I first investigate the Bourbaki-inspired assumption that structures are types of set-structured systems and next consider the extent to which this problematic assumption underpins both Suppes’ and recent semantic views of the structure of a scientific theory. I then use this investigation to show that, when it comes to using the concept of shared structure, there is no need to agree with French that “without a formal framework for explicating this concept of ‘structure-similarity’ it remains vague, just as Giere’s concept of similarity between models does ...” (French, 2000, Synthese, 125, pp. 103–120, p. 114). Neither concept is vague; either can be made precise by appealing to the concept of a morphism, but it is the context (and not any set-theoretic type) that determines the appropriate kind of morphism. I make use of French’s (1999, From physics to philosophy (pp. 187–207). Cambridge: Cambridge University Press) own example from the development of quantum theory to show that, for both Weyl and Wigner’s programmes, it was the context of considering the ‘relevant symmetries’ that determined that the appropriate kind of morphism was the one that preserved the shared Lie-group structure of both the theoretical and phenomenological models. (shrink)

After reviewing several failed arguments that laws cannot change, I use the laws' special relation to counterfactuals to show how temporary laws would have to differ from eternal but time-dependent laws. Then I argue that temporary laws are impossible and that neither Lewis's nor Armstrong's analyses of law nicely accounts for the laws' immutability. *Received September 2006; revised September 2007. ‡Many thanks to John Roberts and John Carroll for valuable comments on earlier drafts, as well as to several anonymous referees (...) for their good suggestions. †To contact the author, please write to: Department of Philosophy, University of North Carolina, CB #3125, Caldwell Hall, Chapel Hill, NC 27599-3125; e-mail: [email protected]. (shrink)

Constructive empiricism is supposed to offer a positive alternative to scientific realism that dispenses with the need for metaphysics. I first review the terms of the debate before arguing that the standard objections to constructive empiricism are not decisive. I then explain van Fraassen's views on modality and counterfactuals, and argue that, because constructive empiricism recommends on epistemological grounds belief in the empirical adequacy rather than the truth of theories, it requires that there be an objective modal distinction between the (...) observable and the unobservable. This conclusion is incompatible with van Fraassen's empiricism. Finally I explain some further problems for constructive empiricism that arise when we consider modal matters. (shrink)

The present paper concerns how scientific realism is formulated and defended. It is argued that van Fraassen is fundamentally right that scientific realism requires metaphysics in general, and modality in particular. This is because of several relationships that raise problems for the ontology of scientific realism, namely those between: scientific realism and common sense realism; past and current theories; the sciences of different scales; and the ontologies of the special sciences and fundamental physics. These problems are related. It is argued (...) that ontic structural realism, in the form of the real-patterns account of ontology, offers a unified solution to them all. (shrink)

While there are many examples of metaphysical theorising being heuristically and intellectually important in the progress of scientific knowledge, many people wonder how metaphysics not closely informed and inspired by empirical science could lead to rival or even supplementary knowledge about the world. This paper assesses the merits of a popular defence of the a priori methodology of metaphysics that goes as follows. The first task of the metaphysician, like the scientist, is to construct a hypothesis that accounts for the (...) phenomena in question. It is then argued that among the possible metaphysical theories, the empirical evidence underdetermines the right one, just as the empirical evidence underdetermines the right scientific theory. In the latter case it is widely agreed that we must break the underdetermination by appeal to theoretical virtues, and this is just what should be and largely is done in metaphysics. This is part of a more general line of argument that defends metaphysics on the basis of its alleged continuity with highly theoretical science. In what follows metaphysics and theoretical science are compared in order to see whether the above style of defence of a priori metaphysics is successful. (shrink)