A scientific theory is successful, according to Stanford (2000), because it is suficiently observationally similar to its corresponding true theory. The Ptolemaic theory, for example, is successful because it is sufficiently similar to the Copernican theory at the observational level. The suggestion meets the scientific realists' request to explain the success of science without committing to the (approximate) truth of successful scientific theories. I argue that Stanford's proposal has a conceptual flaw. A conceptually sound explanation, I claim, respects the ontological (...) order between properties. A dependent property is to be explained in terms of its underlying property, not the other way around. The applicability of this point goes well beyond the realm of the debate between scientific realists and antirealists. Any philosophers should keep the point in mind when they attempt to give an explanation of a property in their field whatever it may be. (shrink)

There is a recent and growing trend in philosophy that involves deferring to the claims of certain disciplines outside of philosophy, such as mathematics, the natural sciences, and linguistics. According to this trend— deferentialism , as we will call it—certain disciplines outside of philosophy make claims that have a decisive bearing on philosophical disputes, where those claims are more epistemically justified than any philosophical considerations just because those claims are made by those disciplines. Deferentialists believe that certain longstanding philosophical problems (...) can be swiftly and decisively dispatched by appeal to disciplines other than philosophy. In this paper we will argue that such an attitude of uncritical deference to any non-philosophical discipline is badly misguided. With reference to the work of John Burgess and David Lewis, we consider deference to mathematics. We show that deference to mathematics is implausible and that main arguments for it fail. With reference to the work of Michael Blome-Tillmann, we consider deference to linguistics. We show that his arguments appealing to deference to linguistics are unsuccessful. We then show that naturalism does not entail deferentialism and that naturalistic considerations even motivate some anti-deferentialist views. Finally, we set out deferentialism’s failings and present our own anti-deferentialist approach to philosophical inquiry. (shrink)

In this first paper of a series of works on the foundations of science, we examine the significance of logical and mathematical frameworks used in foundational studies. In particular, we emphasize the distinction between the order of a language and the order of a structure to prevent confusing models of scientific theories with first-order structures, and which are studied in standard model theory. All of us are, of course, bound to make abuses of language even in putatively precise contexts. This (...) is not a problem—in fact, it is part of scientific and philosophical practice. But it is important to be sensitive to the dierent uses that structure, model, and language have. In this paper, we examine these topics in the context of classical logic; only in the last section we touch upon briefly on non-classical ones. (shrink)

In this essay, I attempt to outline a feminist philosophical approach to the current debate concerning (allegedly) false memories of childhood sexual abuse. Bringing the voices of feminist philosophers to bear on this issue highlights the implicit and sometimes questionable epistemological, metaphysical, and ethical-political commitments of some therapists and scientists involved in these debates. It also illuminates some current debates in and about feminist philosophy.

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

Decision-making typically requires judgments about causal relations: we need to know the causal effects of our actions and the causal relevance of various environmental factors. We investigate how several individuals' causal judgments can be aggregated into collective causal judgments. First, we consider the aggregation of causal judgments via the aggregation of probabilistic judgments, and identify the limitations of this approach. We then explore the possibility of aggregating causal judgments independently of probabilistic ones. Formally, we introduce the problem of causal-network aggregation. (...) Finally, we revisit the aggregation of probabilistic judgments when this is constrained by prior aggregation of qualitative causal judgments. (shrink)

This paper is the most complete presentation of my views on deterministic causation. It develops the deterministic theory in perfect parallel to my theory of probabilistic causation and thus unites the two aspects. It also argues that the theory presented is superior to all regularity and all counterfactual theories of causation.

This paper's purpose is to set forth the conditions of explanation in the domain of formal modelling of social action. Explanation is defined as an adequate account of the underlying factors bringing about a phenomenon. The modelling of a social phenomenon can claim explanatory value in this sense if the following two conditions are fulfilled. (1) The generative mechanisms involved translate the effects of real factors abstracted from their phenomenal context, not those of purely ideal ones. (2) The explanatory hypotheses, (...) which account for the effects of explanatory factors, and the purely descriptive hypotheses, which introduce conceptual simplifications and summarise complex secondary mechanisms, are relatively independent from each other with regard to the phenomenon represented. This condition subjects the model to testing by alternatives through the development of purely descriptive hypotheses in the sense of explanatory or analytical realism. (shrink)

