Metaphysical and absolute possibility

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

Justification and Explanation in Mathematics and Morality

In his influential book, The Nature of Morality, Gilbert Harman writes: “In explaining the observations that support a physical theory, scientists typically appeal to mathematical principles. On the other hand, one never seems to need to appeal in this way to moral principles.” What is the epistemological relevance of this contrast, if genuine? This chapter argues that ethicists and philosophers of mathematics have misunderstood it. They have confused what the chapter calls the justificatory challenge for realism about an area, D—the challenge to justify our D-beliefs—with the reliability challenge for D-realism—the challenge to explain the reliability of our D-beliefs. Harman’s contrast is relevant to the first, but not, evidently, to the second. One upshot of the discussion is that genealogical debunking arguments are fallacious. Another is that indispensability considerations cannot answer the Benacerraf–Field challenge for mathematical realism

Objectivity and Evaluation

I this article, I introduce the notion of pluralism about an area, and use it to argue that the questions at the center of our normative lives are not settled by the facts -- even the normative facts. 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 concept of objectivity, not realism, should take center stage

Epistemic Non-Factualism and Methodology

I discuss methodology in epistemology. I argue that settling the facts, even the epistemic facts, fails to settle the questions of intellectual policy at the center of our epistemic lives. An upshot is that the standard methodology of analyzing concepts like knowledge, justification, rationality, and so on is misconceived. More generally, any epistemic method that seeks to issue in intellectual policy by settling the facts, whether by way of abductive theorizing or empirical investigation, no matter how reliable, is inapt. The argument is a radicalization of Moore’s Open Question Argument. I conclude by considering the ramifications of this conclusion for the debate surrounding “Modal Security”, a proposed necessary condition on undermining defeat

Objectivity in Ethics and Mathematics

How do axioms, or first principles, in ethics compare to those in mathematics? In this companion piece to G.C. Field's 1931 "On the Role of Definition in Ethics", I argue that there are similarities between the cases. However, these are premised on an assumption which can be questioned, and which highlights the peculiarity of normative inquiry

Debunking Arguments: Mathematics, Logic, and Modal Security

I discuss the structure of genealogical debunking arguments. I argue that they undermine our mathematical beliefs if they undermine our moral beliefs. The contrary appearance stems from a confusion of arithmetic truths with (first-order) logical truths, or from a confusion of reliability with justification. I conclude with a discussion of the cogency of debunking arguments, in light of the above. Their cogency depends on whether information can undermine all of our beliefs of a kind, F, without giving us direct reason to doubt that our F-beliefs are modally secure

What is Absolute Undecidability?†

It is often alleged that, unlike typical axioms of mathematics, the Continuum Hypothesis (CH) is indeterminate. This position is normally defended on the ground that the CH is undecidable in a way that typical axioms are not. Call this kind of undecidability “absolute undecidability”. In this paper, I seek to understand what absolute undecidability could be such that one might hope to establish that (a) CH is absolutely undecidable, (b) typical axioms are not absolutely undecidable, and (c) if a mathematical hypothesis is absolutely undecidable, then it is indeterminate. I shall argue that on no understanding of absolute undecidability could one hope to establish all of (a)–(c). However, I will identify one understanding of absolute undecidability on which one might hope to establish both (a) and (c) to the exclusion of (b). This suggests that a new style of mathematical antirealism deserves attention—one that does not depend on familiar epistemological or ontological concerns. The key idea behind this view is that typical mathematical hypotheses are indeterminate because they are relevantly similar to CH

From Non-Usability to Non-Factualism

Holly Smith has done more than anyone to explore and defend the importance of usability for moral theories. In Making Morality Work, she develops a moral theory that is almost universally usable. But not quite. In this article, I argue that no moral theory is universally usable, in the sense that is most immediately relevant to action, even by agents who know all the normative facts. There is no moral theory knowledge of which suffices to settle deliberation about what to do. However, this is unsurprising if the question of what to do is not a question of fact. One upshot of the discussion is that the search for a universally usable moral theory is misconceived. Another is that, contra Smith (341), agents who are radically uncertain need not lack autonomy