Externalism holds that the content of our utterances and thoughts are determined partly by the environment. Here, I offer an argument which suggests that externalism is incompatible with a natural view about ontological commitment--namely, the Quinean view that such commitments are fixed by the range of the variables in your theory. The idea in brief is that if Oscar mistakenly believes that water = XYZ, the externalist ontologically commits Oscar to two waterish kinds, whereas the Quinean commits him to one (...) such kind (albeit a metaphysically impossible kind). The penultimate section addresses a variety of objections to the argument. (shrink)

This dissertation explores several illuminating points of intersection between the philosophy of perception and the philosophy of vagueness. Among other things, I argue: (i) that it is entirely unhelpful to theorize about perception or consciousness using Nagelian "what it's like" talk; (ii) that a popular recent account of perceptual phenomenology (representationalism) conflicts with our best theory of vagueness (supervaluationism); (iii) that there are no vague properties, for Evans-esque reasons; (iv) that it is impossible to insert "determinacy" operators into representationalism in (...) a truth-preserving manner; and (v) that strong versions of dualism are unable to accommodate the possibility of borderline consciousness. (shrink)

This paper concerns non-causal normative explanations such as ‘This act is wrong because/in virtue of__’. The familiar intuition that normative facts aren't brute or ungrounded but anchored in non- normative facts seems to be in tension with the equally familiar idea that no normative fact can be fully explained in purely non- normative terms. I ask whether the tension could be resolved by treating the explanatory relation in normative explanations as the sort of ‘grounding’ relation that receives extensive discussion in (...) recent metaphysics. I argue that this would help only under controversial assumptions about the nature of normative facts, and perhaps not even then. I won't try to resolve the tension, but draw a distinction between two different sorts of normative explanations which helps to identify constraints on a resolution. One distinctive constraint on normative explanations in particular might be that they should be able to play a role in normative justification. (shrink)

Is arguing over ontology a mistake? A recent proposal by Karen Bennett suggests that some metaphysical disputes, such as those over constitution and composition, can be dismissed on epistemic grounds. Given that both sides in a dispute try to minimize the differences between them, there are no good metaphysical grounds for choosing between them. In this paper, I expand on her epistemic dismissivism, arguing that given the Quinean conception of the task and method of metaphysics, we are warranted in believing (...) that all ontological disputes will end in a draw, even if they have not yet done so. By a draw, I mean that while both sides in a dispute are genuinely disagreeing about what there is and there are still moves open to them, there are no moves remaining that will advance the discourse further. (shrink)

David Lewis is associated with the controversial thesis that some properties are more eligible than others to be the referents of our predicates solely in virtue of those properties’ being more natural; independently, that is, of anything to do with our patterns of usage of the relevant predicates. On such a view, the natural properties act as ‘reference magnets’. In this paper I explore (though I do not endorse) a related thesis in epistemology: that some propositions are ‘justification magnets’. According (...) to the doctrine of justification magnetism, we have better justification for some propositions than for others solely in virtue of certain features of those propositions; independently, that is, of anything to do with evidential support or cognitive accomplishment. In the course of discussing an objection to justification magnetism I describe (though I do not endorse) a novel approach to epistemology akin to interpretationism in the theory of reference. (shrink)

The relation of ontological dependence or grounding, expressed by the terminology of separation and priority in substance, plays a central role in Aristotle’s Categories, Metaphysics, De Anima and elsewhere. The article discusses three current interpretations of this terminology. These are drawn along the lines of, respectively, modal-existential ontological dependence, essential ontological dependence, and grounding or metaphysical explanation. I provide an opinionated introduction to the topic, raising the main interpretative questions, laying out a few of the exegetical and philosophical options that (...) influence one’s reading, and locating questions of Aristotle scholarship within the discussion of ontological dependence and grounding in contemporary metaphysics. (shrink)

The theoretical virtue of parsimony values the minimizing of theoretical commitments, but theoretical commitments come in two kinds : ontological and ideological. While the ontological commitments of a theory are the entities it posits, a theory’s ideological commitments are the primitive concepts it employs. Here, I show how we can extend the distinction between quantitative and qualitative parsimony, commonly drawn regarding ontological commitments, to the domain of ideological commitments. I then argue that qualitative ideological parsimony is a theoretical virtue. My (...) defense proceeds by demonstrating the merits of qualitative ideological parsimony and by showing how the qualitative conception of ideological parsimony undermines two notable arguments from ideological parsimony: David Lewis’ defense of modal realism and Ted Sider’s defense of mereological nihilism. (shrink)

