Logical realism is the metaphysical view asserting that the facts of logic exist and are mind-and-language independent. McSweeney argues that if logical realism is true, we encounter a dilemma. Either we cannot determine which of the two logically equivalent theories holds a fundamental status, or neither theory can be considered fundamental. These two conclusions together constitute what is known as the _Unfamiliarity Dilemma_, which poses significant challenges to our understanding of the epistemological and metaphysical features of logic. In this article, (...) I present two strategies to address McSweeney’s dilemma. If these arguments prove effective, they would demonstrate that our knowledge of logic is not susceptible to the skeptical concerns raised by McSweeney’s hypothesis. (shrink)

We investigate a hitherto under-considered avenue of response for the logical pluralist to collapse worries. In particular, we note that standard forms of the collapse arguments seem to require significant order-theoretic assumptions, namely that the collection of admissible logics for the pluralist should be closed under meets and joins. We consider some reasons for rejecting this assumption, noting some prima facie plausible constraints on the class of admissible logics which would lead a pluralist admitting those logics to resist such closure (...) conditions. (shrink)

Logical monism is the view that there is ‘One True Logic’. This is the default position, against which pluralists react. If there were not ‘One True Logic’, it is hard to see how there could be one true theory of anything. A theory is closed under a logic! But what is logical monism? In this article, I consider semantic, logical, modal, scientific, and metaphysical proposals. I argue that, on no ‘factualist’ analysis (according to which ‘there is One True Logic’ expresses (...) a factual claim, rather than an attitude like approval), does the doctrine have both metaphysical and methodological import. Metaphysically, logics abound. Methodologically, what to infer from what is not settled by the facts, even the normative ones. I conclude that the only interesting sense in which there could be One True Logic is noncognitive. The same may be true of monism about normative areas, like moral, epistemic, and prudential ones, generally. (shrink)

Logic is about reasoning, or so the story goes. This thesis looks at the concept of logic, what it is, and what claims of correctness of logics amount to. The concept of logic is not a settled matter, and has not been throughout the history of it as a notion. Tools from conceptual analysis aid in this historical venture. Once the unsettledness of logic is established we see the repercussions in current debates in the philosophy of logic. Much of the (...) battle over the ‘one true logic’ is conceptually talking past each other. The theory of logics-as-formalizations is presented as a conceptually open theory of logic which is Carnapian in flavour and grounding. Rudolf Carnap’s notions surrounding ‘external’ and ‘pseudo-questions’ about linguistic frameworks apply to formalizations, thus logics, as well. An account of what formalizations are, a more structured sub-set of modelling, is given to ground the claim that logics are formalizations. Finally, a novel account of correctness, the COFE framework, is developed which allows the notions of logical monism, pluralism and nihilism to be more precisely formulated than they currently are in the discourse. (shrink)

Say that metaphysical indeterminacy occurs just when there is a fact such that neither it nor its negation obtains. The aim of this work is to shed light on the issue of whether orthodox quantum mechanics provides any evidence of metaphysical indeterminacy by discussing the logical, semantic, and broadly methodological presuppositions of the debate. I argue that the dispute amounts to a verbal disagreement between classical and quantum logicians, given Eli Hirsch’s account of substantivity; but that it need not be (...) so if Ted Sider’s naturalness-based account of substantivity is adopted instead. Given the latter approach, can anything be said in order to tip the balance of the dispute either way? Some prima facie reasonable constraints on naturalness entail that the classicist is right, and the quantum world is therefore determinate. Nevertheless, there are reasons for weakening those constraints, to the effect that the dispute remains very much open. Finally, I discuss alternative accounts of metaphysical indeterminacy, and argue that they are unsuitable for framing the quantum indeterminacy debate. (shrink)

Facts about explanation are often taken as a guide to facts about metaphysics. Such inferences from explanation to metaphysics typically rely on two elements: explanatory realism, the view that it is a characteristic and necessary aspect of explanation to give information about metaphysical structure, and a backing model of explanation, according to which explanations are backed by supporting relations, such as causation. Combining explanatory realism with a backing model permits conclusions about metaphysics to follow straightforwardly from facts about explanation, and (...) those who endorse backing models of explanation have typically endorsed explanatory realism. In light of recent critiques of explanatory realism, in this paper I explore the prospects for a backing model without explanatory realism. I articulate a non-realist backing model and argue that this model can satisfy most of the motivations for a realist backing model, and that it can also play a central and illuminating role in the practice of metaphysics. (shrink)

I defend a new account of constitutive essence on which an entity’s constitutively essential properties are its most fundamental, nontrivial necessary properties. I argue that this account accommodates the Finean counterexamples to classic modalism about essence, provides an independently plausible account of constitutive essence, and does not run into clear counterexamples. I conclude that this theory provides a promising way forward for attempts to produce an adequate nonprimitivist, modalist account of essence. As both triviality and fundamentality in the account are (...) understood in terms of grounding, the theory also potentially has important implications for the relation between essence and grounding. (shrink)

