A major challenge in the philosophy of mathematics is to explain how mathematical language can pick out unique structures and acquire determinate content. In recent work, Button and Walsh have introduced a view they call ‘internalism’, according to which mathematical content is explained by internal categoricity results formulated and proven in second-order logic. In this paper, we critically examine the internalist response to the challenge and discuss the philosophical significance of internal categoricity results. Surprisingly, as we argue, while internalism arguably (...) explains how we pick out unique mathematical structures, this does not suffice to account for the determinacy of mathematical discourse. (shrink)

This paper focuses on the categoricity of arithmetic and determinacy of arithmetical truth. Several ‘internal’ categoricity results have been discussed in the recent literature. Against the background of the philosophical position called internalism, we propose and investigate truth-theoretic versions of internal categoricity based on a primitive truth predicate. We argue for the compatibility of a primitive truth predicate with internalism and provide a novel argument for (and proof of) a truth-theoretic version of internal categoricity and internal determinacy with some positive (...) properties. (shrink)

Kripkenstein’s challenge is usually described as being essentially about the use of a word in new kinds of cases ‒ the old kinds of cases being commonly considered as non-problematic. I show that this way of conceiving the challenge is neither true to Kripke’s intentions nor philosophically defensible: the Kripkean skeptic can question my answering “125” to the question “What is 68 plus 57?” even if that problem is one I have already encountered and answered. I then argue that once (...) the real nature of Kripkenstein’s challenge is properly appreciated, one extremely popular strategy to try to meet it, what usually goes by the name of “semantic dispositionalism”, loses much of its appeal. Along the way, I also explain that Kripkenstein’s challenge is actually two distinct challenges ‒ one concerning the mental state of meaning, or intending, something by a sign and the other concerning the meaning (referentially conceived) of linguistic expressions. (shrink)

In the last 35 years many philosophers have appealed to reference magnetism to explain how it is that we mean what we mean. The idea is that it is a constitutive principle of metasemantics that the interpretation that assigns the more natural meanings is correct, _ceteris paribus_. Among other things, magnetism has been used to answer the challenges of grue and quus, Quine’s indeterminacy of translation argument, and Putnam’s model-theoretic argument against realism. Critics of magnetism have usually objected to the (...) base notion of naturalness. Here I assume naturalness for the sake of argument, but argue that even still, reference magnetism should be rejected. The supposed force of reference magnetism is arbitrarily weak, and the best explanation of this is that it simply does not exist. (shrink)

According to Sider, a question is metaphysically substantive just in case it has a single most natural answer. Recently, Barnes and Mikkola have argued that, given this notion of substantivity, many of the central questions in the metaphysics of gender are nonsubstantive. Specifically, it is plausible that gender pluralism—the view that there are multiple, equally natural gender kinds—is true, but this view seems incompatible with the substantivity of gender. The goal of this paper is to argue that the notion of (...) substantivity can be understood in a way that accommodates gender pluralism. First, I claim that gender terms (at least as used in the ontology room) are referentially indeterminate, where referential indeterminacy holds in virtue of the way the world is. Second, I propose a degree-theoretic (or scalar) account of metaphysical substantivity; genders are substantial to the degree that they are determinate. I conclude that gender is relatively, although not absolutely, substantial. (shrink)

Conventionalism about mathematics has much in common with two other views: fictionalism and the multiverse view (aka plenitudinous platonism). The three views may differ over the existence of mathematical objects, but they agree in rejecting a certain kind of objectivity claim about mathematics, advocating instead an extreme pluralism. The early parts of the paper will try to elucidate this anti‐objectivist position, and question whether conventionalism really offers a third form of it distinct from fictionalism and the multiverse view. The paper (...) then turns to anti‐objectivism about logic, and suggests that here too conventionalism offers no distinct alternative, and that there are limits on the extent of pluralism/anti‐objectivism. It also argues that these limits can't be used to argue for more extensive objectivity within mathematics, and also that they do allow for more limited pluralism within logic, e.g. as regards resolution of semantic and property‐theoretic paradoxes. (shrink)