I present a case for a rapprochement between aspects of rationalism and scientific realism, by way of a general framework employing modal epistemology and elements of 2-dimensional semantics (2DS). My overall argument strategy is meta-inductive: The bulk of this paper establishes a “base case,” i.e., a concretely constructive example by which I demonstrate this linkage. The base case or constructive example acts as the exemplar for generating, in a constructively ‘bottom-up’ fashion, a more generally rigorous case for rationalism-realism qua modal (...) epistemology. The exemple I choose in D. Chalmers’ (2002) modal rationalism and R. Giere’s (1985, 1988) constructive realism. I show by way of a thorough analysis how Giere’s claims concerning modal scope are characterized as instances of Chalmers’ modal rationalism, both weak and strong. In essence, as I demonstrate via Chalmers’ notions, ceteris paribus the constructive realist ultimately opts for a comparatively wider gate, characterized by modal reasoning, to lead from the rooms of conceivability qua thought experiments and models, to the pastures of metaphysical possibility. Chalmers likewise tries to erect such a wider gate, in his general conceivability-possibility theses. Anti-realists, on the other hand, see a narrower passage and my contention herein is that they suffer from modal myopia, which hopefully the ‘corrective vision’ of Chalmers’ modal rationalism can restore. In the introduction and concluding sections I sketch out suggestions of constructing ‘inductive steps’ from my base case, to generate more extensively general claims regarding realism qua rationalism. -/- . (shrink)

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)

In this paper, I focus on life-threatening medical conditions and argue that from the point of view of natural properties, induction(s), and participation in laws, at least some of the ill organisms dealt with in somatic medicine form natural kinds in the same sense in which the kinds in the exact sciences are thought of as natural. By way of comparing two ‘divisions of nature’, viz., a ‘classical’ exact science kind (gold) and a kind of disease (Graves disease), I show (...) that there is no justifiable ‘ontological gap’ between disease kinds and exact sciences kinds. We have instead a difference of degree. (shrink)

[This paper is part of a book symposium on Bas van Fraassen's Scientific Representation: Paradoxes of Perspective (OUP, 2010)].

The dominance of string theory in the research landscape of quantum gravity physics (despite any direct experimental evidence) can, I think, be justified in a variety of ways. Here I focus on an argument from mathematical fertility, broadly similar to Hilary Putnam’s ‘no miracles argument’ that, I argue, many string theorists in fact espouse in some form or other. String theory has generated many surprising, useful, and well-confirmed mathematical ‘predictions’—here I focus on mirror symmetry and the mirror theorem. These predictions (...) were made on the basis of general physical principles entering into string theory. The success of the mathematical predictions are then seen as evidence for the framework that generated them. I shall attempt to defend this argument, but there are nonetheless some serious objections to be faced. These objections can only be evaded at a considerably high (philosophical) price. (shrink)

In spite of the ‘experimental turn’ now fashionable in the philosophy of science, the question of the structure and identity criteria of scientific theories continues to be a central issue for the philosophical analysis of empirical science. We need a precise metatheory of empirical theories to deal with this issue. Metatheoretical structuralism appears to offer the most adequate approach in this sense so far. First, some basic intuitions about what empirical theories are, and how they are structured, are laid out. (...) Then, the main notions used by metatheoretical structuralism to analyze theories are explained, and they are illustrated by applying them to an example of a simple physical theory. Finally, it is argued that the picture of the structure and identity of empirical theories coming out of structuralistic analysis adequately corresponds to the basic intuitions stated at the beginning. (shrink)

Constructive empiricism - as formulated by Bas van Fraassen - makes no epistemological claims about the nature of science. Rather, it is a view about the aim of science, to be situated within van Fraassen's broader voluntarist epistemology. Yet while this epistemically minimalist framework may have various advantages in defending the epistemic relevance of constructive empiricism, I show how it also has various disadvantages in maintaining its internal coherence.

This paper offers an intellectual history of the scientific realism debate during the twentieth century. The telling of the tale will explain the philosophical significance and the prospects of the scientific realism debate, through the major turns it went through. The emphasis will be on the relations between empiricism and scientific realism and on the swing from metaphysics-hostile to metaphysics-friendly versions of realism.

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)

