According to Quine, in any disagreement over basic logical laws the contesting parties must mean different things by the connectives or quantifiers implicated in those laws; when a deviant logician ‘tries to deny the doctrine he only changes the subject’. The standard semantics for intuitionism offers some confirmation for this thesis, for it represents an intuitionist as attaching quite different senses to the connectives than does a classical logician. All the same, I think Quine was wrong, even about the dispute (...) between classicists and intuitionists. I argue for this by presenting an account of consequence, and a cognate semantic theory for the language of the propositional calculus, which respects the meanings of the connectives as embodied in the familiar classical truth-tables, does not presuppose Bivalence, and with respect to which the rules of the intuitionist propositional calculus are sound and complete. Thus the disagreement between classicists and intuitionists, at least, need not stem from their attaching different senses to the connectives; one may deny the doctrine without changing the subject. The basic notion of my semantic theory is truth at a possibility, where a possibility is a way that things might be, but which differs from a possible world in that the way in question need not be fully specific or determinate. I compare my approach with a previous theory of truth at a possibility due to Lloyd Humberstone, and with a previous attempt to refute Quine’s thesis due to John McDowell. (shrink)

I set up a dilemma, concerning metaphysical modality de re, for the essentialist opponent of a ‘two senses’ view of necessity. I focus specifically on Frank Jackson's two-dimensional account in his From Metaphysics to Ethics (Oxford: Oxford University Press, 1998). I set out the background to Jackson's conception of conceptual analysis and his rejection of a two senses view. I proceed to outline two purportedly objective (as opposed to epistemic) differences between metaphysical and logical necessity. I conclude that since one (...) of these differences must hold and since each requires the adoption of a two senses view of necessity, essentialism is not consistent with the rejection of a two senses view. (shrink)

This paper responds to criticism of the Kripkean account of logical truth in first-order modal logic. The criticism, largely ignored in the literature, claims that when the box and diamond are interpreted as the logical modality operators, the Kripkean account is extensionally incorrect because it fails to reflect the fact that all sentences stating truths about what is logically possible are themselves logically necessary. I defend the Kripkean account by arguing that some true sentences about logical possibility are not logically (...) necessary. (shrink)

Talk of metaphysical modality as “absolute” is ambiguous, as it appears to convey multiple ideas. Metaphysical possibility is supposedly completely unrestricted or unqualified; metaphysical necessity is unconditional and exceptionless. Moreover, metaphysical modality is thought to be absolute in the sense that it’s real or genuine and the most objective modality: metaphysical possibility and necessity capture ways things could and must have really been. As we disentangle these ideas, certain talk of metaphysical modality qua “absolute” turns out to be misguided. Metaphysical (...) possibility isn't completely unrestricted or most inclusive compared to the other modalities; metaphysical necessity, like all kinds of necessities, is relative to or conditional upon a specific framework of reference. Still, metaphysical modality captures how things could and must have really been most generally because it deals with reality and the nature of things or their essence. That’s the chief interest of metaphysics. Arguments against the alleged absoluteness of metaphysical modality may not thereby undermine its philosophical significance. (shrink)

What is the function of modal judgment? Why do we make judgments of possibility and necessity? Or are such judgments, in fact, dispensable? This paper introduces and develops an answer to these questions based on Kant’s remarks in section 76 of the Critique of Judgment. Here, Kant appears to argue the following: that a capacity to make modal judgments using modal concepts is required for a capacity for objective representation, in light of our split cognitive architecture. This split cognitive architecture (...) leaves room for a mismatch between our concepts and intuitions and, Kant argues, that is why we need modal concepts and modal judgments. In this paper, I develop this account of the function of modal judgment and to explore the extent to which it may improve upon contemporary alternatives. I focus on one particularly important challenge for the account: to explain why a distinction between the actual and the possible, rather than merely a distinction between the actual and the non-actual, is required. In order to answer this question, I supplement the account with a particular way of thinking about objectivity. (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)

McFetridge (in Logical necessity and other essays . London: Blackwell, 1990 ) suggests that to treat a proposition as logically necessary—to believe a proposition logically necessary, and to manifest that belief—is a matter of preparedness to deploy that proposition as a premise in reasoning from any supposition. We consider whether a suggestion in that spirit can be generalized to cover all cases of absolute necessity, both logical and non-logical, and we conclude that it can. In Sect. 2, we explain the (...) significance that such an account of manifestation of belief in absolute necessity has for the prospects of a non-realist theory of modality. In Sect. 3, we offer a sympathetic articulation of the detail that underlies the McFetridge conception of belief in logical necessity. In Sects. 4 and 5, we show that the conception so articulated will not generalize to encompass all cases of belief in absolute necessity and proceed to offer a remedy. Our proposal is based upon a distinction between two kinds of suppositional act: A-supposing and C-supposing (Sect. 6). In Sect. 7, we then explain and defend our central thesis: (roughly) that (manifestation of) belief in absolute necessity is a matter of preparedness to deploy as a premise in reasoning under any C-supposition. Finally, we indicate that there is some promise in the parallel thesis that manifestation of the treatment of a proposition as a priori is a matter of preparedness to deploy as a premise in reasoning under any A-supposition (Sect. 8). (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)

Three plausible views—Presentism, Truthmaking, and Independence—form an inconsistent triad. By Presentism, all being is present being. By Truthmaking, all truth supervenes on, and is explained in terms of, being. By Independence, some past truths do not supervene on, or are not explained in terms of, present being. We survey and assess some responses to this.

Recent attempts to resolve the truthmaker objection to presentism employ a fundamentally tensed account of the relationship between truth and being. On this view, the truth of a proposition concerning the past supervenes on how things are, in the present, along with how things were, in the past. This tensed approach to truthmaking arises in response to pressure placed on presentists to abandon the standard response to the truthmaker objection, whereby one invokes presently existing entities as the supervenience base for (...) the truth of past-directed propositions. In this paper, I argue that a fundamentally tensed approach to truthmaking is implausible because it requires the existence of cross-temporal supervenience relations, which are anathema to presentism. (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)

It is a common criticism of presentism – the view according to which only the present exists – that it errs against truthmaker theory. Recent attempts to resolve the truthmaker objection against presentism proceed by restricting truthmaker maximalism (the view that all truths have truthmakers), maintaining that propositions concerning the past are not made true by anything, but are true nonetheless. Support for this view is typically garnered from the case for negative existential propositions, which some philosophers contend are exceptions (...) to truthmaker maximalism. In this article, we argue that a ‘no truthmakers’ approach to the truthmaker objection is critically flawed. (shrink)

The paper argues against Bob Hale's (1999) argument that enquirers must regard some truths as necessary truths. Hale's argument against Quinean skepticism. like many similar arguments due to McFetridge, Wright and others, involves a quantifier shift fallacy.