The paper is concerned with the way in which “ontology” and “realism” are to be interpreted and applied so as to give us a deeper philosophical understanding of mathematical theories and practice. Rather than argue for or against some particular realistic position, I shall be concerned with possible coherent positions, their strengths and weaknesses. I shall also discuss related but different aspects of these problems. The terms in the title are the common thread that connects the various sections.

A lot of philosophers engage in debates about what claims are “metaphysically necessary”, and a lot more assume with little argument that some classes of claims have the status of “metaphysical necessity”. I think we can usefully replace questions about metaphysical necessity with five other questions which each capture some of what people may have had in mind when talking about metaphysical necessity. This paper explains these five other questions, and then discusses the question “how much of metaphysics is metaphysically (...) necessary?”, and each of its five replacements. (shrink)

The abstract structure of inquiry - the process of acquiring and changing beliefs about the world - is the focus of this book which takes the position that the "pragmatic" rather than the "linguistic" approach better solves the philosophical problems about the nature of mental representation, and better accounts for the phenomena of thought and speech. It discusses propositions and propositional attitudes (the cluster of activities that constitute inquiry) in general and takes up the way beliefs change in response to (...) potential new information, suggesting that conditional propositions should be understood as projections of epistemic policies onto the world.Robert C. Stalnaker is a professor in the Sage School of Philosophy at Cornell University. A Bradford Book. (shrink)

To what extent are the subjects of our thoughts and talk real? This is the question of realism. In this book, Justin Clarke-Doane explores arguments for and against moral realism and mathematical realism, how they interact, and what they can tell us about areas of philosophical interest more generally. He argues that, contrary to widespread belief, our mathematical beliefs have no better claim to being self-evident or provable than our moral beliefs. Nor do our mathematical beliefs have better claim to (...) being empirically justified than our moral beliefs. It is also incorrect that reflection on the "genealogy" of our moral beliefs establishes a lack of parity between the cases. In general, if one is a moral antirealist on the basis of epistemological considerations, then one ought to be a mathematical antirealist as well. And, yet, Clarke-Doane shows that moral realism and mathematical realism do not stand or fall together -- and for a surprising reason. Moral questions, insofar as they are practical, are objective in a sense that mathematical questions are not. Moreover, the sense in which they are objective can be explained only by assuming practical anti-realism. One upshot of the discussion is that the concepts of realism and objectivity, which are widely identified, are actually in tension. Another is that the objective questions in the neighborhood of questions of logic, modality, grounding, and nature are practical questions too. Practical philosophy should, therefore, take center stage. (shrink)

are synthetic a priori judgements possible?" In both cases, i~thas usually been t'aken for granted in fife one case by Kant that synthetic a priori judgements were possible, and in the other case in contemporary,'d-". philosophical literature that contingent statements of identity are ppss. ible. I do not intend to deal with the Kantian question except to mention:ssj~".

It is my aim in this paper to show that the contemporary assimilation of essence to modality is fundamentally misguided and that, as a consequence, the corresponding conception of metaphysics should be given up. It is not my view that the modal account fails to capture anything which might reasonably be called a concept of essence. My point, rather, is that the notion of essence which is of central importance to the metaphysics of identity is not to be understood in (...) modal terms or even to be regarded as extensionally equivalent to a modal notion. The one notion is, if I am right, a highly refined version of the other; it is like a sieve which performs a similar function but with a much finer mesh. (shrink)

Kurt Gödel, mathematician and logician, was one of the most influential thinkers of the twentieth century. Gödel fled Nazi Germany, fearing for his Jewish wife and fed up with Nazi interference in the affairs of the mathematics institute at the University of Göttingen. In 1933 he settled at the Institute for Advanced Study in Princeton, where he joined the group of world-famous mathematicians who made up its original faculty. His 1940 book, better known by its short title, The Consistency of (...) the Continuum Hypothesis, is a classic of modern mathematics. The continuum hypothesis, introduced by mathematician George Cantor in 1877, states that there is no set of numbers between the integers and real numbers. It was later included as the first of mathematician David Hilbert's twenty-three unsolved math problems, famously delivered as a manifesto to the field of mathematics at the International Congress of Mathematicians in Paris in 1900. In The Consistency of the Continuum Hypothesis Gödel set forth his proof for this problem. In 1999, Time magazine ranked him higher than fellow scientists Edwin Hubble, Enrico Fermi, John Maynard Keynes, James Watson, Francis Crick, and Jonas Salk. He is most renowned for his proof in 1931 of the 'incompleteness theorem,' in which he demonstrated that there are problems that cannot be solved by any set of rules or procedures. His proof wrought fruitful havoc in mathematics, logic, and beyond. (shrink)

