That expressions should have their contents can seem paradigmatically contingent. But it can also seem a priori that expressions in one's own language should have their contents to the extent that instances of disquotation, such as "Socrates" refers to Socrates' and "cat" refers to cats', are trivially true. I attempt to reconcile these conflicting intuitions about meaningfulness by examining semantic and metasemantic details of linguistic reflexivity. I argue that instances of disquotation are contingent analytic in Kaplan's sense, and bring this (...) lesson to bear on semantic strategies for responding to skepticism, such as Putnam's Brains-in-a-Vat argument. (shrink)

A popular approach in philosophy, the so-called Canberra Plan, is critically scrutinized. Two aspects of this research program, the formal and the informal program, are distinguished. It is argued that the formal program runs up against certain serious technical problems. It is also argued that the informal program involves an unclear leap at its core. Consequently, it is argued that the whole program is much more problematic than its advocates recognize.

Nick Bostrom considered a number of simulations and contended that the probability that we are living in one of them is high or at least nonzero. I present arguments to refute the claim that we are or might be in any one of them.

The extensions of Goodman’s ‘grue’ predicate and Kripke’s ‘quus’ are constructed from the extensions of more familiar terms via a reinterpretation that permutes assignments of reference. Since this manoeuvre is at the heart of Putnam’s model-theoretic and permutation arguments against metaphysical realism (‘Putnam’s Paradox’), both Goodman’s New Riddle of Induction and the paradox about meaning that Kripke attributes to Wittgenstein are instances of Putnam’s. Evidence cannot selectively confirm the green-hypothesis and disconfirm the grue-hypothesis, because the theory of which the green-hypothesis (...) is a part has an unintended model in which the grue-hypothesis is equally confirmed; and there are no meaning-facts that determine reference, because the objects referred to by the referring terms of any language or set of intentional mental states are permutable in a way that is consistent with the truth-values of all other sentences in that language or beliefs in that set. The upshot is that the three paradoxes need to be solved in a unified way. (shrink)

I investigate what it means to have an interpretation of our language, how we manage to bestow a determinate interpretation to our utterances, and to which extent our interpretation of the world is determinate. All this is done in dialogue with van Fraassen's insightful discussion of Putnam's model-theoretic argument and of scientific structuralism.

Bas van Fraassen has recently argued for a "dissolution" of Hilary Putnam's well-known model-theoretic argument. In this paper I argue that, as it stands, van Fraassen's reply to Putnam is unsuccessful. Nonetheless, it suggests the form a successful response might take.

What does it mean to embed the phenomena in an abstract structure? Or to represent them by doing so? The semantic view of theories runs into a severe problem if these notions are construed either naively, in a metaphysical way, or too closely on the pattern of the earlier syntactic view. Constructive empiricism and structural realism will then share those difficulties. The problem will be posed as in Reichenbach's The Theory of Relativity and A Priori Knowledge, and realist reactions will (...) be examined, but they will be argued to dissolve upon scrutiny. (shrink)

Crucial to Hilary Putnam’s realism in the philosophy of mathematics is to maintain the objectivity of mathematics without the commitment to the existence of mathematical objects. Putnam’s indispensability argument was devised as part of this conception. In this paper, I reconstruct and reassess Putnam’s argument for the indispensability of mathematics, and distinguish it from the more familiar, Quinean version of the argument. Although I argue that Putnam’s approach ultimately fails, I develop an alternative way of implementing his form of realism (...) about mathematics that, by using different resources than those Putnam invokes, avoids the difficulties faced by his view. (shrink)

Newman’s objection can be used to argue that structuralism fails to specify a unique structure for the unobservable world, and hence, one can argue, it is ultimately a trivial task to determine the structure that the world ultimately has. Provided there are enough objects, any structure can be made compatible with that structure. We formulate a pragmatically enriched version of structuralism that avoids the Newman objection. For this purpose, we return to Carnap’s conception of founded relations, and provide a different (...) interpretation of them. According to Carnap, these are real, experienceable, physical relations. We argue that, when we specify a structural description of a given physical system, if we rely on such founded relations—provided they are properly understood—the threat of the Newman objection is avoided. However, pure structuralism has to be given up, and a form of empiricism can then be advanced. Finally, by using founded relations, we offer a framework in terms of which different conceptions can be articulated to avoid the Newman problem as well. (shrink)