I defend a pragmatist reinterpretation of Sellars’s famous manifest-scientific distinction. I claim that in order to do justice to this important distinction we must first recognize, despite what philosophers—including, arguably, Sellars—often make of it, that the distinction does not draw an epistemological or metaphysical boundary between different kinds of objects and events, but a pragmatic boundary between different ways in which we interact with objects and events. Put differently, I argue that the manifest-scientific distinction, in my view, can be best (...) understood, not as a metaphysical distinction between apparent and real objects and events, or an epistemological distinction between perceptible and imperceptible objects and events, but rather as a distinction, which is not necessarily rigid over time, between distinct ways in which we collectively deal, in practice, with objects and events. (shrink)

A common argument against explanatory reductionism is that higher‐level explanations are sometimes or always preferable because they are more general than reductive explanations. Here I challenge two basic assumptions that are needed for that argument to succeed. It cannot be assumed that higher‐level explanations are more general than their lower‐level alternatives or that higher‐level explanations are general in the right way to be explanatory. I suggest a novel form of pluralism regarding levels of explanation, according to which explanations at different (...) levels are preferable in different circumstances because they offer different types of generality, which are appropriate in different circumstances of explanation. (shrink)

According to a tradition stemming from Quine and Putnam, we have the same broadly inductive reason for believing in numbers as we have for believing in electrons: certain theories that entail that there are numbers are better, qua explanations of our evidence, than any theories that do not. This paper investigates how modal theories of the form ‘Possibly, the concrete world is just as it in fact is and T’ and ‘Necessarily, if standard mathematics is true and the concrete world (...) is just as it in fact is, then T’ bear on this claim. It concludes that, while analogies with theories that attempt to eliminate unobservable concrete entities provide good reason to regard theories of the former sort as explanatorily bad, this reason does not apply to theories of the latter sort. (shrink)

According to a common belief concerning the Mach-Boltzmann debate on atoms, the new experiments performed in microphysics at the turn of the 19th and 20th centuries confirmed Boltzmann's atomic hypothesis and disproved Mach's anti-atomic view. This paper intends to show that this belief is partially unjustified. Mach's view on atoms consists in fact of different kinds of arguments. While the new experiments in microphysics refute indeed his scientific arguments against the atomic hypothesis, his epistemological arguments are unaffected. In this regard, (...) Mach's epistemological approach remains relevant for today's discussion on the status of the notion of atom. (shrink)

In Science, Truth, and Democracy (2001a), Kitcher moderates the strongest ontological realist thesis he defended in The Advancement of Science (1993a), with the aim of making compatible the correspondence theory of truth with conceptual relativity. However, it is not clear that both things could be harmonized. If our knowledge of the world is mediated by our categories and concepts; if the selection of these categories and concepts may vary according to our interests, and they are not the consequence of the (...) existence of certain supposed natural kinds or some intrinsic structure of the world, it is very problematic to establish what our true statements correspond to. This paper analyzes the transformation in Kitcher's realism and expounds the main difficulties in this project. Finally, a modality of moderate ontological realism will be proposed that, despite of keeping the sprit of the conceptual relativity, is strong enough to support the correspondence theory of truth. (shrink)