This chapter argues that quantum indeterminacy can be construed as a merely derivative phenomenon. The possibility of merely derivative quantum indeterminacy undermines both a recent argument against quantum indeterminacy due to David Glick, and an argument against the possibility of merely derivative indeterminacy due to Elizabeth Barnes.

Metaphilosophy, Volume 53, Issue 2-3, Page 267-283, April 2022.

Telic monism in logic is the thesis that there is one single philosophically primary goal to logic. A different way to put it is that there is only one canonical application to logic. This thesis is widely present—implicitly or more explicitly—in the literature on the philosophy of logic, yet has not been examined nor argued for extensively. In this paper I will present and critically examine telic monism. One prominent candidate for the canonical application of logic, namely the formal codification (...) of logical consequence in natural language, will be challenged directly. The critique will then be generalized by appealing to a practice-based philosophy of logic. The general argument I put forth here claims that we have no principled reason to assume there to be just one primary goal to logic. Rather, I claim that it is more plausible that there actually is a variety of goals, purposes and applications to logic, without one of them enjoying primacy over the others. If this argument succeeds, at least one of the consequences is that it allows for a kind of logical pluralism that has previously been deemed insignificant, namely logical instrumentalism. (shrink)

Philosophers of science often assume that logically equivalent theories are theoretically equivalent. I argue that two theses, anti-exceptionalism about logic (which says, roughly, that logic is not a priori, that it is revisable, and that it is not special or set apart from other human inquiry) and logical realism (which says, roughly, that differences in logic reflect genuine metaphysical differences in the world), make trouble for both this commitment and the closely related commitment to theories being closed under logical consequence. (...) I provide three arguments. The first two show that anti-exceptionalism about logic provides an epistemic challenge to both the closure and the equivalence claims; the third shows that logical realism provides a metaphysical challenge to both the closure and the equivalence claims. Along the way, I show that there are important methodological upshots for metaphysicians and philosophers of logic. In particular, there are lessons to be drawn about certain conceptions of naturalism as constraining the possibilities for metaphysics and the philosophy of logic. (shrink)

Sensitivity has sometimes been thought to be a highly epistemologically significant property, serving as a proxy for a kind of responsiveness to the facts that ensure that the truth of our beliefs isn’t just a lucky coincidence. But it's an imperfect proxy: there are various well-known cases in which sensitivity-based anti-luck conditions return the wrong verdicts. And as a result of these failures, contemporary theorists often dismiss such conditions out of hand. I show here, though, that a sensitivity-based understanding of (...) epistemic luck can be developed that respects what was attractive about sensitivity-based approaches in the first place but that's immune to these failures. (shrink)

A recent logical anti-exceptionalist trend proposes that logical theories are revisable in the same manner as scientific theories, either on grounds of the method of theory selection or on what counts as evidence for this revision. Given this approximation of logic and science, the present essay analyzes the commitments of both these varieties and argues that, as it currently stands, this kind of anti-exceptionalism is committed to scientific realism, that is, to realism about some unobservable entities evoked in logical theories. (...) The essay argues that anti-exceptionalism cannot be separated into metaphysical and epistemological varieties, and proposed rather to label anti-exceptionalists views either broadly in terms of theory revision, or narrowly in terms of logic’s affinity with science. (shrink)

Most of the most prominent discussions within metaphysics assume without argument that our metaphysical theorizing should be constrained by classical logic. I examine why this is the case and then argue that it should not be. That is, I argue that we should not take our metaphysical theorizing to be constrained by classical logic.

In this paper we put forward and defend a view of the nature of logic that we call moderate anti-exceptionalism. In the first part of the paper we focus on the problem of genuine logical validity and consequence. We make use of examples from current debates to show that attempts to pinpoint the one and only authentic logic inevitably either yield irrefutable theories or lead to dead ends. We then outline a thoroughly naturalist account of logical consequence as grounded in (...) rules implicit in human linguistic practices. We insist that there are only two existing kinds of language: natural languages, and artificial languages that have been forged by us. There is thus no room for a "genuine" language and hence for "genuine" logic. We conclude that though logical theories are established—and are liable to criticism—in a similar fashion as those of the sciences, and in this sense logic is not exceptional, to fulfill its mission logic must lay a claim to normative authority over our argumentation and reasoning, which makes its methodology somewhat special. Logical theory is not meant to provide just an explanation, the standards it establishes serve also as a tool, providing for a reinforcement of our rational communication. (shrink)

I argue there are some objects which do not respect the Law of the Excluded Middle, i.e., which are such that, for some property F, the disjunction Fo v ~Fo fails to be true. I call such objects “odd objects” and present three examples—fictional objects, nonsort objects, and quantum objects. I argue that each of these objects is best understood as violating LEM. I, then, discuss Jessica Wilson’s account of metaphysical indeterminacy. I show how the indeterminacy which arises with odd (...) objects can be accounted for on Wilson’s account. I, then, argue that my Wilson-inspired, but non-LEM-respecting, account of metaphysical indeterminacy is superior to Wilson’s in terms of costs and benefits. (shrink)