Theodore Sider in his latest book provides a defense of the substantivity of the first-order ontological debates against recent deflationary attacks. He articulates and defends several realist theses: (a) nature has an objective structure, (b) there is an objectively privileged language to describe the structure, and (c) ontological debates are substantive. Sider’s defense of metaontological realism, (c), crucially depends on his realism about fundamental languages, (b). I argue that (b) is wrong. As a result, Sider’s metaontological realism fails to establish (...) the substantivity of certain ontological disputes. Nonetheless, I will argue denying metaontological realism does not require giving up on the realism about structure, (a), that most of us would like to preserve: namely the idea that there are objective similarities and differences in the world that we try to wrap our minds around. (shrink)

One way to challenge the substantiveness of a particular philosophical issue is to argue that those who debate the issue are engaged in a merely verbal dispute. For example, it has been maintained that the apparent disagreement over the mind/brain identity thesis is a merely verbal dispute, and thus that there is no substantive question of whether or not mental properties are identical to neurological properties. The goal of this paper is to help clarify the relationship between mere verbalness and (...) substantiveness. I first argue that we should see mere verbalness as a certain kind of discourse defect that arises when the parties differ as to what each takes to be the immediate question under discussion. I then argue that mere verbalness, so understood, does not imply that the question either party is attempting to address is a non-substantive one. Even if it turns out that the parties to the mind/brain dispute are addressing subtly different questions, these might both be substantive questions to which their respective metaphysical views provide substantive answers. One reason it is tempting to reach deflationary conclusions from the charge of mere verbalness is that we fail to distinguish it from the claim that a sentence under dispute is, in a certain sense, indisputable. Another reason is that we fail to distinguish mere verbalness from a certain sort of indeterminacy. While indisputability and indeterminacy plausibly capture forms of nonsubstantiveness, I argue that mere verbalness is insufficient to establish either indisputability or indeterminacy. (shrink)

This paper is part of a book symposium on Theodore Sider's Writing the Book of the World.

Aristotle talks about 'the first philosophy' throughout the Metaphysics – and it is metaphysics that Aristotle considers to be the first philosophy – but he never makes it entirely clear what first philosophy consists of. What he does make clear is that the first philosophy is not to be understood as a collection of topics that should be studied in advance of any other topics. In fact, Aristotle seems to have thought that the topics of Metaphysics are to be studied (...) after those in Physics. In what sense could metaphysics be the first philosophy in the context of contemporary metaphysics? This is the question examined in this essay. Contemporary topics such as fundamentality, grounding, and ontological dependence are considered as possible ways to understand the idea of first philosophy, but I will argue that the best way to understand it is in terms of essence. (shrink)

Lewis's notion of a "natural" property has proved divisive: some have taken to the notion with enthusiasm, while others have been sceptical. However, it is far from obvious what the enthusiasts and the sceptics are disagreeing about. This paper attempts to articulate what is at stake in this debate.

While there are many examples of metaphysical theorising being heuristically and intellectually important in the progress of scientific knowledge, many people wonder how metaphysics not closely informed and inspired by empirical science could lead to rival or even supplementary knowledge about the world. This paper assesses the merits of a popular defence of the a priori methodology of metaphysics that goes as follows. The first task of the metaphysician, like the scientist, is to construct a hypothesis that accounts for the (...) phenomena in question. It is then argued that among the possible metaphysical theories, the empirical evidence underdetermines the right one, just as the empirical evidence underdetermines the right scientific theory. In the latter case it is widely agreed that we must break the underdetermination by appeal to theoretical virtues, and this is just what should be and largely is done in metaphysics. This is part of a more general line of argument that defends metaphysics on the basis of its alleged continuity with highly theoretical science. In what follows metaphysics and theoretical science are compared in order to see whether the above style of defence of a priori metaphysics is successful. (shrink)