The late 19th century debate among German-speaking physicists about theoretical entities is often regarded as foreshadowing the scientific realism debate. This paper brings out differences between them by concentrating on the part of the earlier debate that was concerned with the conceptual consistency of the competing conceptions of matter—mainly, but not exclusively, of atomism. Philosophical antinomies of atomism were taken up by Emil Du Bois-Reymond in an influential lecture in 1872. Such challenges to the consistency of atomism had repercussions within (...) the physics community, as can be shown for the examples of Heinrich Hertz and Ludwig Boltzmann. The latter developed a series of counter-arguments, culminating in an ingenious attempt to turn the tables on the critics of atomism and prove the inconsistency of non-atomistic conceptions of nature. Underlying this controversy is a disagreement over specific goals of physical research which was considered crucially relevant to the further course of physical inquiry. It thereby exemplifies an attitude towards the realism issue that can be contrasted with a different, more neutral attitude of construing the realism issue as merely philosophical and indifferent with respect to concrete research programs in physics, which one also occasionally finds expressed in the 19th century controversy and which may be seen as the prevailing attitude of the 20th century debate. (shrink)

Einstein considered general covariance to characterize the novelty of his General Theory of Relativity (GTR), but Kretschmann thought it merely a formal feature that any theory could have. The claim that GTR is ``already parametrized'' suggests analyzing substantive general covariance as formal general covariance achieved without hiding preferred coordinates as scalar ``clock fields,'' much as Einstein construed general covariance as the lack of preferred coordinates. Physicists often install gauge symmetries artificially with additional fields, as in the transition from Proca's to (...) Stueckelberg's electromagnetism. Some post-positivist philosophers, due to realist sympathies, are committed to judging Stueckelberg's electromagnetism distinct from and inferior to Proca's. By contrast, physicists identify them, the differences being gauge-dependent and hence unreal. It is often useful to install gauge freedom in theories with broken gauge symmetries (second-class constraints) using a modified Batalin-Fradkin-Tyutin (BFT) procedure. Massive GTR, for which parametrization and a Lagrangian BFT-like procedure appear to coincide, mimics GTR's general covariance apart from telltale clock fields. A generalized procedure for installing artificial gauge freedom subsumes parametrization and BFT, while being more Lagrangian-friendly than BFT, leaving any primary constraints unchanged and using a non-BFT boundary condition. Artificial gauge freedom licenses a generalized Kretschmann objection. However, features of paradigm cases of artificial gauge freedom might help to demonstrate a principled distinction between substantive and merely formal gauge symmetry. (shrink)

The value of optimality modeling has long been a source of contention amongst population biologists. Here I present a view of the optimality approach as at once playing a crucial explanatory role and yet also depending on external sources of confirmation. Optimality models are not alone in facing this tension between their explanatory value and their dependence on other approaches; I suspect that the scenario is quite common in science. This investigation of the optimality approach thus serves as a case (...) study, on the basis of which I suggest that there is a widely felt tension in science between explanatory independence and broad epistemic interdependence, and that this tension influences scientific methodology. (shrink)

This chapter traces the development of structural realism within the scientific realism debate and the wider current of structuralism that has swept the philosophy of the natural sciences in the twentieth century.1 The primary aim is to make perspicuous the many manifestations of structural realism and their underlying claims. Among other things, I will compare structural realism’s various manifestations in order to throw more light onto the relations between them. At the end of the chapter, I will identify the main (...) objections raised against the epistemic form of structural realism. This last task will pave the way for the evaluation of the structural realist answer to the main epistemological question, an evaluation that will be central to the rest of this dissertation. (shrink)

Moral philosophers are, among other things, in the business of constructing moral theories. And moral theories are, among other things, supposed to explain moral phenomena. Consequently, one’s views about the nature of moral explanation will influence the kinds of moral theories one is willing to countenance. Many moral philosophers are (explicitly or implicitly) committed to a deductive model of explanation. As I see it, this commitment lies at the heart of the current debate between moral particularists and moral generalists. In (...) this paper I argue that we have good reasons to give up this commitment. In fact, I show that an examination of the literature on scientific explanation reveals that we are used to, and comfortable with, non-deductive explanations in almost all areas of inquiry. As a result, I argue that we have reason to believe that moral explanations need not be grounded in exceptionless moral principles. (shrink)

