Although many aspects of Inference to the Best Explanation have been extensively discussed, very little has so far been said about what it takes for a hypothesis to count as a rival explanatory hypothesis in the context of IBE. The primary aim of this article is to rectify this situation by arguing for a specific account of explanatory rivalry. On this account, explanatory rivals are complete explanations of a given explanandum. When explanatory rivals are conceived of in this way, I (...) argue that IBE is a more plausible and defensible rule of inference than it would otherwise be. The secondary aim of the article is to demonstrate the importance of accounts of explanatory rivalry by examining a prominent philosophical argument in which IBE is employed, viz. the so-called Ultimate Argument for scientific realism. In short, I argue that a well-known objection to the Ultimate Argument due to Arthur Fine fails in virtue of tacitly assuming an account of explanatory rivalry that we have independent reasons to reject. (shrink)

Scientific realism, the position that successful theories are likely to be approximately true, is threatened by the pessimistic induction according to which the history of science is full of suc- cessful, but false theories. I aim to defend scientific realism against the pessimistic induction. My main thesis is that our current best theories each enjoy a very high degree of predictive success, far higher than was enjoyed by any of the refuted theories. I support this thesis by showing that both (...) the amount, and quality, of scientific evidence has increased enormously in the recent past, resulting in a big boost of success for the best theories. (shrink)

I review prominent historical arguments against scientific realism to indicate how they display a systematic overshooting in the conclusions drawn from the historical evidence. The root of the overshooting can be located in some critical, undue presuppositions regarding realism. I will highlight these presuppositions in connection with both Laudan’s ‘Old induction’ and Stanford’s New induction, and then delineate a minimal realist view that does without the problematic presuppositions.

According to Ian Hacking’s Entity Realism, unobservable entities that scientists carefully manipulate to study other phenomena are real. Although Hacking presents his case in an intuitive, attractive, and persuasive way, his argument remains elusive. I present five possible readings of Hacking’s argument: a no-miracle argument, an indispensability argument, a transcendental argument, a Vichian argument, and a non-argument. I elucidate Hacking’s argument according to each reading, and review their strengths, their weaknesses, and their compatibility with each other.

Realism and surrealism claim, respectively, that a scientific theory is successful because it is true, and because the world operates as if it is true. Lyons :891–901, 2003) criticizes realism and argues that surrealism is superior to realism. I reply that Lyons’s criticisms against realism fail. I also attempt to establish the following two claims: Realism and surrealism lead to a useful prescription and a useless prescription, respectively, on how to make an unsuccessful theory successful. Realism and surrealism give the (...) credit for the success of a theory to an appropriate factor and to an inappropriate factor, respectively. Finally, I point out that surrealism is vulnerable to my pessimistic induction :3–21, 2014a) against antirealism. (shrink)

Turing computation over a non-linguistic domain presupposes a notation for the domain. Accordingly, computability theory studies notations for various non-linguistic domains. It illuminates how different ways of representing a domain support different finite mechanical procedures over that domain. Formal definitions and theorems yield a principled classification of notations based upon their computational properties. To understand computability theory, we must recognize that representation is a key target of mathematical inquiry. We must also recognize that computability theory is an intensional enterprise: it (...) studies entities as represented in certain ways, rather than entities detached from any means of representing them. (shrink)

Social groups, including racial and gender groups and teams and committees, seem to play an important role in our world. This article examines key metaphysical questions regarding groups. I examine answers to the question ‘Do groups exist?’ I argue that worries about puzzles of composition, motivations to accept methodological individualism, and a rejection of Racialism support a negative answer to the question. An affirmative answer is supported by arguments that groups are efficacious, indispensible to our best theories, and accepted given (...) common sense. Then, I turn to an examination of the features of social groups. I argue that social groups can be divided into two sorts. Groups of Type 1 are organized social groups like courts and clubs. Groups of Type 2 are groups like Blacks, women, and lesbians. While groups of both sorts have some features in common, they also have marked differences in features. Finally, I turn to views of the nature of social groups. I argue that the difference in features provides evidence that social groups do not have a uniform nature. Teams and committees are structured wholes, while race and gender groups are social kinds. (shrink)