We can use radically different reference‐schemes to generate the same truth‐conditions for the sentences of a language. In this paper, we do three things. (1) Distinguish two arguments that deploy this observation to derive different conclusions. The first argues that reference is radically indeterminate: there is no fact of the matter what ordinary terms refer to. This threat is taken seriously and most contemporary metasemantic theories come with resources intended to rebut it. The second argues for radical parochialism about reference: (...) it's a reflection of our parochial interests, rather than the nature of the subject matter, that our theorizing about language appeals to reference rather than another relation that generates the same truth‐conditions. Rebuttals of the first argument cut no ice against the second, because radical parochialism is compatible with reference being determinate. (2) Argue that radical parochialism, like radical indeterminacy, would be shocking if true. (3) Argue that the case for radical parochialism turns on the explanatory purposes of “reference”‐talk: on relatively “thin” conceptions, the argument goes through, and radical parochialism is (shockingly!) true; on richer conceptions, the argument can be blocked. We conclude that non‐revisionists must endorse, and justify, a relatively rich conception of the explanatory purposes of “reference”‐talk. (shrink)

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)

In this article, we discuss a simple argument that modal metaphysics is misconceived, and responses to it. Unlike Quine's, this argument begins with the observation that there are different candidate interpretations of the predicate ‘could have been the case’. This is analogous to the observation that there are different candidate interpretations of the predicate ‘is a member of’. The argument then infers that the search for metaphysical necessities is misguided in much the way the ‘set-theoretic pluralist’ claims that the search (...) for the true axioms of set theory is. We show that the obvious responses to this argument fail. However, a new response has emerged that purports to prove, from higher-order logical principles, that metaphysical possibility is the broadest kind of possibility applying to propositions, and is to that extent special. We distill two lines of reasoning from the literature, and argue that their import depends on premises that any ‘modal pluralist’ should deny. Both presuppose that there is a unique typed hierarchy, which is what the modal pluralist, in the context of higher-order logic, should disavow. In other words, both presupposes that there is a unique candidate for what higher-order claims could mean. We consider the worry that, in a higher-order setting, modal pluralism faces an insuperable problem of articulation, collapses into modal monism, is vulnerable to the Russell-Myhill paradox, or even contravenes the truism that there is a unique actual world, and argue that these worries are misplaced. We also sketch the bearing of the resulting ‘Higher-Order Pluralism’ on the theory of content. One theme of the discussion is that, if Higher-Order Pluralism is correct, then there is no fixed metatheory from which to characterize higher-order reality. (shrink)

In this paper I discuss Ernst Zermelo’s ideas concerning the possibility of developing a system of infinitary logic that, in his opinion, should be suitable for mathematical inferences. The presentation of Zermelo’s ideas is accompanied with some remarks concerning the development of infinitary logic. I also stress the fact that the second axiomatization of set theory provided by Zermelo in 1930 involved the use of extremal axioms of a very specific sort.1.

In this paper, we offer a novel defense of descriptivism about reference. Our argument is based on principles about the relevance of speaker intentions to reference that are shared by many opponents of descriptivism, including Saul Kripke. We first show that two such principles that are plausibly endorsed by Kripke and other prominent externalists in fact entail descriptivism. The first principle states that when certain kinds of speaker intentions are present, they suffice to determine and explain reference. According to the (...) second principle, certain speaker intentions must be present whenever something determines or explains reference. We then go on to make these principles more precise and argue that it would be costly to deny either of them. Since on the more precise understanding we suggest, the conjunction of these principles still entails descriptivism, we conclude that opponents of descriptivism have to give up some highly plausible assumption about the relation between speaker intentions and reference. (shrink)

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order and Zermelo’s quasi-categoricity theorem (...) for second-order —these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