I begin by contrasting three approaches one can take to the distinction between the essential and accidental properties: an ontological, a deflationary, and a mind‐dependent approach. I then go on to apply that distinction to the necessary a posteriori, and defend the deflationist view. Finally I apply the distinction to modal truth in general and argue that the deflationist position lets us avoid an otherwise pressing problem for the actualist: the problem of accounting for the source of modal truth.

Alan Sidelle's Necessity, Essence, and Individuation is a sustained defense of empiricism—or, more generally, conventionalism—against recent attacks by realists. Sidelle focuses his attention on necessity a posteriori, a kind of necessity which contemporary realists have taken to support realism over empiricism. Turning the tables against the realists, Sidelle argues that if there are in fact truths necessary a posteriori, it is not realism, but rather empiricism which provides the best explanation for them.

Introduction to the Two Volumes xi PART ONE: G. E. MOORE ON ETHICS, EPISTEMOLOGY, AND PHILOSOPHICAL ANALYSIS 1 CHAPTER 1 Common Sense and Philosophical Analysis 3 CHAPTER 2 Moore on Skepticism, Perception, and Knowledge 12 CHAPTER 3 Moore on Goodness and the Foundations of Ethics 34 CHAPTER 4 The Legacies and Lost Opportunities of Moore’s Ethics 71 Suggested Further Reading 89 PART TWO: BERTRAND RUSSELL ON LOGICAL AND LINGUISTIC ANALYSIS 91 CHAPTER 5 Logical Form, Grammatical Form, and the Theory of (...) Descriptions 93 CHAPTER 6 Logic and Mathematics: The Logicist Reduction 132 CHAPTER 7 Logical Constructions and the External World 165 CHAPTER 8 Russell’s Logical Atomism 182 Suggested Further Reading 194 PART THREE: LUDWIG WITTGENSTEIN’S TRACTATUS 195 CHAPTER 9 The Metaphysics of the Tractatus 197 CHAPTER 10 Meaning, Truth, and Logic in the Tractatus 214 CHAPTER 11 The Tractarian Test of Intelligibility and Its Consequences 234 Suggested Further Reading 254 PART FOUR: LOGICAL POSITIVISM, EMOTIVISM, AND ETHICS 255 CHAPTER 12 The Logical Positivists on Necessity and Apriori Knowledge 257 CHAPTER 13 The Rise and Fall of the Empiricist Criterion of Meaning 271 CHAPTER 14 Emotivism and Its Critics 300 CHAPTER 15 Normative Ethics in the Era of Emotivism: The Anticonsequentialism of Sir David Ross 320 Suggested Further Reading 346 PART FIVE: THE POST-POSITIVIST PERSPECTIVE OF THE EARLY W. V. QUINE 349 CHAPTER 16 The Analytic and the Synthetic, the Necessary and the Possible, the Apriori and the Aposteriori 351 CHAPTER 17 Meaning and Holistic Verificationism 378 Suggested Further Reading 406 Index 409. (shrink)

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...) arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church’s intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill paradox. The models used to establish this consistency also model other axioms (...) of Church’s intensional logic that have been criticized by Parsons and Klement: this, it turns out, is due to resources which also permit an interpretation of a fragment of Gallin’s intensional logic. Finally, the relation between the predicative response to the Russell-Myhill paradox of propositions and the Russell paradox of sets is discussed, and it is shown that the predicative conception of set induced by this predicative intensional logic allows one to respond to the Wehmeier problem of many non-extensions. (shrink)

Many important metaphysical arguments validly deduce an actuality from a possibility. For example: Because it is possible for me to exist in the absence of anything material, I am not my body. I argue that there is no reason to suppose that our capacity for modal judgment is equal to the task of determining whether the "possibility" premise of any of these arguments is true. I connect this thesis with Stephen Yablo's recent work on the epistemology of modal statements.

The critics in this volume raise several important challenges to the modal normativist position developed in Norms and Necessity, including whether the relation I claim holds between semantic rules and necessity claims generates spurious claims of metaphysical necessity, whether the view is circular (implicitly relying on a more 'robust' form of modal realism), and whether it conflicts with truth-conditional semantics. They also raise probing questions about how it compares to other views of modality, including a Lewisian view and an essentialist (...) view. In these replies, I respond to these challenges in ways that precisify the relevant understanding of ‘semantic rules' and the forms they can take, that make clearer the direction of explanation in modal normativism in ways that show the view doesn't rely on a more ‘robust’ form of modal realism, and that give reason for thinking that there is actually no conflict between modal normativism and truth-conditional semantics. I also aim to give a fuller assessment of how it compares to other approaches to modality, including an essentialist approach. (shrink)