Selective scientific realists disagree on which theoretical posits should be regarded as essential to the empirical success of a scientific theory. A satisfactory account of essentialness will show that the (approximate) truth of the selected posits adequately explains the success of the theory. Therefore, (a) the essential elements must be discernible prospectively; (b) there cannot be a priori criteria regarding which type of posit is essential; and (c) the overall success of a theory, or ‘cluster’ of propositions, not only individual (...) derivations, should be explicable. Given these desiderata, I propose a “unification criterion” for identifying essential elements. (shrink)

In this article I consider what it would take to combine a certain kind of mathematical Platonism with serious presentism. I argue that a Platonist moved to accept the existence of mathematical objects on the basis of an indispensability argument faces a significant challenge if she wishes to accept presentism. This is because, on the one hand, the indispensability argument can be reformulated as a new argument for the existence of past entities and, on the other hand, if one accepts (...) the indispensability argument for mathematical objects then it is hard to resist the analogous argument for the existence of the past. (shrink)

Logical pluralism has been in vogue since JC Beall and Greg Restall 2006 articulated and defended a new pluralist thesis. Recent criticisms such as Priest 2006a and Field 2009 have suggested that there is a relationship between their type of logical pluralism and the meaning-variance thesis for logic. This is the claim, often associated with Quine 1970, that a change of logic entails a change of meaning. Here we explore the connection between logical pluralism and meaning-variance, both in general and (...) for Beall and Restall's theory specifically. We argue that contrary to what Beall and Restall claim, their type of pluralism is wedded to meaning-variance. We then develop an alternative form of logical pluralism that circumvents at least some forms of meaning-variance. (shrink)

Recently, nominalists have made a case against the Quine–Putnam indispensability argument for mathematical Platonism by taking issue with Quine’s criterion of ontological commitment. In this paper I propose and defend an indispensability argument founded on an alternative criterion of ontological commitment: that advocated by David Armstrong. By defending such an argument I place the burden back onto the nominalist to defend her favourite criterion of ontological commitment and, furthermore, show that criterion cannot be used to formulate a plausible form of (...) the indispensability argument. (shrink)

In the context of calls for "postpositivist" sociology, realism has emerged as a powerful and compelling epistemology for social science. In transferring and transforming scientific realism --a philosophy of natural science--into a justificatory discourse for social science, realism splits into two parts: a strict, highly naturalistic realism and a reflexive, more mediated, and critical realism. Both forms of realism, however, suffer from conceptual ambiguities, omissions, and elisions that make them an inappropriate epistemology for social science. Examination of these problems in (...) detail reveals how a different perspective--centered on the interpretation of meaning--could provide a better justification for social inquiry, and in particular a better understanding of sociological theory and the construction of sociological explanations. (shrink)

The intimate relationship between X and Y consists in the existence of (metaphysically) necessary truths correlating their occurrences/existences/instantiations. E would be in some sense “overdetermined” if caused by both X and Y.2 Some philosophers say this would be bad, that this cannot or does not happen, that we should construct theories ruling it out, at least in certain cases.3 But why? Given the necessary truths correlating objects and their parts, objects and events concerning those objects, physical and supervenient mental properties, (...) and so on, X and Y do both seem to be causes of E. Should we say that a baseball.. (shrink)

The paper reconstructs Moore's Open Question Argument (OQA) and discusses its rise and fall. There are three basic objections to the OQA: Geach's point, that Moore presupposes that ?good? is a predicative adjective (whereas it is in fact attributive); Lewy's point, that it leads straight to the Paradox of Analysis; and Durrant's point that even if 'good' is not synonymous with any naturalistic predicate, goodness might be synthetically identical with a naturalistic property. As against Geach, I argue that 'good' has (...) both predicative and attributive uses and that in moral contexts it is difficult to give a naturalistic account of the attributive 'good'. To deal with Lewy, I reformulate the OQA. But the bulk of the paper is devoted to Durrant's objection. I argue that the post-Moorean programme of looking for synthetic identities between moral and naturalistic properties is either redundant or impossible. For it can be carried through only if 'good' expresses an empirical concept, in which case it is redundant since naturalism is true. But 'good' does not express an empirical concept (a point proved by the reformulated OQA). Hence synthetic naturalism is impossible. I discuss direct reference as a possible way out for the synthetic naturalist and conclude that it will not work. The OQA may be a bit battered but it works after a fashion. (shrink)