In this paper, I argue that the spatiotemporalist approach way of modeling the fundamental constituents, structure, and composition of the world has taken a wrong turn. Spatiotemporalist approaches to fundamental structure take the fundamental nature of the world to be spatiotemporal: they take the category of spatiotemporal to be fundamental. I argue that the debates over the nature of the fundamental space in the physics show us that (i) the fact that it is conceivable that the manifest world could be (...) exactly as it appears to us, even though spatiotemporal entities are not fundamental, means that a central premise of spatiotemporalism, that we may assume, given ordinary experience, that the world is fundamentally spatiotemporal, is false. (ii) Spatiotemporalism must be seen as a contingent, a posteriori physical truth. Finally, (iii) I argue that a metaphysically deeper conclusion follows from the debate over the nature of the fundamental space. The debate in physics over which sort of space is the fundamental space suggests that physicists have discovered that, even if a spacetime is an actual constituent of the world-space category, there is a world-space category that is more fundamental than the category of spacetime. (shrink)

Consider the claim that openmindedness is an epistemic virtue, the claim that true belief is epistemically valuable, and the claim that one epistemically ought to cleave to one’s evidence. These are examples of what I’ll call “ epistemic discourse.” In this paper I’ll propose and defend a view called “convention-relativism about epistemic discourse.” In particular, I’ll argue that convention-relativismis superior to its main rival, expressivism about epistemic discourse. Expressivism and conventionalism both jibe with anti-realism about epistemic normativity, which is motivated (...) by appeal to philosophical naturalism. Convention-relativism says that epistemic discourse describes how things stands relative to a conventional set of “ epistemic ” values; such discourse is akin to normative discourse relative to the conventional rules of a club. I defend conventionalism by appeal to a “reverse open question argument,” which says, pace expressivism, that epistemic discourse leaves the relevant normative questions open. (shrink)

Sceptics about substantial disputes in ontology often argue that when two philosophers seem to disagree on a quantified claim, they are actually equivocating on the notion of existence that they are using. When temporal elements play a central role, as in the debate between presentists and eternalists, the hypothesis of an equivocation with respect to existence acquires more plausibility. However, the anti-sceptic can still argue that this hypothesis is unjustified.

Intuitively, (1)-(3) seem to express genuine claims (true or false) about what the world is like, attempts to correctly describe parts of extra-linguistic reality. By contrast, it is tempting to regard (4)-(6) as merely reflecting decisions (or conventions, or dispositions, or rules) concerning the terms in which that extra-linguistic reality is described, decisions about which things to label with 'vixen', 'bachelor' or 'cup'.

The recent debate in metaontology gave rise to several types of (more or less classical) answers to questions about "equivalences" between metaphysical theories and to the question whether metaphysical disputes are substantive or merely verbal (i.e. various versions of realism, strong anti-realism, moderate anti-realism, or epistemicism). In this paper, I want to do two things. First, I shall have a close look at one metaphysical debate that has been the target and center of interest of many meta-metaphysicians, namely the problem (...) of how material objects persist through time : the endurantism vs. perdurantism controversy. It has been argued that this debate is a good example of a merely verbal one, where two allegedly competing views are in fact translatable one into each other – they end up, contrary to appearances, to be equivalent. In my closer look at this debate, I will conclude that this is correct, but only to some extent, and that there does remain room for substantive disagreement. The second thing that I wish to achieve in this paper, and that I hope will stem from my considerations about the persistence debate, is to defend a metaontological view that emphasizes that when asking the question "Are metaphysical debates substantive or verbal?" the correct answer is "It depends." Some debates are substantive, some debates are merely verbal, sometimes it is true that a problem or a question can be formulated in equally good frameworks where there is no fact of the matter as to which one is correct or where we just cannot know it. Furthermore, importantly, as my examination of the persistence debate will show, there is room for the view that a debate is largely merely verbal but not entirely and that some parts of it are substantive, and decidable by philosophical methods. It is possible, and it is the case with respect to the persistence debate, that inside a debate some points are merely verbal while other are places of substantive disagreement. A moral of this is that, at the end of the day, the best way to do meta-metaphysics is to do first-level metaphysics. (shrink)

Recently much has been made of the grounding relation, and of the idea that it is intimately tied to fundamentality. If A grounds B, then A is more fundamental than B (though not vice versa ), and A is ungrounded if and only if it is fundamental full stop—absolutely fundamental. But here is a puzzle: is grounding itself absolutely fundamental?