Modality presents notorious philosophical problems, including the epistemic problem of how we could come to know modal facts and metaphysical problems about how to place modal facts in the natural world. These problems arise from thinking of modal claims as attempts to describe modal features of this world that explain what makes them true. Here I propose a different view of modal discourse in which talk about what is “metaphysically necessary” does not aim to describe modal features of the world, (...) but, rather, provides a particularly useful way of expressing constitutive semantic and conceptual rules in the object language. The result is a “modal normativist” view that enables us to avoid the epistemic problems of modality and mitigate the metaphysical worries, while also leaving open the possibility of a unified account of the function of modal language. Finally, I address a serious challenge: we have the norms we do in order to track the modal facts of the world, so that the order of explanation must go in the opposite direction. I close by showing how the normativist may answer that challenge. (shrink)

This article surveys recent developments in the epistemology of modality.

How to formulate the doctrine of relativism -- Evaluating the doctrine of relativism.

This paper criticises necessitarianism, the thesis that there is at least one necessary truth; and defends possibilism, the thesis that all propositions are contingent, or that anything is possible. The second section maintains that no good conventionalist account of necessity is available, while the third section criticises model theoretic necessitarianism. The fourth section sketches some recent technical work on nonclassical logic, with the aim of weakening necessitarian intuitions and strengthening possibilist intuitions. The fifth section considers several a prioristic attempts at (...) demonstrating that there is at least one necessary proposition and finds them inadequate. The final section emphasises the epistemic aspect of possibilism. (shrink)

I propose that we approach the epistemology of modality by putting modal metaphysics first and, specifically, by investigating the metaphysics of essence. Following a prominent Neo-Aristotelian view, I hold that metaphysical necessity depends on the nature of things, namely their essences. I further clarify that essences are core properties having distinctive superexplanatory powers. In the case of natural kinds, which is my focus in the paper, superexplanatoriness is due to the fact that the essence of a kind is what causes (...) all the many properties and behaviors that are typically shared by all the instances of the kind. Accordingly, we know what is necessarily true of kinds by knowing what is essential to them in the sense of actually playing such causal-explanatory roles. Modal reasoning aimed at discovering metaphysical necessity thus proceeds via essentialist deduction: we move from essentialist truths to reach necessary truths. (shrink)

There is currently intense interest in the question of the source of our presumed knowledge of truths concerning what is, or is not, metaphysically possible or necessary. Some philosophers locate this source in our capacities to conceive or imagine various actual or non-actual states of affairs, but this approach is open to certain familiar and seemingly powerful objections. A different and ostensibly more promising approach has been developed by Timothy Williamson, according to which our capacity for modal knowledge is just (...) an extension, or by-product, of our general capacity to acquire knowledge of true counterfactual conditionals — a capacity that we deploy ubiquitously in everyday life. Williamson’s account crucially involves a thesis to the effect that modal truths can be explained in terms of counterfactual truths. In this paper, I query Williamson’s account on a number of points, including this thesis. My positive proposal, which owes a debt to the work of Kit Fine on modality and essence, appeals instead to our capacity to grasp essences, understood in a neo-Aristotelian fashion, according to which essences are expressed by ‘real definitions’. (shrink)

The paper begins with an examination of Gödel's views on absolute undecidability and related topics in set theory. These views are sharpened and assessed in light of recent developments. It is argued that a convincing case can be made for axioms that settle many of the questions undecided by the standard axioms and that in a precise sense the program for large cardinals is a complete success “below” CH. It is also argued that there are reasonable scenarios for settling CH (...) and that there is not currently a convincing case to the effect that a given statement is absolutely undecidable. (shrink)

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

The question, "Which modal logic is the right one for logical necessity?," divides into two questions, one about model-theoretic validity, the other about proof-theoretic demonstrability. The arguments of Halldén and others that the right validity argument is S5, and the right demonstrability logic includes S4, are reviewed, and certain common objections are argued to be fallacious. A new argument, based on work of Supecki and Bryll, is presented for the claim that the right demonstrability logic must be contained in S5, (...) and a more speculative argument for the claim that it does not include S4.2 is also presented. (shrink)