It is argued that Arthur Fine's “natural ontological attitude” (NOA), i.e., the view that science should not be philosophically (either realistically or anti‐realistically) interpreted at all but should rather be allowed to “speak for itself”, is seriously problematic, even though it contains deep insights which philosophers of science should take into account. In particular, Fine succeeds in showing that no non‐question‐begging, conclusive demonstration of scientific realism (e.g., on “explanationist” grounds) is possible. But this is not a threat to scientific realism, (...) if realism is subordinated to pragmatism. From the pragmatic point of view, the demand for a non‐circular proof of scientific realism is mistaken. Rather, realism can be seen as our natural attitude, based on our practices, scientific and otherwise. Fine's NOA turns out to be, on a charitable reading, quite close to a version of pragmatic realism. The paper concludes by briefly examining the idea of regarding realism as a “narrative explanation” of science. (shrink)

This paper discusses in broad terms the metaphysical projects of Sydney Shoemaker’s Physical Realization . Specifically, I examine the effectiveness of Shoemaker’s novel “subset” account of realization for defusing the problem of mental causation, and compare the “subset” account with the standard “second-order” account. Finally, I discuss the physicalist status of the metaphysical worldview presented in Shoemaker’s important new contribution to philosophy of mind and metaphysics.

If you are a realist about groups there are three main theories of what to identify groups with. I offer reasons for thinking that two of those theories fail to meet important desiderata. The third option is to identify groups with sets, which meets all of the desiderata if only we take care over which sets they are identified with. I then canvass some possible objections to that third theory, and explain how to avoid them.

In this essay, I offer a critical evaluation of Hilary Putnam's writings on epistemology and philosophy of science, in particular his engagement with interpretative problems in quantum mechanics. I trace the development of his thinking from the late 1960s when he adopted a strong causal-realist position on issues of meaning, reference, and truth, via the "internal realist" approach of his middle-period writings, to the various forms of pragmatist, naturalized, or "commonsense" epistemology proposed in his latest books. My contention is that (...) Putnam's retreat from a full-fledged realist outlook has been prompted in large part by his belief that it cannot possibly be reconciled with the implications of quantum mechanics for our understanding of processes and events in the subatomic domain. However, I suggest, this response should be seen as premature given the range of as-yet unresolved problems with quantum mechanics on the orthodox (Copenhagen) interpretation and also the existence of an alternative account - David Bohm's hidden-variables theory - which perfectly matches the established predictive-observational results while providing a credible realist ontology. I also examine Putnam's case for adopting a nonstandard (three-valued) "quantum logic" in relation to the thinking of other philosophers - Michael Dummett among them - who have espoused a more global or doctrinaire version of anti-realism. I conclude that Putnam's early (causal-realist) position is by no means untenable in light of the various arguments that he now takes as counting decisively against it. (shrink)

It is argued that philosophical realism is well suited to serve as a perspective from which to understand nursing, and that it should be considered as an alternative to positivist, interpretivist, hermeneutical and phenomenological approaches. However, existing forms of realism, including theory and entity realism are shown to be faced with serious problems. In response, an alternative form ‘constraint realism’ is outlined, and shown to be apposite for illuminating the rule or convention governed behaviour characteristic of human beings. A brief (...) sketch is offered of its application to the social practice of nursing. (shrink)

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics ascribe to him. Contrary to (...) appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument. (shrink)

I discuss the idea of relativistic causality, i.e., the requirement that causal processes or signals can propagate only within the light-cone. After briefly locating this requirement in the philosophy of causation, my main aim is to draw philosophers' attention to the fact that it is subtle, indeed problematic, in relativistic quantum physics: there are scenarios in which it seems to fail. I set aside two such scenarios, which are familiar to philosophers of physics: the pilot-wave approach, and the Newton-Wigner representation. (...) I instead stress two unfamiliar scenarios: the Drummond-Hathrell and Scharnhorst effects. These effects also illustrate a general moral in the philosophy of geometry: that the mathematical structures, especially the metric tensor, that represent geometry get their geometric significance by dint of detailed physical arguments. (shrink)