An Aristotelian philosophy of nature rejects the modern prejudice in favor of the microscopic, a rejection that is crucial if we are to penetrate the mysteries of the quantum world. I defend an Aristotelian model by drawing on both quantum chemistry and recent work on the measurement problem. By building on the work of Hans Primas, using the distinction between quantum and classical properties that emerges in quantum chemistry at the thermodynamic or continuum limit, I develop a new version of (...) the Copenhagen interpretation, a version that is realist, holistic, and hylomorphic in character, allowing for the attribution of fundamental causal powers to human observers and their instruments. I conclude with a critique of non-hylomorphic theories of primitive ontology, including Bohmian mechanics, Everettianism, and GRW mass-density. (shrink)

The paper argues against an intuitive reading of the Stone-von Neumann theorem as a categoricity result, thereby pointing out that this theorem does not entail any model-theoretical difference between the theories that validate it and those that don't.

I defend Putnam’s modal structuralist view of mathematics but reject his claims that Wittgenstein’s remarks on Dedekind, Cantor, and set theory are verificationist. Putnam’s “realistic realism” showcases the plasticity of our “fitting” words to the world. The applications of this—in philosophy of language, mind, logic, and philosophy of computation—are robust. I defend Wittgenstein’s nonextensionalist understanding of the real numbers, showing how it fits Putnam’s view. Nonextensionalism and extensionalism about the real numbers are mathematically, philosophically, and logically robust, but the two (...) perspectives are often confused with one another. I separate them, using Turing’s work as an example. (shrink)

Additional theorizing about mathematical practice is needed in order to ground appeals to truly useful notions of the virtues in mathematics. This paper aims to contribute to this theorizing, first, by characterizing mathematical practice as being epistemic and “objectual” in the sense of Knorr Cetina The practice turn in contemporary theory, Routledge, London, 2001). Then, it elaborates a MacIntyrean framework for extracting conceptions of the virtues related to mathematical practice so understood. Finally, it makes the case that Wittgenstein’s methodology for (...) examining mathematics and its practice is the most appropriate one to use for the actual investigation of mathematical practice within this MacIntyrean framework. At each stage of thinking through mathematical practice by these means, places where new virtue-theoretic questions are opened up for investigation are noted and briefly explored. (shrink)

Underdetermination of theory choice claims that empirical evidence fails to provide sufficient grounds for choosing a theory over its rivals. We explore the epistemological and methodological significance of this thesis by utilising a classificatory scheme to situate three arguments that purport to establish its plausibility. Proponents of these three arguments, W.V.O Quine, John Earman, and Kyle Stanford, use different premises to arrive at the conclusion that theory choice is empirically underdetermined and their classification along the proposed schema brings out the (...) variety in underdetermination arguments and the historical trajectory of the thesis. Although the epistemological significance of underdetermination—it is seen as undermining the doctrine of scientific realism—is widely discussed in the literature, Quine understood the acceptance of the thesis as interrogating the attitude one is justified in adopting towards rival theories. We argue that sticking with one’s own theory in the face of underdetermination leads to a distinct type of disagreement, which we present as the methodological significance of underdetermination. The examination of the methodological significance of underdetermination allows us to propose weak underdetermination as a philosophically interesting variant of underdetermination. (shrink)

Putnam’s most famous contribution to mathematical logic was his role in investigating Hilbert’s Tenth Problem; Putnam is the ‘P’ in the MRDP Theorem. This volume, though, focusses mostly on Putnam’s work on the philosophy of logic and mathematics. It is a somewhat bumpy ride. Of the twelve papers, two scarcely mention Putnam. Three others focus primarily on Putnam’s ‘Mathematics without foundations’ (1967), but with no interplay between them. The remaining seven papers apparently tackle unrelated themes. Some of this disjointedness would (...) doubtless have been addressed, if Putnam had been able to compose his replies to these papers; sadly, he died before this was possible. In this review, I do my best to tease out some connections between the paper; and there are some really interesting connections to be made. (shrink)