In the Phaedrus, Socreates sympathetically describes the ability “to cut up each kind according to its species along its natural joints, and to try not to splinter any part, as a bad butcher might do.” (265e) In contemporary philosophy, Ted Sider (2009, 2011) defends the same idea. As I shall put it, Plato and Sider’s idea is that limning structure is an epistemic goal. My aim in this paper is to articulate and defend this idea. First, I’ll articulate the notion (...) of a structural proposition (§1), and the notion of an epistemic goal (§2), where I’ll assume that epistemic goals are species of accuracy. Then (§3), I’ll argue against some proposals for understanding the idea that limning structure is an epistemic goal: limning structure is neither an aim of belief (§3.1), nor of inquiry (§3.2), nor of concept possession (§3.3). Importantly, non-structural belief is not thereby inaccurate; belief does not “aim” at being structural. Next (§4), I’ll propose a framework for understanding the idea that limning structure is an epistemic goal, and defend that idea. What is required, to defend the view that limning structure is an epistemic goal, is the notion of (what I call) theorizing – a propositional attitude that, unlike belief, does “aim” at being structural (§4.1). I’ll argue that structural truths constitute a species of “important” truths (§4.2), and that apt theorizing is a species of understanding (§4.3). Finally (§5), I’ll discuss the possibility that there is no structure. (shrink)

An encyclopedia entry which covers various revisionary conceptions of which macroscopic objects there are, and the puzzles and arguments that motivate these conceptions: sorites arguments, the argument from vagueness, the puzzles of material constitution, arguments against indeterminate identity, arguments from arbitrariness, debunking arguments, the overdetermination argument, and the problem of the many.

In a series of publications, Eli Hirsch has presented a sustained defense of common-sense ontology. Hirsch's argument relies crucially on a meta-ontological position sometimes known as ‘superficialism’. Hirsch's argument from superficialism to common-sense ontology is typically resisted on the grounds that superficialism is implausible. In this paper, I present an alternative argument for common-sense ontology, one that relies on (what I argue is) a much more plausible meta-ontological position, which I call ‘constructivism’. Note well: I will not quite argue that (...) constructivism is true; merely that it is significantly more plausible than superficialism, and consequently affords a safer route to common-sense ontology. Thus my main goal in the paper is not quite to establish common-sense ontology, nor for that matter to refute Hirsch's argument for it. My goal is, in a way, more expressive than argumentative: I wish to articulate a novel meta-ontological position, one that I take to be in no way obviously less plausible than already familiar positions, and to point out that the position probably leads to common-sense ontology. I open, in section 1, with a discussion of Hirsch's argument and the main objection to it. I then develop, in section 2, a sketch of the alternative meta-ontology I have in mind. I close, in section 3, with the argument that this alternative meta-ontology, too, leads to common-sense ontology. (shrink)

There are various entities which, if they exist, would be candidates for necessary beings: God, propositions, relations, properties, states of affairs, possible worlds, and numbers, among others. Note that the first entity in this list is a concrete entity , while the rest are abstract entities. Many interesting philosophical questions arise when one inquires about necessary beings: What makes it the case that they exist necessarily? Is there a grounding for their necessary existence? Do some of them depend on others? (...) If so, how might one understand the dependence relation? (shrink)

Terms such as ‘exist’, ‘actual’, etc., (hereafter, “ontic terms”) are recognized as having uses that are not ontologically committing, in addition to the usual commissive uses. (Consider, e.g., the Platonic and the neutral readings of ‘There is an even prime’.) In this paper, I identify five different noncommissive uses for ontic terms, and (by a kind of via negativa) attempt to define the commissive use, focusing on ‘actual’ as my example. The problem, however, is that the resulting definiens for the (...) commissive ‘actual’ is itself equivocal between a commissive and a noncommissive reading. I thus consider other proposals for defining the commissive use, including two proposals from David Lewis. However, each proposal is found to be equivocal in the same way—and eventually I argue that it is impossible to define an ontic term unequivocally. Even so, this is not meant to overshadow that we can understand an ontic term as univocally commissive, in certain conversational contexts. I close by illustrating the import of these observations for the Hirsch–Sider debate in metaontology. (shrink)

In this paper, I examine the relationship between physicalism and property dualism in the light of the dialectic between anti-physicalist arguments and physicalist responses. Upon rehearsing the moves of each side, it is hard not to notice that there is a puzzling symmetry between dualist attacks on physicalism and physicalist replies. Each position can be developed in a way to defend itself from attacks from the other position, and it seems that there are neither a priori nor a posteriori grounds (...) to choose between the two. I suggest that the reason for the intractability of the disagreement, perhaps surprisingly, is they are both true: physicalism and dualism are formulated in terms of different conceptual schemes, each involving basic metaphysical concepts such as possibility, necessity, law and property. My proposal is that this means that there is no real disagreement in fact; both schemes get at the same reality, in different ways. -/- . (shrink)