Common monogenic genetic diseases, ones that have unexpectedly high frequencies in certain populations, have attracted a great number of conflicting evolutionary explanations. This paper will attempt to explain the mystery of why two particularly extensively studied common genetic diseases, Tay Sachs disease and cystic fibrosis, remain evolutionary mysteries despite decades of research. I review the most commonly cited evolutionary processes used to explain common genetic diseases: reproductive compensation, random genetic drift (in the context of founder effect), and especially heterozygote advantage. (...) The latter process has drawn a particularly large amount of attention, having so successfully explained the elevated frequency of sickle cell anemia in malaria-endemic areas. However, the empirical evidence for heterozygote advantage in other common genetic diseases is quite weak. I introduce and illustrate the significance of a hierarchy of genetic disease phenomena found within the genetic disease explanations, which include the phenomena: single mutation variants of a common genetic disease, single genetic diseases, and classes of diseases with related phenotypic effects. I demonstrate that some of the confusion over the explanations of common genetic diseases can be traced back to confusions over which phenomena are being explained. I proceed to briefly evaluate the existing evidence for two common human genetic diseases: Tay Sachs disease and cystic fibrosis. The above considerations will ultimately shed light on why these diseases’ evolutionary explanations remain so deeply unresolved after so such a great volume of research. (shrink)

Philosophers of science have often favoured reductive approaches to how-possibly explanation. This article identifies three alternative conceptions making how-possibly explanation an interesting phenomenon in its own right. The first variety approaches “how possibly X?” by showing that X is not epistemically impossible. This can sometimes be achieved by removing misunderstandings concerning the implications of one’s current belief system but involves characteristically a modification of this belief system so that acceptance of X does not result in contradiction. The second variety offers (...) a potential how-explanation of X. It is usually followed by a range of further potential how-explanations of the same phenomenon. In recent literature the factual claims implied by the second variety have been downplayed whereas the heuristic role of mapping the space of conceptual possibilities has been emphasized. I will focus especially on this truth-bracketing sense of potentiality when looking closer at the second variety in the paper. The third variety has attracted less interest. It presents a partial how-explanation of X. Typically it aims to establish the existence of a mechanism by which X could be and was generated. The third conception stands out as the natural alternative for the advocate of ontic how-possibly explanations. This article transfers Salmon’s view that explanation-concepts can be broadly divided into epistemic, modal, and ontic to the context of how-possibly explanations. Moreover, it is argued that each of the three above-mentioned varieties of how-possibly explanation occurs in science. To recognize this may be especially relevant for philosophers. We are often misled by the promises of various why-explanation accounts, and seem to have forgotten nearly everything about the diversity of how-possibly explanations. (shrink)

Is a policy-friendly philosophy of science possible? In order to respond this question, I consider a particular instance of contemporary philosophy of science, the semantic view of scientific theories, by placing it in the broader methodological landscape of the integration of philosophy of science into STS (Science and Technology Studies) as a component of the overall contribution of the latter to science policy. In that context, I defend a multi-disciplinary methodological integration of the special discipline composing STS against a reductionist (...) interdisciplinary unification, arguing that if STS wants to contribute to policy advising by constructing narratives of science practice feasible for science policy both in terms of descriptive completeness and intelligibility, then it must avoid the explanatory reductionism tendencies of special disciplines in interdisciplinary contexts. This would favour, at the same time, a relaxation of esoteric language. On this basis, it seems that the semantic view is one right candidate among other approaches in the philosophy of science for facilitating the integration of the methodologically different contributions to STS toward policy objectives. In fact, besides offering a more realistic and descriptively complete picture of science practice with respect to its predecessor in the philosophy of science, namely the syntactic view, the semantic view is also able to capture some aspects of science practice that elude even sociological approaches to STS, thus inviting different perspective on the same subject matter. (shrink)

Scientific representation is a currently booming topic, both in analytical philosophy and in history and philosophy of science. The analytical inquiry attempts to come to terms with the relation between theory and world; while historians and philosophers of science aim to develop an account of the practice of model building in the sciences. This article provides a review of recent work within both traditions, and ultimately argues for a practice-based account of the means employed by scientists to effectively achieve representation (...) in the modelling sciences. (shrink)