Many think that expressivists have a special problem with negation. I disagree. For if there is a problem with negation, I argue, it is a problem shared by those who accept some plausible claims about the nature of intentionality. Whether there is any special problem for expressivists turns, I will argue, on whether facts about what truth-conditions beliefs have can explain facts about basic inferential relations among those beliefs. And I will suggest that the answer to this last question is, (...) on most plausible attempts at solving the problem of intentionality, ‘no’. (shrink)

Philosophy and Phenomenological Research, EarlyView.

This paper discusses the relevance of supertask computation for the determinacy of arithmetic. Recent work in the philosophy of physics has made plausible the possibility of supertask computers, capable of running through infinitely many individual computations in a finite time. A natural thought is that, if supertask computers are possible, this implies that arithmetical truth is determinate. In this paper we argue, via a careful analysis of putative arguments from supertask computations to determinacy, that this natural thought is mistaken: supertasks (...) are of no help in explaining arithmetical determinacy. (shrink)

Set-theoretic pluralism is an increasingly influential position in the philosophy of set theory (Balaguer [1998], Linksy and Zalta [1995], Hamkins [2012]). There is considerable room for debate about how best to formulate set-theoretic pluralism, and even about whether the view is coherent. But there is widespread agreement as to what there is to recommend the view (given that it can be formulated coherently). Unlike set-theoretic universalism, set-theoretic pluralism affords an answer to Benacerraf’s epistemological challenge. The purpose of this paper is (...) to determine what Benacerraf’s challenge could be such that this view is warranted. I argue that it could not be any of the challenges with which it has been traditionally identified by its advocates, like of Benacerraf and Field. Not only are none of the challenges easier for the pluralist to meet. None satisfies a key constraint that has been placed on Benacerraf’s challenge. However, I argue that Benacerraf’s challenge could be the challenge to show that our set-theoretic beliefs are safe – i.e., to show that we could not have easily had false ones. Whether the pluralist is, in fact, better positioned to show that our set-theoretic beliefs are safe turns on a broadly empirical conjecture which is outstanding. If this conjecture proves to be false, then it is unclear what the epistemological argument for set-theoretic pluralism is supposed to be. (shrink)

In recent years philosophers have been interested in the methodology of metaphysics. Most of these developments are related to formal work in logic or physics, often against the backdrop of the Carnap-Quine debate on ontology. Drawing on Quine’s later work, I argue that a psychological or cognitive perspective on metaphysical topics may be a valuable addition to contemporary metametaphysics. The method is illustrated by means of cognitive studies of the notions “identity,” “vagueness,” and “object” and is compared to other extant (...) metametaphysical positions. (shrink)

Much recent metaphysics is built around notions such as naturalness, fundamentality, grounding, dependence, essence, and others besides. In this article I raise a problem for this kind of metaphysics, the “problem of missing value.” I survey a number of possible solutions to the problem and find them all wanting. This suggests a return to a kind of Goodmanian view that the world is a structureless mess onto which we project our own categorizations, not something with categories already built in.

This article bears on four topics: observational predicates and phenomenal properties, vagueness, strict finitism as a philosophy of mathematics, and the analysis of feasible computability. It is argued that reactions to strict finitism point towards a semantics for vague predicates in the form of nonstandard models of weak arithmetical theories of the sort originally introduced to characterize the notion of feasibility as understood in computational complexity theory. The approach described eschews the use of nonclassical logic and related devices like degrees (...) of truth or supervaluation. Like epistemic approaches to vagueness, it may thus be smoothly integrated with the use of classical model theory as widely employed in natural language semantics. But unlike epistemicism, the described approach fails to imply either the existence of sharp boundaries or the failure of tolerance for soritical predicates. Applications ofmeasurement theory(in the sense of Krantz, Luce, Suppes, & Tversky (1971)) to vagueness in the nonstandard setting are also explored. (shrink)