In this article, I seek to assess the extent to which Theism, the claim that there is a God, can provide a true fundamental explanation for the instantiation of the grounding relation that connects the various entities within the layered structure of reality. More precisely, I seek to utilise the explanatory framework of Richard Swinburne within a specific metaphysical context, a ground-theoretic context, which will enable me to develop a true fundamental explanation for the existence of grounding. And thus, given (...) the truth of this type of explanation, we will have a further reason to believe in the existence of God. (shrink)

This article aims to provide an elucidation of the doctrine of the Incarnation. A new ‘reduplication strategy’ and ‘compositional model’ is formulated through the utilisation of certain concepts and theses from contemporary metaphysics, which will enable the doctrine of the Incarnation to be explicated in a clear and consistent manner, and the oft-raised objections against it being fully dealt with.

G. E. Moore argues that goodness is an intrinsic non-natural property that supervenes irreducibly on the intrinsic natural properties of its bearers. Accordingly, it is often supposed that “Moorean” supervenience is incompatible with physicalism, a naturalistic thesis. In this paper I argue that Moorean supervenience is not in itself incompatible with physicalism, Moore’s ethical non-naturalism notwithstanding. Understanding why will help us to better appreciate the full range of resources available to physicalists.

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Counterfactuals are context-sensitive. However, we argue that various debates and doctrines in metaphysics and the philosophy of science are premised on ignoring the full extent of counterfactual context-sensitivity. Our focus is on the prominent "miracle" versus "no-miracle" debate about counterfactuals under the assumption that our laws of nature are deterministic. But we also discuss doctrines that employ counterfactuals in theories of rational decision, as well as doctrines that explain what it is to be a law of nature in terms of (...) counterfactuals. We conclude by drawing some morals about the use of counterfactuals in philosophical theorizing more generally. (shrink)

I propose a novel metaphysical explanation of identity and distinctness facts called the Modal Proposal. According to the Modal Proposal, for each identity fact – that is, each fact of the form a=b – that fact is metaphysically explained by the fact that it is necessary that the entities involved are indiscernible, and for each distinctness fact –that is, each fact of the form a≠b – that fact is metaphysically explained by the fact that it is possible for the entities (...) involved to be discernible. I argue that the Modal Proposal has greater payoffs at less cost than any of its competitors. It gives simple, uniform, and intuitive explanations of identity and distinctness that conserve longstanding philosophical insights about identity that go back to Leibniz. It does this while making our fundamental base more parsimonious, determining whether controversial cases of identity or distinctness are possible, and expanding our understanding of these central philosophical relations. It does all this while avoiding controversial ontological commitments. (shrink)

Easy Ontology (EO), defended in several recent works by Amie Thomasson, and based on Carnap’s famous deflationism about metaphysics, is the view that many ontological questions, like ‘Are there numbers?’, are at bottom easy, at least when taken in their “internal” sense. Both Carnap and Thomasson take for granted that serious metaphysicians therefore cannot plausibly be interpreted as asking internal questions. Thus, they think they are committed to finding some alternative, special interpretation of metaphysicians’ utterances. I argue that none of (...) the alternative interpretations proposed in the literature are viable. More importantly, I argue that Carnap and Thomasson are wrong about this commitment. EO should instead be coupled with the view that metaphysicians ask internal questions, yet have the false belief that they can be answered only through metaphysical speculation. This is a significant modification of EO, in which the notion of an “external question” plays no role, and which results in a simpler and more plausible theory. (shrink)