I argue that scientific and poetic modes of objectivity are perspectival duals: 'views' from and onto basic natural forces, respectively. I ground this analysis in a general account of objectivity, not in terms of either 'universal' or 'inter-subjective' validity, but as receptivity to basic features of reality. Contra traditionalists, bare truth, factual knowledge, and universally valid representation are not inherently valuable. But modern critics who focus primarily on the self-expressive aspect of science are also wrong to claim that our knowledge (...) is or should be ultimately mediated by ourselves. In objective science, we represent nature as a field of phenomena determined by and within explanatorily-basic physical structures that encode the causal impact of elemental physical forces. These causally-basic forces hence ground the possibility of objective scientific theory, even though (I argue) they are systematically excluded from its representational contents. I show how my notions of force and field emerge partly through my effort to naturalize concepts of 'God' and 'Laws' in 17th-century natural philosophy. In science, we use the structure of basic forces' impact to see corresponding objects. We do not see these forces themselves—and this relates to the 'transcendence' of 'God'. I supplement this historical analysis by critiquing standard accounts of objectivity, and by synthesizing elements from neo-Kantian epistemology and current 'structural' realism into a view that I call 'dynamic structuralism'. Finally, I argue that physics systematically relies on passive characterizations of phenomena like inertia and impressed force. Dynamic alternatives that are just as empirically adequate are possible, but they are non-scientific. Poetic objectivity involves a direct presentation of nature as an order of interacting forces. I elaborate first by developing a novel theory of the relation between beauty and sublimity, mediated by a basic category of 'sensory force' (e.g. a 'singing' tone in a beautiful melody). I then describe the interaction between sensory and affective dimensions of aesthetic experience, in relation to an original historical analysis of passion and 'disinterestedness' in Kant, Schiller and Nietzsche. I synthesize these lines of analysis into a critique of the role of 'expression' in art. I also resist 'spectator'-centric aesthetics, in this connection, by developing an account of artistic objectivity in dialogue with Ruskin's critique of the 'pathetic fallacy'. I contrast artistic objectivity with Romantic ideals of self-expression, while elaborating its positive relation to certain currents within Victorian and Modernist aesthetics, including Imagists' stress on 'exteriority'. My project creatively extends Nietzsche's view that philosophical and scientific theories are 'perspectival' expressions of theorists' drives. It is a virtue of Nietzsche's account that he takes the outlet of strong human drives in creative acts of theorizing to be just one among many higher modes of 'will to power' in nature—many of which are totally impersonal. But Nietzsche is still too focused on self-expression or willing one's own power. Objective science involves external forces' 'expression' in and through us, not just 'expressing' our own powers. And Nietzsche's vitalistic 'will to power' must be replaced by a basic ontology that better accommodates inorganic phenomena, like the 'lawful' order of celestial motions. Thus I aim to de-anthropomorphize and 'de-organicize' post-Kantian notions of willful striving and organic development, while preserving for force the primary ontological and evaluative status that theorists from Schiller and Goethe to Schelling and Schlegel to Emerson and Nietzsche attributed to will or to life. (shrink)

Millians about proper names typically claim that it is knowable apriori that Hesperus is Phosphorus. We argue that they should claim instead that it is knowable only aposteriori that Hesperus is Hesperus, since the Kripke-Putnam epistemic arguments against descriptivism are special cases of Quinean arguments that nothing is knowable apriori, and Millians have no resources to resist the more general Quinean arguments.

The no miracles argument is one of the main arguments for scientific realism. Recently it has been alleged that the no miracles argument is fundamentally flawed because it commits the base rate fallacy. The allegation is based on the idea that the appeal of the no miracles argument arises from inappropriate neglect of the base rate of approximate truth among the relevant population of theories. However, the base rate fallacy allegation relies on an assumption of random sampling of individuals from (...) the population which cannot be made in the case of the no miracles argument. Therefore the base rate fallacy objection to the no miracles argument fails. I distinguish between a “local” and a “global” form of the no miracles argument. The base rate fallacy objection has been leveled at the local version. I argue that the global argument plays a key role in supporting a base-rate-fallacy-free formulation of the local version of the argument. (shrink)