The concept of moral wrongness, many think, has a distinctive kind of referential stability, brought out by moral twin earth cases. This article offers a new account of the source of this stability, deriving it from a metaphysics of content: “substantive” radical interpretation, and first-order normative assumptions. This story is distinguished from extant “reference magnetic” explanations of the phenomenon, and objections and replies are considered.

Here I defend dispositionalism about meaning and rule-following from Kripkenstein's infamous anti-dispositionalist arguments. The problems of finitude, error, and normativity are all addressed. The general lesson I draw is that Kripkenstein's arguments trade on an overly simplistic version of dispositionalism.

In this paper, I outline and defend a novel approach to alethic pluralism, the thesis that truth has more than one metaphysical nature: where truth is, in part, explained by reference, it is relational in character and can be regarded as consisting in correspondence; but where instead truth does not depend upon reference it is not relational and involves only coherence. In the process, I articulate a clear sense in which truth may or may not depend upon reference: this involves (...) distinguishing semantic denotation from pragmatic speaker reference and claiming that there may or may not exist a metasemantic connection between these two notions. Finally, I argue that reference is not in general inscrutable—that this metasemantic connection does exist in the case of our ordinary discourse about present macroscopic concrete objects—but that it is in pure mathematics, where reference cannot be secured, and which therefore plays no role in accounting for truth. In this manner, alethic pluralism is upheld. (shrink)

This essay clarifies quantifier variance and uses it to provide a theory of indefinite extensibility that I call the variance theory of indefinite extensibility. The indefinite extensibility response to the set-theoretic paradoxes sees each argument for paradox as a demonstration that we have come to a different and more expansive understanding of ‘all sets’. But indefinite extensibility is philosophically puzzling: extant accounts are either metasemantically suspect in requiring mysterious mechanisms of domain expansion, or metaphysically suspect in requiring nonstandard assumptions about (...) mathematical objects. Happily, the view of quantifier meanings that underwrites quantifier variance can be used to provide an account of indefinite extensibility that is both metasemantically and metaphysically satisfying. Section 1 introduces the puzzle of indefinite extensibility; section 2 develops and clarifies the metasemantics of quantifier variance; section 3 solves section 1's puzzle of indefinite extensibility by applying section 2's account of quantifier meanings; and section 4 compares the theory developed in section 3 to several other theories in the literature. (shrink)

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

In "Ramseyan Humility," David Lewis argues that we cannot know what the fundamental properties in our world are. His arguments invoke the possibility of permutations and replacements of fundamental properties. Most responses focus on Lewis’s view on the relationship between properties and roles, and on the assumptions about knowledge that he makes. I argue that no matter how the debates about knowledge and about the metaphysics of properties turn out, Lewis’s arguments are unconvincing since they rely on a highly implausible (...) assumption about the expressive power of our language. (shrink)

We review different conceptions of the set-theoretic multiverse and evaluate their features and strengths. In Sect. 1, we set the stage by briefly discussing the opposition between the ‘universe view’ and the ‘multiverse view’. Furthermore, we propose to classify multiverse conceptions in terms of their adherence to some form of mathematical realism. In Sect. 2, we use this classification to review four major conceptions. Finally, in Sect. 3, we focus on the distinction between actualism and potentialism with regard to the (...) universe of sets, then we discuss the Zermelian view, featuring a ‘vertical’ multiverse, and give special attention to this multiverse conception in light of the hyperuniverse programme introduced in Arrigoni and Friedman (2013). We argue that the distinctive feature of the multiverse conception chosen for the hyperuniverse programme is its utility for finding new candidates for axioms of set theory. (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)

Kripke models, interpreted realistically, have difficulty making sense of the thesis that there might have existed things that do not in fact exist, since a Kripke model in which this thesis is true requires a model structure in which there are possible worlds with domains that contain things that do not exist. This paper argues that we can use Kripke models as representational devices that allow us to give a realistic interpretation of a modal language. The method of doing this (...) is sketched, with the help of an analogy with a Galilean relativist theory of spatial properties and relations. (shrink)