One can (for the most part) formulate a model of a classical system in either the Lagrangian or the Hamiltonian framework. Though it is often thought that those two formulations are equivalent in all important ways, this is not true: the underlying geometrical structures one uses to formulate each theory are not isomorphic. This raises the question whether one of the two is a more natural framework for the representation of classical systems. In the event, the answer is yes: I (...) state and prove two technical results, inspired by simple physical arguments about the generic properties of classical systems, to the effect that, in a precise sense, classical systems evince exactly the geometric structure Lagrangian mechanics provides for the representation of systems, and none that Hamiltonian mechanics does. The argument not only clarifies the conceptual structure of the two systems of mechanics, their relations to each other, and their respective mechanisms for representing physical systems. It also provides a decisive counter-example to the semantical view of physical theories, and one, moreover, that shows its crucial deficiency: a theory must be, or at least be founded on, more than its collection of models (in the sense of Tarski), for a complete semantics requires that one take account of global structures defined by relations among the individual models. The example also shows why naively structural accounts of theory cannot work: simple isomorphism of theoretical and empirical structures is not rich enough a relation to ground a semantics. (shrink)

The idea that beliefs may be stake-sensitive is explored. This is the idea that the strength with which a single, persistent belief is held may vary and depend upon what the believer takes to be at stake. The stakes in question are tied to the truth of the belief—not, as in Pascal’s wager and other cases, to the belief’s presence. Categorical beliefs and degrees of belief are considered; both kinds of account typically exclude the idea and treat belief as stake-invariant (...) , though an exception is briefly described. The role of the assumption of stake-invariance in familiar accounts of degrees of belief is also discussed, and morals are drawn concerning finite and countable Dutch book arguments. (shrink)

For over 30 years I have argued that we need to construe science as accepting a metaphysical proposition concerning the comprehensibility of the universe. In a recent paper, Fred Muller criticizes this argument, and its implication that Bas van Fraassen’s constructive empiricism is untenable. In the present paper I argue that Muller’s criticisms are not valid. The issue is of some importance, for my argument that science accepts a metaphysical proposition is the first step in a broader argument intended to (...) demonstrate that we need to bring about a revolution in science, and ultimately in academic inquiry as a whole so that the basic aim becomes wisdom and not just knowledge. (shrink)

What attitude should we take toward a scientific theory when it competes with other scientific theories? This question elicited different answers from instrumentalists, logical positivists, constructive empiricists, scientific realists, holists, theory-ladenists, antidivisionists, falsificationists, and anarchists in the philosophy of science literature. I will summarize the diverse philosophical responses to the problem of underdetermination, and argue that there are different kinds of underdetermination, and that they should be kept apart from each other because they call for different responses.

The concept of population thinking was introduced by Ernst Mayr as the right way of thinking about the biological domain, but it is difficult to find an interpretation of this notion that is both unproblematic and does the theoretical work it was intended to do. I argue that, properly conceived, Mayr’s population thinking is a version of trope nominalism: the view that biological property-types do not exist or at least they play no explanatory role. Further, although population thinking has been (...) traditionally used to argue against essentialism about biological kinds, recently it has been suggested that it may be consistent with at least some forms of essentialism—ones that construe essential properties as relational. I argue that if population thinking is a version of trope nominalism, then, as Mayr originally claimed, it rules out any version of essentialism about biological kinds. (shrink)