Psillos, Kitcher, and Leplin have defended convergent scientific realism against the pessimistic meta-induction by arguing for the divide et impera strategy. I argue that DEI faces a problem more serious than the pessimistic meta-induction: the problem of accretion. When empirically successful theories and principles are combined, they may no longer make successful predictions or allow for accurate calculations, or the combination otherwise may be an empirical failure. The shift from classical mechanics to the new quantum theory does not reflect the (...) discarding of “idle wheels.” Instead, scientists had to contend with new principles that made classical calculations difficult or impossible, and new results that were inconsistent with classical theorems, and that suggested a new way of conceiving of atomic dynamics. In this shift, reference to atoms and to electrons was preserved, but the underlying causal explanations and descriptions of atoms and electrons changed. I propose that the emphasis on accurate description of causal agents as a virtue of background theory be replaced with Ruetsche’s advocacy of pragmatic, modal resourcefulness. (shrink)

In this paper, I consider the pessimistic induction construed as a deductive argument (specifically, reductio ad absurdum) and as an inductive argument (specifically, inductive generalization). I argue that both formulations of the pessimistic induction are fallacious. I also consider another possible interpretation of the pessimistic induction, namely, as pointing to counterexamples to the scientific realist’s thesis that success is a reliable mark of (approximate) truth. I argue that this interpretation of the pessimistic induction fails, too. If this is correct, then (...) the pessimistic induction is an utter failure that should be abandoned by scientific anti-realists. (shrink)

Two topics figure prominently in recent discussions of mathematical structuralism: challenges to the purported metaphysical insight provided by sui generis structuralism and the significance of category theory for understanding and articulating mathematical structuralism. This article presents an overview of central themes related to these topics.

In a naïve realist approach to reading an ontology off the models of a physical theory, the invariance of a given theory under permutations of its property-bearing objects entails the existence of distinct possible worlds from amongst which the theory cannot choose. A brand of Ontic Structural Realism attempts to avoid this consequence by denying that objects possess primitive identity, and thus worlds with property values permuted amongst those objects are really one and the same world. Assuming that any successful (...) ontology of objects is able to describe a universe containing a determinate number of them, I argue that no version of OSR which both retains objects and understands ‘structure’ in terms of relations can be successful. This follows from the fact that no set of relational facts is sufficient to fix the cardinality of the collection of objects implied by those facts. More broadly, I offer reasons to believe that no version of OSR is compatible with the existence of objects, no matter how ontologically derivative they are taken to be. Any such account would have to attribute a definite cardinality to a collection of objects while denying that those objects are possessed of a primitive identity. With no compelling reason to abandon the classical conception of cardinality, such an attribution is incoherent. (shrink)

Essence and causation are fundamental in metaphysics, but little is said about their relations. Some essential properties are of course causal, as it is essential to footprints to have been caused by feet. But I am interested less in causation's role in essence than the reverse: the bearing a thing's essence has on its causal powers. That essencemight make a causal contribution is hinted already by the counterfactual element in causation; and the hint is confirmed by the explanation essence offers (...) of something otherwise mysterious, namely, how events exactly alike in every ordinary respect, like the bolt'ssuddenly snapping and its snapping per se, manage to disagree in what they cause. Some prior difference must exist between these events to make their causal powers unlike. Paradoxically, though, it can only be in point of a property, suddenness, which both events possess in common. Only by postulating a difference in themanner — essential or accidental — of the property's possession is the paradox resolved. Next we need an account of causation in which essence plays an explicit determinative role. That account, based on the idea that causes should becommensurate with their effects, is thatx causesy only if nothing essentially poorer would have done, and nothing essentially richer was needed. (shrink)

This paper argues that it is scientific realists who should be most concerned about the issue of Platonism and anti-Platonism in mathematics. If one is merely interested in accounting for the practice of pure mathematics, it is unlikely that a story about the ontology of mathematical theories will be essential to such an account. The question of mathematical ontology comes to the fore, however, once one considers our scientific theories. Given that those theories include amongst their laws assertions that imply (...) the existence of mathematical objects, scientific realism, when construed as a claim about the truth or approximate truth of our scientific theories, implies mathematical Platonism. However, a standard argument for scientific realism, the 'no miracles' argument, falls short of establishing mathematical Platonism. As a result, this argument cannot establish scientific realism as it is usually defined, but only some weaker position. Scientific 'realists' should therefore either redefine their position as a claim about the existence of unobservable physical objects, or alternatively look for an argument for their position that does establish mathematical Platonism. (shrink)