Recent years have seen an explosion of empirical data concerning arithmetical cognition. In this paper that data is taken to be philosophically important and an outline for an empirically feasible epistemological theory of arithmetic is presented. The epistemological theory is based on the empirically well-supported hypothesis that our arithmetical ability is built on a protoarithmetical ability to categorize observations in terms of quantities that we have already as infants and share with many nonhuman animals. It is argued here that arithmetical (...) knowledge developed in such a way cannot be totally conceptual in the sense relevant to the philosophy of arithmetic, but neither can arithmetic understood to be empirical. Rather, we need to develop a contextual a priori notion of arithmetical knowledge that preserves the special mathematical characteristics without ignoring the roots of arithmetical cognition. Such a contextual a priori theory is shown not to require any ontologically problematic assumptions, in addition to fitting well within a standard framework of general epistemology. (shrink)

Semantic interpretations of both natural and formal languages are usually taken to involve the specification of a domain of entities with respect to which the sentences of the language are to be evaluated. A question that has received much attention of late is whether there is unrestricted quantification, quantification over a domain comprising absolutely everything there is. Is there a discourse or inquiry that has absolute generality? After framing the debate, this article provides an overview of the main arguments for (...) and against the possibility of unrestricted quantification, highlighting some of the broader implications of the debate. (shrink)

Ontic vagueness is defended by appealing to a realist and objectivist perspective. First, ontic vagueness is distinguished from epistemic vagueness and semantic vagueness. Subsequently, the realist approach to semantics adopted by David Lewis and more recently by Theodor Sider is presented. It is argued that, contrary to what has been maintained by both Lewis and Sider, ontic vagueness is compatible with the realist perspective they endorse.

The primary justification for mathematical structuralism is its capacity to explain two observations about mathematical objects, typically natural numbers. Non-eliminative structuralism attributes these features to the particular ontology of mathematics. I argue that attributing the features to an ontology of structural objects conflicts with claims often made by structuralists to the effect that their structuralist theses are versions of Quine’s ontological relativity or Putnam’s internal realism. I describe and argue for an alternative explanation for these features which instead explains the (...) attributes them to the mathematical practice of representing numbers using more concrete tokens, such as sets, strokes and so on. (shrink)

Putnam famously attempted to use model theory to draw metaphysical conclusions. His Skolemisation argument sought to show metaphysical realists that their favourite theories have countable models. His permutation argument sought to show that they have permuted models. His constructivisation argument sought to show that any empirical evidence is compatible with the Axiom of Constructibility. Here, I examine the metamathematics of all three model-theoretic arguments, and I argue against Bays (2001, 2007) that Putnam is largely immune to metamathematical challenges.

I discuss Skolem's own ideas on his ‘paradox’, some classical disputes between Skolemites and Antiskolemites, and the underlying notion of ‘informal mathematics’, from a point of view which I hope to be rather unusual. I argue that the Skolemite cannot maintain that from an absolute point of view everything is in fact denumerable; on the other hand, the Antiskolemite is left with the onus of explaining the notion of informal mathematical knowledge of the intended model of set theory. 1 conclude (...) that one must take seriously the embodiment of the uncountable into countable languages, as a symptom of some specific features which characterize mathematical languages with respect to other languages. (shrink)