In this discussion note I reply to some criticisms that Marc Lange (2022) has directed at my Humean view of scientific laws (Bhogal, 2020) -- about whether Humean views can make sense of the apparent fact that laws are counterfactually invariant. The key idea of my response is that the Humean should think of their reduction of the laws to the Humean mosaic as closely related to other views where we reduce one domain to another but still allow that the (...) higher-level domain can be `autonomous' of the lower-level in some respects -- like, for example, the view that the special sciences reduce to physics but can still can work autonomously of physics. (shrink)

It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of rule have (...) divergent forms, occupying opposite poles on a spectrum of naturalness. Symbolic rules are composed entirely of primitive juxtapositions of sign types with contents, while iconic rules determine contents entirely by uniform natural relations with sign types. This distinction is marked explicitly in the formal semantics of familiar sign systems, both for atomic first-order representations, like words, pixel colors, and dials, and for complex second-order representations, like sentences, diagrams, and pictures. (shrink)

Forthcoming in Darren Bradley (ed.), Carnap and Contemporary Philosophy. -/- This paper is centered on Carnap’s views on rationality. More specifically, much of the focus is on a puzzle regarding Carnap’s view on rationality that Florian Steinberger has recently discussed. Not only is Steinberger’s discussion of significant intrinsic interest: his discussion also raises general questions about Carnap interpretation. As I have discussed in earlier work, there are two very different ways of interpreting Carnap’s talk of “frameworks” – and, relatedly, different (...) ways of interpreting Carnap’s principle of tolerance. Carnap can be interpreted as either a relativist or as what I call a language pluralist. Steinberger’s puzzle arises given the relativist interpretation; I believe the language pluralist interpretation is correct. Most of the discussion will concern the correct interpretation of Carnap, and what this means for Steinberger’s puzzle. While I will not here mount a full defense of the language pluralist interpretation, I will pause to discuss Vera Flocke’s recent criticism of it. Towards the end, I will describe a puzzle regarding rationality different from Steinberger’s. The puzzle that I describe does arise already for the language pluralist. (shrink)

Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract sciences. If we wish (...) to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

One important challenge for contingentists is that they seem to be unable to account for the meaning of some apparently meaningful modal discourse that is perfectly intelligible for necessitists. This worry is particularly pressing for higher-order contingentists, contingentists who hold that it is not only contingent which objects there are, but also contingent which semantic values there are for higher-order variables to quantify over. Objections against higher-order contingentism along these lines have been presented in Williamson (Mind 119(475):657–748, 2010; Modal logic (...) as metaphysics, Oxford University Press, 2013, ch. 7), and Fritz and Goodman (Mind 126(504):1063–1108, 2017). This paper presents a way for contingentists to respond to these challenges. The upshot is that the contingentist can account for the meaningfulness of the problematic modal claims by pretending necessitism to be true, but in some cases it turns out to be indeterminate whether they are true. I defend this strategy against the objections against pretence-strategies presented in Fritz and Goodman (Mind 126(504):1063–1108, 2017, §4). Furthermore, I defend the plausibility of the resulting indeterminacy from the contingentist’s perspective. (shrink)

While the epistemic significance of disagreement has been a popular topic in epistemology for at least a decade, little attention has been paid to logical disagreement. This monograph is meant as a remedy. The text starts with an extensive literature review of the epistemology of (peer) disagreement and sets the stage for an epistemological study of logical disagreement. The guiding thread for the rest of the work is then three distinct readings of the ambiguous term ‘logical disagreement’. Chapters 1 and (...) 2 focus on the Ad Hoc Reading according to which logical disagreements occur when two subjects take incompatible doxastic attitudes toward a specific proposition in or about logic. Chapter 2 presents a new counterexample to the widely discussed Uniqueness Thesis. Chapters 3 and 4 focus on the Theory Choice Reading of ‘logical disagreement’. According to this interpretation, logical disagreements occur at the level of entire logical theories rather than individual entailment-claims. Chapter 4 concerns a key question from the philosophy of logic, viz., how we have epistemic justification for claims about logical consequence. In Chapters 5 and 6 we turn to the Akrasia Reading. On this reading, logical disagreements occur when there is a mismatch between the deductive strength of one’s background logic and the logical theory one prefers (officially). Chapter 6 introduces logical akrasia by analogy to epistemic akrasia and presents a novel dilemma. Chapter 7 revisits the epistemology of peer disagreement and argues that the epistemic significance of central principles from the literature are at best deflated in the context of logical disagreement. The chapter also develops a simple formal model of deep disagreement in Default Logic, relating this to our general discussion of logical disagreement. The monograph ends in an epilogue with some reflections on the potential epistemic significance of convergence in logical theorizing. (shrink)

Distinctively mathematical explanations (DMEs) explain natural phenomena primarily by appeal to mathematical facts. One important question is whether there can be an ontic account of DME. An ontic account of DME would treat the explananda and explanantia of DMEs as ontic structures and the explanatory relation between them as an ontic relation (e.g., Pincock 2015, Povich 2021). Here I present a conventionalist account of DME, defend it against objections, and argue that it should be considered ontic. Notably, if indeed it (...) is ontic, the conventionalist account seems to avoid a convincing objection to other ontic accounts (Kuorikoski 2021). (shrink)

Philosophy strives to give us a firmer hold on our concepts. But what about their hold on us? Why place ourselves under the sway of a concept and grant it the authority to shape our thought and conduct? Another conceptualization would carry different implications. What makes one way of thinking better than another? This book develops a framework for concept appraisal. Its guiding idea is that to question the authority of concepts is to ask for reasons of a special kind: (...) reasons for concept use, which tell us which concepts to adopt, adhere to, or abandon, thereby shoring up—or undercutting—the reasons for action and belief that guide our deliberations. Traditionally, reasons for concept use have been sought either in timeless rational foundations or in concepts’ inherent virtues, such as precision and consistency. Against this, the book advances two main claims: that we find reasons for concept use in the conceptual needs we discover when we critically distance ourselves from a concept by viewing it from the autoethnographic stance; and that sometimes, concepts that conflict, or exhibit other vices such as vagueness or superficiality, are just what we need. By considering not what concepts are absolutely best, but what concepts we now need, we can reconcile ourselves to the contingency of our concepts, determine the proper place of efforts to tidy up thought, and adjudicate between competing conceptions of things—even things as contested as liberty or free will. A needs-based approach separates helpful clarification from hobbling tidy-mindedness, and authoritative definition from conceptual gerrymandering. (shrink)

In this article, I argue that if tacit knowledge of grammar is analyzable in functional‐computational terms, then it cannot ground linguistic meaning, structure, or sound. If to know or cognize a grammar is to be in a certain computational state playing a certain functional role, there can be no unique grammar cognized. Satisfying the functional conditions for cognizing a grammar G entails satisfying those for cognizing many grammars disagreeing with G about expressions' semantic, phonetic, and syntactic values. This threatens the (...) Chomskyan view that expressions have such values for speakers because they cognize grammars assigning them those values. For if this is true, semantics, syntax, and phonology must be indeterminate, thanks to the indeterminacy of grammar‐cognizing (qua functional‐computational state). So, the fact that a speaker cognizes a grammar cannot explain the determinate character of their language. (shrink)

This dialogue, taking place between Prof. Whether and Prof. What, focuses on the nature of the relationship between ontology, conceived as the branch of philosophy concerned with the question of what entities exist, and metaphysics, conceived as the complementary part of philosophy that seeks to explain, of those entities, what they are. Most philosophers claim that it is not possible to address the first question without at the same time addressing the second, since knowing whether an entity exists requires knowing (...) what that entity is. Prof. Whether argues against this popular position and offers a detailed analysis of the idea according to which it is possible to do ontology without engaging in metaphysics. Prof. Whether and Prof. What agree that, rather than being merely possible, in some cases it is, for methodological reasons, even preferable to start with a metaphysics-free ontology, postponing any inquiry concerning the nature of the entities included in the ontological inventory to a later stage. However, Prof. What notes that it is not always possible to do ontology without metaphysics, because there are certain kinds of entities, such as universals and possible worlds, that necessarily need a prior metaphysical characterization. (shrink)

The other chapters in this volume discuss the important, but neglected, topic of systematicity in metaphysics. In this chapter I begin by taking a step back and asking: why is systematicity important in metaphysics? Assuming that metaphysics should be systematic, why is this the case? I canvas some answers that emerge naturally within contemporary philosophy and argue that none of them adequately explains why metaphysics should be systematic. I then turn to Kant’s account of systematicity for his explanation. I argue (...) that, while Kant’s explanation of the systematicity of metaphysics rests on a host of additional weighty philosophical commitments that many philosophers would rather do without (e.g., transcendental idealism), he is not alone in this. The contemporary answers I earlier found wanting can be transformed into satisfying explanations, I argue, but only at the cost of philosophical commitments at least as weighty as Kant’s. I conclude on a note of agnosticism: it is far from clear whether contemporary philosophy has done, or can do, better than Kant at explaining the role of systematicity in metaphysics. (shrink)

I provide a theory of the metaphysical foundations of identity: an account what grounds facts of the form a=b. In particular, I defend the claim that indiscernibility grounds identity. This is typically rejected because it is viciously circular; plausible assumptions about the logic of ground entail that the fact that a=b partially grounds itself. The theory I defend is immune to this circularity.