This paper offers a novel method for nominalizing metalogic without transcending first-order reasoning about physical tokens (inscriptions, etc.) of proofs. A kind of double-negation scheme is presented which helps construct, for any platonistic statement in metalogic, a nominalistic statement which has the same assertability condition as the former. For instance, to the platonistic statement "there is a (platonistic) proof of A in deductive system D" corresponds the nominalistic statement "there is no (metalogical) proof token in (possibly informal) set theory for (...) the claim that there is no proof of A in D." And it is argued that the nominalist can use all the platonistic results by transforming them into such nominalistic correlates. (shrink)

Lakatos is considered to be a Popperian who adapted his Hegelian-Marxist training to critical philosophy. I claim this is too narrow and misses Lakatos' goal of understanding scientific inquiry as heuristic inquiry—something he did not find in Popper, but found in Polanyi. Archival material shows that his ‘new method' struggled to overcome what he saw as the Popperian handicap, by using Polanyi.

RésuméSelon un pragmatiste, la réflexion du philosophe porte sur le lien entre la construction et la description des objets mathématiques. Grâce à sa conception?un raisonnement dit ≫theorematique≪, Peirce a réussi à etablir ľesquisse?une interprétation pragmatique?une structure mathématique. Cette dernière reste néanmoins vague quant à la catégoricité de la structure. – lci, il est utile de recourir à Gonseth et & dcar;analyser sa reconstruction?un système axiomatique: la genèse logique?une structure selon les principes de ľidonéisme correspond en effet au programme de Peirce, (...) à savoir àľexplication de la signification?un concept àľaide?une séquence cumulative? interprétants.SummaryAccording to a pragmatist, philosophical thought bears on the link between the construction and the description of mathematical objects. Thanks to his development of ≫theorematic reasoning)), Peirce succeeded in bringing forward a pragmatic interpretation of a mathematical structure, exhibiting however an inherent vagueness with regard to the categoricalness of the structure. ‐ In this matter, Gonseth's model of reconstruction of an axiomatic system can be resorted to: the logical genesis of a structure considered in his ≫ldoneism≪ corresponds to Peirce's program of explaining the meaning of a concept by means of a cumulative sequence of interpretants. (shrink)

In this contribution, I comment on Raffaella Campaner’s defense of explanatory pluralism in psychiatry (in this volume). In her paper, Campaner focuses primarily on explanatory pluralism in contrast to explanatory reductionism. Furthermore, she distinguishes between pluralists who consider pluralism to be a temporary state on the one hand and pluralists who consider it to be a persisting state on the other hand. I suggest that it would be helpful to distinguish more than those two versions of pluralism – different understandings (...) of explanatory pluralism both within philosophy of science and psychiatry – namely moderate/temporary pluralism, anything goes pluralism, isolationist pluralism, integrative pluralism and interactive pluralism. Next, I discuss the pros and cons of these different understandings of explanatory pluralism. Finally, I raise the question of how to implement or operationalize explanatory pluralism in scientific practice; how to structure the “genuine dialogue” or shape “the pluralistic attitude” Campaner is referring to. As tentative answers, I explore a question-based framework for explanatory pluralism as well as social-epistemological procedures for interaction among competing approaches and explanations. (shrink)

This paper utilizes a logical correspondence theorem (which has been proved elsewhere) for the justification of weak conceptions of scientific realism and convergence to truth which do not presuppose Putnam's no-miracles-argument (NMA). After presenting arguments against the reliability of the unrestricted NMA in Sect. 1, the correspondence theorem is explained in Sect. 2. In Sect. 3, historical illustrations of the correspondence theorem are given, and its ontological consequences are worked out. Based on the transitivity of the concept of correspondence, a (...) correspondence-based notion of convergence to truth is developed in Sect. 4. In the final Sect. 5 it is argued that the correspondence theorem together with the assumption of ' minimal realism' yields a justification of a weak version of scientific realism, which is then compared to metaphysical realism and to instrumentalism. (shrink)