The dream of a community of philosophers engaged in inquiry with shared standards of evidence and justification has long been with us. It has led some thinkers puzzled by our mathematical experience to look to mathematics for adjudication between competing views. I am skeptical of this approach and consider Skolem's philosophical uses of the Löwenheim-Skolem Theorem to exemplify it. I argue that these uses invariably beg the questions at issue. I say ?uses?, because I claim further that Skolem shifted his (...) position on the philosophical significance of the theorem as a result of a shift in his background beliefs. The nature of this shift and possible explanations for it are investigated. Ironically, Skolem's own case provides a historical example of the philosophical flexibility of his theorem. Our suspicion ought always to be aroused when a proof proves more than its means allow it. Something of this sort might be called ?a puffed-up proof?. Ludwig Wittgenstein, Remarks on the foundations of mathematics (revised edition), vol. 2, 21. (shrink)

This paper develops a novel version of mathematical fictionalism and defends it against three objections or worries, viz., (i) an objection based on the fact that there are obvious disanalogies between mathematics and fiction; (ii) a worry about whether fictionalism is consistent with the fact that certain mathematical sentences are objectively correct whereas others are incorrect; and (iii) a recent objection due to John Burgess concerning “hermeneuticism” and “revolutionism”.

There are two doctrines for which Quine is particularly well known: the doctrine of ontological commitment and the inscrutability thesis—the thesis that reference and quantification are inscrutable. At first glance, the two doctrines are squarely at odds. If there is no fact of the matter as to what our expressions refer to, then it would appear that no determinate commitments can be read off of our best theories. We argue here that the appearance of a clash between the two doctrines (...) is illusory. The reason that there is no real conflict is not simply that in determining our theories’ ontological commitments we naturally rely on our home language but also (and more importantly) that ontological commitment is not intimately tied to objectual quantification and a reference-first approach to language. Or so we will argue. We conclude with a new inscrutability argument which rests on the observation that the notion of objectual quantification, when properly cashed out, deflates. (shrink)

Inscrutability arguments threaten to reduce interpretationist metasemantic theories to absurdity. Can we find some way to block the arguments? A highly influential proposal in this regard is David Lewis’ ‘ eligibility ’ response: some theories are better than others, not because they fit the data better, but because they are framed in terms of more natural properties. The purposes of this paper are to outline the nature of the eligibility proposal, making the case that it is not ad hoc, but (...) instead flows naturally from three independently motivated elements; and to show that severe limitations afflict the proposal. In conclusion, I pick out the element of the eligibility response that is responsible for the limitations: future work in this area should therefore concentrate on amending this aspect of the overall theory. (shrink)

Constructivism undermines realism by arguing that experience is mediated by concepts, and that there is no direct way to examine those aspects of objects that belong to them independently of our conceptualizations; perception is theory-laden. To defend realism one has to show first that perception relates us directly with the world without any intermediary conceptual framework. The result of this direct link is the nonconceptual content of experience. Second, one has to show that part of the nonconceptual content extracted from (...) the environment correctly represents features of mind independent objects. With regard to the first condition, I have argued elsewhere that a part of visual processing, which I call “perception,” is theory-neutral and nonconceptual. In this paper, facing the second demand, I argue that a part of the nonconceptual content of perception presents properties that are the properties of mind independent objects. I claim first that nonconceptual content is the appropriate level of analysis of the issue of realism since it avoids the main problems besetting various types of analysis of the issue at the level of beliefs about the world. Then I claim that a subset of the nonconceptual content presents features of objects in the environment as they really are. (shrink)

The existence of non-standard models of first-order Peano-Arithmetic (PA) threatens to undermine the claim of the moderate mathematical realist that non-mysterious access to the natural number structure is possible on the basis of our best arithmetical theories. The move to logics stronger than FOL is denied to the moderate realist on the grounds that it merely shifts the indeterminacy “one level up” into the meta-theory by, illegitimately, assuming the determinacy of the notions needed to formulate such logics. This paper argues (...) that the challenge can be met. We show how the quantifier “there are infinitely many” can be uniquely determined in a naturalistically acceptable fashion and thus be used in the formulation of a theory of arithmetic. We compare the approach pursued here with Field’s justification of the same device and the popular strategy of invoking a second-order formalism, and argue that it is more robust than either of the alternative proposals. (shrink)