The multiverse view in set theory, introduced and argued for in this article, is the view that there are many distinct concepts of set, each instantiated in a corresponding set-theoretic universe. The universe view, in contrast, asserts that there is an absolute background set concept, with a corresponding absolute set-theoretic universe in which every set-theoretic question has a definite answer. The multiverse position, I argue, explains our experience with the enormous range of set-theoretic possibilities, a phenomenon that challenges the universe (...) view. In particular, I argue that the continuum hypothesis is settled on the multiverse view by our extensive knowledge about how it behaves in the multiverse, and as a result it can no longer be settled in the manner formerly hoped for. (shrink)

The dream solution of the continuum hypothesis would be a solution by which we settle the continuum hypothesis on the basis of a newly discovered fundamental principle of set theory, a missing axiom, widely regarded as true. Such a dream solution would indeed be a solution, since we would all accept the new axiom along with its consequences. In this article, however, I argue that such a dream solution to $\mathrm {CH}$ is unattainable.

At least some of us, at least some of the time—when not in the grip of radical sceptical doubt—are inclined to believe that we know, for example, that if we infer a conclusion from two true premises, one a conditional whose consequent is that conclusion and the other the antecedent of that conditional, then our conclusion must be true, or that we know similar things about other simple patterns of inference. If we do indeed have knowledge of this sort, it (...) is what I mean by logical knowledge. Logical knowledge is, roughly speaking, knowledge about logic—such as knowledge that a certain principle of inference necessarily preserves truth, or that every proposition of a certain form must be true—and so is not the same thing as knowledge that is gained by using logic, i.e. inferential knowledge. That is not to say, of course, that logical knowledge can't be inferential. On the contrary, it is barely open to question that—if there is any logical knowledge at all—there is a lot of inferential logical knowledge. For example, if we know that the introduction and elimination principles for the conditional are truth-preserving, we can surely get to know, by inference, that the principle of hypothetical syllogism is so too, not to mention other, less obvious and more recondite, examples of putative logical knowledge. (shrink)

This paper investigates a generalization of Boolean algebras which I call agglomerative algebras. It also outlines two conceptions of propositions according to which they form an agglomerative algebra but not a Boolean algebra with respect to conjunction and negation.

An argument going back to Russell shows that the view that propositions are structured is inconsistent in standard type theories. Here, it is shown that such type theories may nevertheless provide entities which can serve as proxies for structured propositions. As an illustration, such proxies are applied to the case of grounding, as standard views of grounding require a degree of propositional structure which suffices for a version of Russell’s argument. While this application solves some of the problems grounding faces, (...) it introduces problematic limitations: it becomes impossible to quantify unrestrictedly over the relata of ground. The proposed proxies may thus not save grounding, but they shed light on what exactly Russell’s argument does and does not show. (shrink)

I argue for a version of tense-logical realism that privileges tensed facts without privileging any particular temporal standpoint from which they obtain.

This paper is an investigation of the general logic of "identifications", claims such as 'To be a vixen is to be a female fox', 'To be human is to be a rational animal', and 'To be just is to help one's friends and harm one's enemies', many of which are of great importance to philosophers. I advocate understanding such claims as expressing higher-order identity, and discuss a variety of different general laws which they might be thought to obey. [New version: (...) Nov. 4th, 2016]. (shrink)

It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically significant” about (...) metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

It is widely alleged that metaphysical possibility is “absolute” possibility Conceivability and possibility, Clarendon, Oxford, 2002, p 16; Stalnaker, in: Stalnaker Ways a world might be: metaphysical and anti-metaphysical essays, Oxford University Press, Oxford, 2003, pp 201–215; Williamson in Can J Philos 46:453–492, 2016). Kripke calls metaphysical necessity “necessity in the highest degree”. Van Inwagen claims that if P is metaphysically possible, then it is possible “tout court. Possible simpliciter. Possible period…. possib without qualification.” And Stalnaker writes, “we can agree (...) with Frank Jackson, David Chalmers, Saul Kripke, David Lewis, and most others who allow themselves to talk about possible worlds at all, that metaphysical necessity is necessity in the widest sense.” What exactly does the thesis that metaphysical possibility is absolute amount to? Is it true? In this article, I argue that, assuming that the thesis is not merely terminological, and lacking in any metaphysical interest, it is an article of faith. I conclude with the suggestion that metaphysical possibility may lack the metaphysical significance that is widely attributed to it. (shrink)