In this paper I offer an appraisal of James Bogen and James Woodward’s distinction between data and phenomena which pursues two objectives. First, I aim to clarify the notion of a scientific phenomenon. Such a clarification is required because despite its intuitive plausibility it is not exactly clear how Bogen and Woodward’s distinction has to be understood. I reject one common interpretation of the distinction, endorsed for example by James McAllister and Bruce Glymour, which identifies phenomena with patterns in data (...) sets. Furthermore, I point out that other interpretations of Bogen and Woodward’s distinction do not specify the relationship between phenomena and theories in a satisfying manner. In order to avoid this problem I propose a contextual understanding of scientific phenomena according to which phenomena are states of affairs which play specific roles in scientific practice and to which we adopt a special epistemic attitude. Second, I evaluate the epistemological significance of Bogen and Woodward’s distinction with respect to the debate between scientific realists and constructive empiricists. Contrary to what Bogen and Woodward claim, I argue that the distinction does not provide a convincing argument against constructive empiricism. (shrink)

This article reveals that explanatory practice in software engineering is in accordance with pragmatic explanatory pluralism, which states that explanations should at least partially be evaluated by their practical use. More specifically, I offer a defense of the idea that several explanation-types are legitimate in software engineering, and that the appropriateness of an explanation-type depends on (a) the engineer’s interests, and (b) the format of the explanation-seeking question he asks, with this format depending on his interests. This idea is defended (...) by considering examples that are representative for explanatory practice in software engineering. Different kinds of technological explanation are spelled out, and the dependence of their appropriateness on interests and question-formats is extensively illustrated. (shrink)

Both realists and instrumentalists have found it difficult to understand (much less accept) Carnap's developed view on theoretical terms, which attempts to stake out a neutral position between realism and instrumentalism. I argue that Carnap's mature conception of a scientific theory as the conjunction of its Ramsey sentence and Carnap sentence can indeed achieve this neutral position. To see this, however, we need to see why the Newman problem raised in the context of recent work on structural realism is no (...) problem for Carnap's conception; and we also need to locate Carnap's work on theoretical terms within his wider program of Wissenschaftslogik or the logic of science. (shrink)

In this paper, I will show that the Miracle Argument is unsound if one assumes a certain form of transient underdetermination. For this aim, I will first discuss and formalize several variants of underdetermination, especially that of transient underdetermination, by means of measure theory. I will then formalize a popular and persuasive form of the Miracle Argument that is based on "use novelty". I will then proceed to the proof that the miracle argument is unsound by means of a mathematical (...) example. Finally, I will expose two hidden presuppositions of the Miracle Argument that make it so immensely though deceptively persuasive. (shrink)

There is overwhelming agreement amongst naturalists that a naturalistic ontology should not allow for the possibility of supernatural entities. I argue, against this prevailing consensus, that naturalists have no proper basis to oppose the existence of supernatural entities. Naturalism is characterized, following Leiter and Rea, as a position which involves a primary commitment to scientific methodology and it is argued that any naturalistic ontological commitments must be compatible with this primary commitment. It is further argued that properly applied scientific method (...) has warranted the acceptance of the existence of supernatural entities in the past and that it is plausible to think that it will do so again in the future. So naturalists should allow for the possibility of supernatural entities. (shrink)

The usual, comparative, conception of inference to the best explanation (IBE) takes it to be ampliative. In this paper I propose a conception of IBE ('Holmesian inference') that takes it to be a species of eliminative induction and hence not ampliative. This avoids several problems for comparative IBE (for example, how could it be reliable enough to generate knowledge?). My account of Holmesian inference raises the suspicion that it could never be applied, on the grounds that scientific hypotheses are inevitably (...) underdetermined by the evidence (i.e. are inevitably ampliative). I argue that this concern may be resisted by acknowledging, as Timothy Williamson has shown, that all knowledge is evidence. The latter suggests an approach to resisting scepticism different from those (e.g. the reliabilist approach) that embrace fallibilism. (shrink)

This essay examines the perspective from which Bas van Fraassen, in his book, The Empirical Stance, explains the project of empiricism. I argue that this perspective is a robustly transcendental perspective, which suggests that the tradition of empiricism lacks the resources to explain itself. I offer an alternative history of epistemic voluntarism in twentieth-century philosophy to the history van Fraassen himself provides, one that finds the novelty in van Fraassen's own views to be precisely his reintroduction of the knowing mind (...) into the tradition of analytic philosophy of science. (shrink)