The concept of approximate truth plays a prominent role in most versions of scientific realism. However, adequately conceptualizing ?approximate truth? has proved challenging. This article argues that the goal of articulating the concept of approximate truth can be advanced by first investigating the processes by which science accords theories the status of accepted or rejected. Accordingly, this article uses a path diagram model as a visual heuristic for the purpose of showing the processes in science that are involved in determining (...) a theory's status. This ?inductive realist? model of theory status then serves as a starting point for explicating an inductive realist view of approximate truth that, it is argued, can explain instances of the success of science, but does not (1) require science's theories to be strictly true in any world or (2) require a metric for measuring how close an approximately true theory is to some strictly true theory. To show the advantages of the inductive realist approach to approximate truth, an example of a major success story of science, the successful eradication of smallpox, is reviewed and then explained. (shrink)

The epistemological version of structural realism, proposed by Cao Tianyu, has great influence in the philosophy of science. Syntheses has published a special volume discussing the topic. Cao criticizes anti-realism, as well as the epistemic and ontic versions of structural realism. From the concepts of structure, ontology, and construction, he analyzes the objectivity of scientific theories as having five aspects: construction, historicity, holism, revision, and revolution. This paper systematically analyzes and comments on Cao's structural realism. The author agrees with his (...) criticism of the under-determination thesis, is neutral to his argument against ontological discontinuity, and questions his universal language argument. (shrink)

I argue on the basis of an example, Fourier theory applied to the problem of vibration, that Field's program for nominalizing science is unlikely to succeed generally, since no nominalistic variant will provide us with the kind of physical insight into the phenomena that the standard theory supplies. Consideration of the same example also shows, I argue, that some of the motivation for mathematical fictionalism, particularly the alleged problem of cognitive access, is more apparent than real.

I consider two transcendental arguments for realism in the philosophy of science, which are due to Roy Bhaskar (A realist theory of science, 1975) and Nancy Cartwright (The dappled world, 1999). Bhaskar and Cartwright are both influential figures, however there is little discussion of their use of transcendental arguments in the literature. Here I seek to correct this oversight. I begin by describing the role of the transcendental arguments in question, in the context of the broader philosophical theories in which (...) they are embedded, by Bhaskar and Cartwright respectively. I then consider some specific problems that arise for these particular transcendental arguments, in the context of contemporary philosophy of science. I raise two general problems for transcendental arguments for realism and I finish by spelling out what needs to be done to address the criticisms raised in this paper. (shrink)

A variety of projects in proof theory of relevance to the philosophy of mathematics are surveyed, including Gödel's incompleteness theorems, conservation results, independence results, ordinal analysis, predicativity, reverse mathematics, speed-up results, and provability logics.

The main task of this paper is to defend anti-platonism by providing an anti-platonist (in particular, a fictionalist) account of the indispensable applications of mathematics to empirical science.

The traditional point of view on analyticity implies that truth in virtue only of meaning entails a priori acceptability and vice versa. The argument for this claim is based on the idea that meaning as it concerns truth and meaning as it concerns competence are one and the same thing. In this paper I argue that the extensions of these notions do not coincide. I hold that truth in virtue of meaning— truth for semantic reasons—doesn't imply a priori acceptability, and (...) that a priori reflection based only on knowledge of meaning—in the sense of competence—doesn't necessitate true conclusions.The main consequence of this view concerns conceptual analysis, as it presupposes we have a privileged—incorrigible in the face of empirical evidence—access to non-trivial truths about the world on the basis of mere a priori reflection founded on meaning. If, as I argue, such access is not incorrigible the project of conceptual analysis loses its special epistemological status. (shrink)

Abstract It is widely assumed that the meaning of at least some types of expressions involves more than their reference to objects, and hence that there may be co-referential expressions which differ in meaning. It is also widely assumed that ?syntax does not suffice for semantics?, i.e. that we cannot account for the fact that expressions have semantic properties in purely syntactical or computational terms. The main goal of the paper is to argue against a third related assumption, namely that (...) what is responsible for a difference in meaning between co-referential expressions is the computational difference in the cognitive functioning of the expressions. ?Intentional aspects? of expressions?those features which their meanings involve in addition to reference?cannot be syntacticized, since they are individuated not in terms of any cognitive feature, but rather in terms of those properties of the referents through which the expressions refer to them, and cognitive features cannot determine such properties in exactly the same sense as they cannot determine reference. (shrink)