Putnam's ``model-theoretic'' argument against metaphysical realism presupposes that an ideal scientific theory is expressible in a first order language. The central aim of this paper is to show that Putnam's ``first orderization'' of science, although unchallenged by numerous critics, makes his argument unsound even for adequate theories, never mind an ideal one. To this end, I will argue that quantitative theories, which dominate the natural sciences, can be adequately interpreted and evaluated only with the help of so-called theories of measurement (...) whose epistemological and methodological purpose is to justify systematic assignments of quantitative values to objects in the world. And, in order to fulfill this purpose, theories of measurement must have an essentially higher order logical structure. As a result, Putnam's argument fails because much of science turns out to rest on essentially higher order theoretical assumptions about the world. (shrink)

This paper investigates the nature of scientific realism. I begin by considering the anomalous fact that Bas van Fraassen’s account of scientific realism is strikingly similar to Arthur Fine’s account of scientific non-realism. To resolve this puzzle, I demonstrate how the two theorists understand the nature of truth and its connection to ontology, and how that informs their conception of the realism debate. I then argue that the debate is much better captured by the theory of truthmaking, and not by (...) any particular theory of truth. To be a scientific realist is to adopt a realism-relevant account of what makes true the scientific theories one accepts. The truthmaking approach restores realism’s metaphysical core—distancing itself from linguistic conceptions of the debate—and thereby offers a better characterization of what is at stake in the question of scientific realism. (shrink)

Nick Bostrom considered a number of simulations and contended that the probability that we are living in one of them is high or at least nonzero. I present arguments to refute the claim that we are or might be in any one of them. -/- Here is a highly dense reasoning why we are not in the simulation: -/- Suppose Simon is in the simulation, and he entertains the idea that he is in the simulation. And he thinks about the (...) word 'apple'. But since he is always in the simulation, he has never interacted with an actual apple, which the word 'apple' refers to. -/- Then Simon must think that "if I am in the simulation, then I never interact with an actual apple, and my understanding about the word 'apple' can only be given by the simulator. And this means I never exercise my reason to gain the understanding about the word 'apple', and never exercise my reason to apply the word 'apple'. Consequently, since what I am thinking right now (namely, this entire thought within the double quotation marks) involves the word 'apple', I am not using reason to think what I am thinking." -/- By denying he is using reason to think, Simon is being incoherent in thinking the preceding thought. To avoid being incoherent, Simon must reject the idea that he is in the simulation. -/- For the similar reason, if we think we are in the simulation, we are being incoherent. More simply, to think that we are in the simulation is to be incoherent. Therefore we cannot actually think that we are in the simulation. Hence, we are not in the simulation. -/- The whole paper is to flesh out the reasoning above. (shrink)

My aim in this paper is to explain how universal statements, as they occur in scientific theories, are actually tested by observational evidence, and to draw certain conclusions, on that basis, about the way in which scientific theories are tested in general. 1 But I am pursuing that aim, ambitious enough in and of itself, in the service of even more ambitious projects, and in the first place: (a) to say what is distinctive about modern science, and especially modern physical (...) science, as a human intellectual activity; and (b) to show how this distinctiveness explains the unique status of modern science in human intellectual life. So I will begin by saying a few words about that larger project. One might doubt, first, whether that project is legitimate. Although everything is different from everything else, the question “What is distinctive about X?” is not necessarily well put, because X may not be anything—that is, anything distinct. And there are indeed many philosophers, otherwise of the most diverse intellectual backgrounds and tendencies, who would deny, in various ways, that modern science is a distinct thing, or that its status is unique. It seems to me that they deny something terrifyingly obvious— a fact which confronts us far more urgently than the fact that, say, ravens are black. I will put off further remarks about this until the end of the paper, however, because the discussion of my more limited present aim will focus precisely on the ways to tell when a question is well put, and whether there is such a (distinct) thing as X. That one’s methodological problems are also the subject of one’s investigation is a sign that that investigation is philosophical, although (or because) also a threat to its coherence. Second, some points about methodology. I am not a sociologist, or even a historian, nor (unlike some recent philosophers of science) will I pretend to be.. (shrink)

I offer an explicit account of the underdetermination thesis as well as of the many challenges it poses to scientific realism; a way to answer to these challenges is explored and outlined, by shifting attention to the content of theories. I argue that, even if we have solid grounds (as I contend we do) to support that some varieties of the underdetermination thesis are true, scientific realism can still offer an adequate picture of the aims and achievements of science.

This paper critically reviews Philip Kitcher's most recent epistemology of science, real realism . I argue that this view is unstable under different understandings of the term 'representation', and that the arguments offered for the position are either unsound or invalid depending on the understanding employed. Suitably modified those arguments are however convincing in favor of a deflationary version of real realism, which I refer to as the bare view . The bare view accepts Kitcher's Galilean strategy, and the ensuing (...) commitment to the existence of unobservables; but it does not trade on a correspondence or copy theory of representation. So the bare view, unlike real realism, does not entail that our representations match reality even approximately. (shrink)