In this paper, I distinguish scientific models in three kinds on the basis of their ontological status—material models, mathematical models and fictional models, and develop and defend an account of fictional models as fictional objects—i.e. abstract objects that stand for possible concrete objects.

The formal definition of species as explanatory hypotheses presented by Fitzhugh is emended. A species is an explanatory account of the occurrences of the same character among gonochoristic or cross-fertilizing hermaphroditic individuals by way of character origin and subsequent fixation during tokogeny. In addition to species, biological systematics also employs hypotheses that are ontogenetic, tokogenetic, intraspecific, and phylogenetic, each of which provides explanatory hypotheses for distinctly different classes of causal questions. It is suggested that species hypotheses can not be applied (...) to organisms with obligate asexual, parthenogenetic, and self-fertilizing modes of reproduction. Hypotheses explaining shared characters among such organisms are, instead, strictly phylogenetic. Several implications of this emended definition are examined, especially the relations between species, intraspecific, and phylogenetic hypotheses, as well as the limitations of species names to be applied to temporally different characters within populations. (shrink)

This paper is a review of work on Newman's objection to epistemic structural realism (ESR). In Section 2, a brief statement of ESR is provided. In Section 3, Newman's objection and its recent variants are outlined. In Section 4, two responses that argue that the objection can be evaded by abandoning the Ramsey-sentence approach to ESR are considered. In Section 5, three responses that have been put forward specifically to rescue the Ramsey-sentence approach to ESR from the modern versions of (...) the objection are discussed. Finally, in Section 6, three responses are considered that are neutral with respect to one's approach to ESR and all argue (in different ways) that the objection can be evaded by introducing the notion that some relations/structures are privileged over others. It is concluded that none of these suggestions is an adequate response to Newman's objection, which therefore remains a serious problem for ESRists. Introduction Epistemic Structural Realism 2.1 Ramsey-sentences and ESR 2.2 WESR and SESR The Objection 3.1 Newman's version 3.2 Demopoulos and Friedman's and Ketland's versions Replies that Abandon the Ramsey-Sentence Approach to ESR 4.1 Redhead's reply 4.2 French and Ladyman's reply Replies Designed to Rescue the Ramsey-Sentence Approach 5.1 Zahar's reply 5.2 Cruse's reply 5.3 Melia and Saatsi's reply Replies that Argue that Some Structures/Relations are Privileged 6.1 A Carnapian reply 6.2 Votsis' reply 6.3 The Merrill/Lewis/Psillos reply Summary CiteULike Connotea Del.icio.us What's this? (shrink)

This paper provides a rationale for advocating pancritical rationalism. First, it argues that the advocate of critical rationalism may accept (but not be internally justified in accepting) that there is ‘justification’ in an externalist sense, specifically that certain procedures can track truth, and suggest that this recognition should inform practice; that one should try to determine which sources and methods are appropriate for various aspects of inquiry, and to what extent they are. Second, it argues that if there is external (...) justification, then a critical rationalist is better off than a dogmatist from an evolutionary perspective. (shrink)

General contrastivism holds that all claims of reasons are relative to contrast classes. This approach applies to explanation (reasons why things happen), moral philosophy (reasons for action), and epistemology (reasons for belief), and it illuminates moral dilemmas, free will, and the grue paradox. In epistemology, contrast classes point toward an account of justified belief that is compatible with reliabilism and other externalisms. Contrast classes also provide a model for Pyrrhonian scepticism based on suspending belief about which contrast class is relevant. (...) This view contrasts with contextualism, invariantism, and Schaffer's contrastivism. (shrink)

The chief argument for scientific realism is the no-miracles argument, according to which the approximate truth of our current scientific theories can be inferred from their success through time. To date, anti-realist responses to the argument have been unconvincing, largely because of their anti-realistic presuppositions. In this paper, it is shown that realists cannot pre-emptively dismiss the problem of the underdetermination of theory by evidence, and that the no-miracles argument fails because it does nothing to dispel the threat posed by (...) underdetermination, although it may be effective against other anti-realistic arguments. (shrink)