Two kinds of individuals are distinguished: abstract and concrete. Whereas abstract individuals belong to our conceptual sphere, concrete individuals (i.e. particulars) individuate the world of matter. A subject investigating the external world projects abstract individuals onto concrete ones. The proposal offers a solution to various metaphysical and epistemological puzzles concerned with individuals, e.g., the Ship of Theseus, the Polish Logician, problems with reidentification, or proper names.

For many years there has been a debate in truthmaking theory between proponents of the substantive and deflationary approaches. Substantivists about truthmaking maintain that we need entities called truthmakers, while deflationists of truthmaking argue that the asymmetric form of the T-schema is sufficient. In contrast to incompatibilists, who argue that one should adopt only one of these approaches, I propose a compatibilist theory of truthmaking in which the two approaches complement each other through the distribution of different functions of truthmaking. (...) I find that this helps to solve the problem of truthmaking of certain contentious truths, such as negative truths. (shrink)

Beall’s (e.g., 2009, 2021) transparency theory of truth is recognized as a prominent, deflationist solution to the liar paradox. However, it has been neglected by truth theorists who have attempted to show that a deflationist theory of truth can (or cannot) account for truth dependence, i.e., the claim that the truth of a proposition depends on how things described by the proposition are, but how these things are does not depend on the truth of the proposition. Truth theorists interested in (...) truth dependence have, instead, been focused on Horwich’s Minimalism (e.g., 1998). The goal of this paper is twofold. First, I construct what versions of the transparency theory would say about truth dependence. Second, I argue that even the best version of transparent truth ultimately fails to account for truth dependence. On the assumption that accounting for truth dependence is an adequacy condition on any theory of truth, the paper rejects transparency theory as an adequate theory of truth. (shrink)

In this paper, we axiomatize the deontic logic in Fusco 2015, which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help make explicit the restrictions (...) Fusco’s account must place on free-choice inferences. They are also of independent interest, as they raise difficult questions about how to ‘lift’ a Kripke frame for a one- dimensional modal logic into two dimensions. (shrink)

In this paper we intend to offer a first approach to the incorporation of certain formal tools in the elucidation of some issues discussed in epistemological contexts. The aim is not to offer an exhaustive resolution of these problems but merely to point out the usefulness of modal semantics when applied to different fields. Here we will show how a series of skeptical arguments eventually involve a modal (counterfactual) structure, which we will try to generalise into a useful scheme. -/- (...) . (shrink)

In his book Modal Logic as Metaphysics, Timothy Williamson defends first-order necessitism using simplicity as a powerful argument. However, simplicity is decomposed into two different, even antagonistic, sides: elegance and parsimony. On the one hand, elegance is the property of theories possessing few and simple principles that allow them to deploy all their theoretical power; on the other hand, parsimony is the property of theories having the fair and necessary number of ontological entities that allow such theories give an account (...) of themselves. Since necessitism endorses Barcan Formulae for the sake of elegance, it is committed to a vast number of contingently non-concrete objects, so one may think that it is not qualitatively parsimonious. I argue that necessitism could be viewed as an additive case in the sense that Alan Baker characterizes the adjective so quantitative parsimony should be considered when it comes to necessitism instead of qualitative parsimony. (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 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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 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 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 Ω-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 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 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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 the interpretational and objective modalities and 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 while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 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 paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

Bob Hale’s distinguished record of research places him among the most important and influential contemporary analytic metaphysicians. In his deep, wide ranging, yet highly readable book Necessary Beings, Hale draws upon, but substantially integrates and extends, a good deal his past research to produce a sustained and richly textured essay on — as promised in the subtitle — ontology, modality, and the relations between them. I’ve set myself two tasks in this review: first, to provide a reasonably thorough (if not (...) exactly comprehensive) overview of the structure and content of Hale’s book and, second, to a limited extent, to engage Hale’s book philosophically. I approach these tasks more or less sequentially: Parts I and 2 of the review are primarily expository; in Part 3 I adopt a somewhat more critical stance and raise several issues concerning one of the central elements of Hale’s account, his essentialist theory of modality. (shrink)

Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.

This paper outlines a defense of hybrid contingentism: that it is contingent which individuals there are, but not contingent what properties there are. Critics pursue two main lines of complaint. First, that the hybrid contingentist’s treatment of haecceitistic properties is metaphysically mysterious, and second, that hybrid contingentism involves an unjustified asymmetry in the associated modal logic. I suggest that these complaints may be too quick, at least in the setting of higher-order metaphysics. It is not at all obvious whether and (...) to what extent we should expect particular "symmetries" across the orders, and so whether (as Williamson (2013) argues) “the default preference is for a uniform metaphysics, on which being is contingent at all orders or none.”. (shrink)

Peer Review Book Description - Maria Seykora (female, published age 28) -/- -/- Classical Logic will attempt to give a comprehensive and rigorous introduction and more advanced overview of the area of logic widely known as “classical logic,” as distinguished from modern-day “non-classical logic,” for undergraduate students in general. It will cover the topics of Informal Logic (including logical fallacies, deduction, induction, and abductive reasoning) and Formal Logic. (Because it aims to cover these two topics, the title may change to (...) Informal and Classical Logic for the first edition.) Within the category of Formal Logic, it will cover Syllogistic or Categorical Logic and Symbolic Logic. Furthermore, within Symbolic Logic, it will cover Propositional Logic, Predicate Logic, and Modal Logic. The Formal Logic component is currently unfinished, and the Informal Logic component is somewhat unfinished. The unique selling proposition is “the first comprehensive Classical Logic textbook.” It seems that many textbooks for college students today, including Patrick J. Hurley’s, are loosely organized around Classical Logic and other various areas of logic, yet there is not a clear-cut, comprehensive summation of Classical Logic in textbook form. For instance, Hurley’s textbook does not have a section on Modal Logic, and does not address some fallacies such as Hypothesis Contrary to Fact, the Genetic Fallacy, Appeal to Nature, No True Scotsman Fallacy, Emotionally Loaded Language fallacies, etc. Stan Baronett’s Logic textbook also does not include discussions of Modal Logic or these additional fallacies and others like them, and Siu-Fan Lee’s textbook does not include Modal Logic either. Additionally, abductive reasoning, which involves making an inference to the best explanation, is important in real life, yet it seems absent from most logic textbooks. (shrink)

The purpose of this paper is to explore the connection between change and the B-theory of time, sometimes also called the Scientific view of time, according to which reality is a four-dimensional spacetime manifold, where past, present and future things equally exist, and the present time and non-present times are metaphysically the same. I argue in favour of a novel response to the much-vexed question of whether there is change on the B-theory or not. In fact, B-theorists are often said (...) to hold a ‘static’ view of time. But this far from being innocent label: if the B-theory of time presents a model of temporal reality that is static, then there is no change on the B-theory. From this, one can reasonably think as follows: of course, there is change, so the B-theory must be false. What I plan to do in this paper is to argue that in some sense there is change on the B-theory, but in some other sense, there is no change on the B-theory. To do so, I present three instances of change: Existential Change, namely the view that things change with respect to their existence over time; Qualitative Change, the view that things change with respect to how they are over time; Propositional Change, namely the view that things (i.e. propositions) change with respect to truth value over time. I argue that while there is a reading of these three instances of change that is true on the B-theory, and so there is change on the B-theory in this sense, there is a B-theoretical reading of each of them that is not true on the B-theory, and therefore there is no change on the B-theory in this other sense. (shrink)

There is a widespread assumption that B-theorists (according to whom there is nothing metaphysically special about the present moment in virtue of which it is present) should interpret the standard tense operators (‘it was the case that’, ‘it will be the case that’) as implicit quantifier-restrictors – so that, for example, an utterance at instant t of the sentence ‘It was the case that there are dinosaurs’ is true just in case there are dinosaurs located at some instant t* earlier (...) than t. However, it is easy to show that this interpretation of the tense operators creates serious problems for B-theorists when combined with certain other relatively uncontroversial B-theoretic assumptions. In this paper, I argue that the best way for B-theorists to respond to these problems is to treat the standard tense operators as redundant when the sentences in their scope are qualitative (i.e. not about any particular individuals). (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.

Is logic normative for belief? A standard approach to answering this question has been to investigate bridge principles relating claims of logical consequence to norms for belief. Although the question is naturally an epistemic one, bridge principles have typically been investigated in isolation from epistemic debates over the correct norms for belief. In this paper we tackle the question of whether logic is normative for belief by proposing a Kripkean model theory accounting for the interaction between logical, doxastic, epistemic and (...) deontic notions and using this model theory to show which bridge principles are implied by epistemic norms that we have independent reason to accept, for example, theknowledge normand thetruth norm. We propose a preliminary theory of the interaction between logical, doxastic, epistemic and deontic notions that has among its commitments bridge principles expressing how logic is normative for belief. We also show how our framework suggests that logic is exceptionally normative. (shrink)

This paper investigates the metaphysics in higher-order counterfactual logic. I establish the necessity of identity and distinctness and show that the logic is committed to vacuism, which entails that all counteridenticals are true. I prove the Barcan, Converse Barcan, Being Constraint and Necessitism. I then show how to derive the Identity of Indiscernibles in counterfactual logic. I study a form of maximalist ontology which has been claimed to be so expansive as to be inconsistent. I show that it is equivalent (...) to the collapse of the counterfactual into the material conditional---which is itself equivalent to the modal logic TRIV. TRIV is consistent, from which it follows that maximalism is, surprisingly, consistent. I close by arguing that stating the limit assumption requires a higher-order logic. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

This chapter discusses ontological commitment to properties, understood as ontological correlates of predicates. We examine the issue in four metaontological settings, beginning with an influential Quinean paradigm on which ontology concerns what there is. We argue that this naturally but not inevitably avoids ontological commitment to properties. Our remaining three settings correspond to the most prominent departures from the Quinean paradigm. Firstly, we enrich the Quinean paradigm with a primitive, non-quantificational notion of existence. Ontology then concerns what exists. We argue (...) that this strengthens the Quinean case against ontological commitment to properties while also newly distinguishing between stronger and weaker forms of nominalism. Secondly, we enrich the Quinean paradigm with the ideology of fundamentality. Ontology then centrally concerns what’s fundamental. We argue that this leaves ontological commitment to properties wide open although Bradleyan regress threatens. Thirdly, we enrich the Quinean paradigm with primitive higher-order quantifiers. Ontology then expands to concern what there higher-order is and what there first-order is. We argue that this naturally but not inevitably incurs ontological commitment to properties. (shrink)

Dans cet article, j'introduis premièrement l'une des plus célèbres objections dirigées à l’encontre de la théorie du bloc en croissance (GBT), communément appelée « l’objection épistémique », selon laquelle GBT ne fournirait aucune raison de croire que nous sommes situés dans le présent objectif – bien au contraire. Deuxièmement, j'exprime mon insatisfaction à l’égard des tentatives traditionnelles de répondre à cette objection (Merricks 2006, Forrest 2004, Correia & Rosenkranz 2018). Enfin, troisièmement, je présente ma propre solution à l'objection épistémique, basée (...) sur l'existence continue des particuliers nus. (shrink)

In this paper, I first introduce one of the most prominent objections against the Growing Block Theory of time (GBT), the so-called ‘epistemic objection’, according to which GBT provides no way of knowing that our time is the objective present and, therefore, leads at best to absolute skepticism about our temporal location, at worst to the quasi-certainty that we are located in the objective past. Secondly, I express my dissatisfaction regarding the various traditional attempts to address this objection, especially Merricks (...) (2006), Forrest (2004) and Correia and Rosenkranz (2018). Thirdly, I show that the passage of time leads to an anti-essentialist picture of natural kinds. Finally, I develop my own solution to the epistemic objection, based on the continued existence of bare particulars. (shrink)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

The project of grounding necessity in essence often goes together with the model of essence that assimilates the constitutive essence of an object to the definition of it. The paper argues that if the grounding project is to succeed, the definitional model must be questioned. Like any object whatever, a concrete individual is necessarily identical to that individual. It is argued that this necessity can have an essential ground only if the primitive identity property of it or its thisness is (...) essential to it, and the thisness is in its constitutive essence while not in the definition of it. A concrete individual is in essence partly definable but not fully explainable, for the definition of it forms a crucial part of its constitutive essence, but the constitutive essence includes something fundamental beyond definition or explanation. The definitional model must give way to a model of essence that accommodates this. (shrink)

The Introduction to "Knowledge, Number and Reality. Encounters with the Work of Keith Hossack" provides an overview over Hossack's work and the contributions to the volume.

ABSTRACT Tensism is the view that tense is not merely a property of language and the mind, but of the world itself. Perspectivalism extends this idea to all perspectival properties be they person or locational. One challenge that perspectivalism faces is the problem of expressing the contents of the beliefs and utterances of persons that are in other perspectival positions. One proposed solution to this problem is to allow for semantic theories that "realign" the expression of contents so that the (...) contents expressed by persons in other perspectival positions can be re-expressed from one's own perspectival position. In this paper I argue that a similar semantic realignment strategy could be deployed in helping perspectivalists generally come to grips with a puzzle raised by the Special Theory of Relativity. In short, the strategy is to realign the expression of contents in another inertial frame so that they are expressed from within your inertial frame. As we will see, the strategy is not puzzle free. (shrink)

It is commonly believed that intrinsically bad possible worlds are inconsistent with the perfect goodness of God. A perfectly good being could not exist in possible worlds that are intrinsically bad. Indeed it is widely believed that possible worlds that are insufficiently good are inconsistent with a perfectly good God. Modal atheological arguments aim to show that, since the pluriverse includes intrinsically bad worlds and insufficiently good worlds, there necessarily does not exist a perfectly good God. I show that modal (...) atheological arguments are in general invalid. Modal atheological arguments fail to show that there exists no perfectly good God even on the assumption that there are extremely bad worlds in the pluriverse. Modal atheological arguments depend entirely on the logic of modality in S5. But the logic of S5 ensures that a perfectly good God is consistent with extremely bad possible worlds and so guarantees that a perfectly good God is consistent with a plenitudinous pluriverse. (shrink)

This paper endeavors to establish foundations for the interaction between hyperintensional semantics and two-dimensional indexing. I examine the significance of the semantics, by developing three, novel interpretations of the framework. The first interpretation provides a characterization of the distinction between fundamental and derivative truths. The second interpretation demonstrates how the elements of decision theory are definable within the semantics, and provides a novel account of the interaction between probability measures and hyperintensional grounds. The third interpretation concerns the contents of the (...) types of intentional action, and the semantics is shown to resolve a puzzle concerning the role of intention in action. Topic-sensitive two-dimensional truthmaker semantics can be interpreted epistemically and metasemantically. (shrink)

We examine moving spotlight theories of time: theories according to which there are past and future events and an objective present moment. In Section 1, we briefly discuss the origins of the view. In Section 2, we describe the traditional moving spotlight view, which we understand as an ‘enriched’ B-theory of time, and raise some problems for that view. In the next two sections, we describe versions of the moving spotlight view that we think are better and which solve those (...) problems. In Section 3, we describe a version of the view that combines permanentism – the thesis that all things always exist – with propositional temporalism, the thesis that some propositions are sometimes true and sometimes false. In Section 4, we discuss a version of the view that is like an ‘enriched’ presentism. We conclude with some brief thoughts on issues that remain outstanding. (shrink)

This paper provides an overview of the history of the notion of essence in 20th century analytic philosophy, focusing on views held by influential analytic philosophers who discussed, or relied on essence or cognate notions in their works. It in particular covers Russell and Moore’s different approaches to essence before and after breaking with British idealism, the (pre- and post-)logical positivists’ critique of metaphysics and rejection of essence (Wittgenstein, Carnap, Schlick, Stebbing), the tendency to loosen the notion of logical necessity (...) to accommodate certain metaphysical truths in Wittgenstein and others, Quine’s logical rehabilitation of metaphysics and criticism of de re modality, the modal view of essence promoted by the development of quantified modal logic (C. I. Lewis, Barcan Marcus, Kripke) and direct reference theory (Barcan Marcus, Kripke, Putnam), and the emergence of the notion of metaphysical necessity (Kneale, Kripke), and finally Fine’s re-establishment of a Neo-Aristotelian, hyperintensional notion of essence in contemporary metaphysics. (shrink)

Philosophers distinguish between having a property essentially and having it accidentally. The way the distinction has been drawn suggests that it is modal in character, and so that it can be captured in terms of necessity, or cognate notions. The present chapter takes the suggestion at face value by considering a number of modal characterizations of the essential/accidental distinction that have been articulated and discussed since the early 20th century, as well as some of the challenges that they face.

Philosophers debate about which logical system, if any, is the One True Logic. This involves a disagreement concerning the sufficient conditions that may single out the correct logic among various candidates. This paper discusses whether there are necessary conditions for the correct logic; that is, I discuss whether there are features such that if a logic is correct, then it has those features, although having them might not be sufficient to single out the correct logic. Traditional rationalist arguments suggest that (...) the necessary conditions of thought are necessary and sufficient conditions singling out the correct logical and mathematical theories. In the contemporary debate, Chalmers advocates a view along this line. Jago, analogously, suggests that the necessary conditions for thought—or, as he calls them, our basic epistemic expectations—single out a family of logical and mathematical theories. Warren and Williamson, on the other hand, argue that there are no necessary conditions of thought. I argue that there are necessary conditions for thought, and these are necessary but not sufficient conditions to be the correct logic; indeed, these are features that all logics—correct or incorrect—share. No view we can understand is ruled out by the necessary conditions for thought, but we cannot understand quite any view. Human linguistic and conceptual abilities are genetically constrained, and these constraints are our best guide to the boundaries of logic. Arguing for this, I tackle two dogmas of modern rationalism: namely, the view that the biological constraints of human cognition have no bearing on the boundaries of the epistemic space, and the view that the boundaries of thought coincide with the boundaries of language. (shrink)

Minimalism about truth is one of the main contenders for our best theory of truth, but minimalists face the charge of being unable to properly state their theory. Donald Davidson incisively pointed out that minimalists must generalize over occurrences of the same expression placed in two different contexts, which is futile. In order to meet the challenge, Paul Horwich argues that one can nevertheless characterize the axioms of the minimalist theory. Sten Lindström and Tim Button have independently argued that Horwich’s (...) attempt to formulate minimalism remains unsuccessful. We show how to properly state Horwich’s axioms by appealing to propositional functions that are given by definite descriptions. Both Lindström and Button discuss proposals similar to ours and conclude that they are unsuccessful. Our new suggestion avoids these objections. (shrink)

Is the world internally connected by a web of necessary connections or is everything loose and independent? Followers of David Hume accept the latter by upholding Hume’s Dictum, according to which there are no necessary connections between distinct existences. Roughly put, anything can coexist with anything else, and anything can fail to coexist with anything else. Hume put it like this: “There is no object which implies the existence of any other if we consider these objects in themselves.” Since Hume’s (...) day, Hume’s Dictum has played a major role in philosophy, especially in contemporary metaphysics. In ruling out necessary connections, Hume’s Dictum implies that causal relations and the laws of nature are contingent. It makes other demands on our metaphysics of science as well; for example, it places restrictions on our metaphysics of counterfactuals, dispositions, and explanation. The principle has applications in other areas too. Hume’s Dictum places constraints on our theories of abstract objects and moral properties. For example, Hume’s Dictum rules out the view that moral properties are distinct from, but necessarily connected to, non-moral properties. While Hume’s Dictum is a prominent principle in metaphysics, few Humeans have defended the principle at length. It is assumed more often than it is argued for. As a result, Hume’s Dictum no longer enjoys the reputation it once did. It’s common to hear complaints about the lack of arguments in support of Hume’s Dictum. Moreover, philosophers are increasingly willing to defend views that are at odds with Hume’s Dictum. A striking example of this is the recent explosion of interest in views that take causal relations and the laws of nature to be necessary. Humeans can no longer afford to be complacent. An extended defense of Hume’s Dictum is called for, and that’s what this dissertation aims to offer. This dissertation has three parts. In the first part, I lay out some preliminaries and offer a precise formulation of Hume’s Dictum. In the second part, I develop three arguments in favor of Hume’s Dictum. In the final part, I defend Hume’s Dictum against objections. (shrink)

This essay is an attempt to explain Kantian transcendental idealism to contemporary metaphysicians and make clear its relevance to contemporary debates in what is now called ‘meta-metaphysics.’ It is not primarily an exegetical essay, but an attempt to translate some Kantian ideas into a contemporary idiom.

The philosophy of necessity and possibility has flourished in the last half-century, but much less attention has been paid to the question of how we know what can be the case and what must be the case. Many friends of modal metaphysics and many enemies of modal metaphysics have agreed that while empirical discoveries can tell us what is the case, they cannot shed much light on what must be the case or on what non-actual possibilities there are. In this (...) paper, in contrast, I discuss and defend naturalistic approaches to discovering the facts about necessity and possibility. After some remarks about what methodological naturalism in philosophy might amount to, I argue that naturalistic method in modal investigations may not need to be particularly revisionary of much of what is currently being done in modal investigation. I then discuss a number of respects in which a naturalistic orientation in modal investigation may improve on our current epistemic situation. (shrink)

Most believe that it is worse for a person to die than to continue to exist with a good life. At the same time, many believe that it is not worse for a merely possible person never to exist than to exist with a good life. I argue that if the underlying properties that make us the sort of thing we essentially are can come in small degrees, then to maintain this commonly-held pair of beliefs we will have to embrace (...) an implausible sort of evaluative hypersensitivity to slight nonevaluative differences. Avoidance of such hypersensitivity pressures us to accept that it can be worse for merely possible people never to exist. If this conclusion is correct, then the standard basis for giving no or less priority to merely possible persons would disappear (i.e., that things cannot be better or worse for them). Though defenders of Person-Affecting Views and their opponents may still disagree in theory, they could arrive at the same answers to many monumentally important practical questions. (shrink)

The past decade and a half has seen an absolute explosion of literature discussing the structure of reality. One particular focus here has been on the fundamental. However, while there has been extensive discussion, numerous fundamental questions about fundamentality have not been touched upon. In this chapter, I focus on one such lacuna about the modal strength of fundamentality. More specifically, I am interested in exploring the contingent fundamentality thesis - that is, the idea that the fundamentalia are only contingently (...) fundamental (or, in property-terms, that the property of being fundamental is not a (weakly) necessary property). And while I think this thesis is plausible – indeed, I show here that it lurks in the unexamined shadows/assumptions of some fairly prominent positions – as far as I can tell, nothing has been said either for or against it. Here, I hope to fix this by giving the thesis a proper airing. In this way, this chapter represents a first-pass at exploring not only the modal status of fundamentality, but also offers a starting point for examining broader issues about the relationship between fundamentality and modality. (shrink)

Discussion of a metaphysical sense of 'inheritance' and cognate notions relevant to fundamentality.

Relativized Metaphysical Modality (RMM: Murray and Wilson, 'Relativized metaphysical modality', Oxford Studies in Metaphysics, 2012; Murray, Perspectives on Modal Metaphysics, 2017) exploits 'two-dimensionalist' resources to metaphysical, rather than epistemological, ends: the second dimension offers perspective-dependence without contingency, diverting attacks on 'Classical' analyses of modals (in effect, analyses validating S5 and the Barcan Formulae). Here, we extend the RMM program in two directions. First, we harvest resources for RMM from Lewis's 1980 'Context--Index' (CI) framework: (a) the ban in CI on binding (...) into context-arguments (akin to Kaplan's 'monstrosity' ban) projects a bright line between perspective-dependence and contingency; and (b) CI-postulated connections among meaning, content, truth, argument-structure, context, and modality collectively generate a 'Generalized Humphrey Problem' for any non-Classical analysis (examples covered include appeals to accessibility, contingent domains, and counterpart relations). Second, we sharpen the tools of RMM-based metaphysical analysis, and extend their domain of coverage across familiar anomalies for Classical modals: we revisit earlier RMM-based bulwarks for S5 (against 'Chisholm's Paradox' for moderate flexibility of essence, and nomological necessitarianism); and we now similarly shore up the Barcan Formulae (against the apparent contingency of existence and nonexistence). (shrink)

This paper develops a form of moral actualism that can explain the procreative asymmetry. Along the way, it defends and explains the attractive asymmetry: the claim that although an impermissible option can be self-conditionally permissible, a permissible option cannot be self-conditionally impermissible.

Hyperintensionality – the failure of substitutivity salva veritate of intensionally equivalent expressions – is one of the most debated topics in recent philosophy of language. Being a phenomenon that affects a wide variety of different sentential contexts, a question concerning its source arises: is hyperintensionality something that can originate from actual features of the world, or it is simply some kind of representational phenomenon, which entirely depends on our conceptual faculties and preferred semantics? After a brief general introduction to the (...) topic from the semantic standpoint, in the present work I defend a view developed by Daniel Nolan, according to which hyperintensionality can be a worldly, non-representational phenomenon. I first reconstruct Nolan’s view and argument for worldly hyperintensionality, understood through the comparison with de re intensional modality. Then, I address the main criticism that has been raised against it, developing three objections. Evidence for worldly hyperintensionality is thereby presented, by focusing on a paradigmatic trigger: counterpossible conditionals. I provide two jointly sufficient criteria for a counterpossible to be a genuine instance of worldly hyperintensionality, then illustrate three case studies from scientific practices that all rely on counterpossible reasoning: reducibility in relative computability theory; scientific explanation of certain substances’ essential properties; and emergent molecular structure in chemistry. Each of them is evaluated by checking if it satisfies the criteria for worldly hyperintensionality, leading to the detection of patterns of counterpossible dependence occurring in at least some specific instances of the case studies discussed. Finally, I suggest a possible realist reading of such dependence relation, locating its relata in the world, independently from our representations. (shrink)

This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist claims (...) concerning the possible geometric structures of spacetime, and dispositional properties are actual possible entities, the condition of being grounded in the concrete is consistent with the Barcan formula; and thus -- in the geometric setting -- merits adoption by the Necessitist. (shrink)

Plural expressions found in natural languages allow us to talk about many objects simultaneously. Plural logic — a logical system that takes plurals at face value — has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? After introducing plural logic and its main applications, the book provides a systematic analysis of the relation between (...) this logic and other theoretical frameworks such as set theory, mereology, higher-order logic, and modal logic. The applications of plural logic rely on two assumptions, namely that this logic is ontologically innocent and has great expressive power. These assumptions are shown to be problematic. The result is a more nuanced picture of plural logic's applications than has been given thus far. Questions about the correct logic of plurals play a central role in the final chapters, where traditional plural logic is rejected in favor of a "critical" alternative. The most striking feature of this alternative is that there is no universal plurality. This leads to a novel approach to the relation between the many and the one. In particular, critical plural logic paves the way for an account of sets capable of solving the set-theoretic paradoxes. (shrink)

The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...) problems. (shrink)

This monograph is a detailed study, and systematic defence, of the Growing Block Theory of time (GBT), first conceived by C.D. Broad. The book offers a coherent, logically perspicuous and ideologically lean formulation of GBT, defends it against the most notorious objections to be found in the extant philosophical literature, and shows how it can be derived from a more general theory, consistent with relativistic spacetime, on the pre-relativistic assumption of an absolute and total temporal order. -/- The authors devise (...) axiomatizations of GBT and its competitors which, against the backdrop of a shared quantified tense logic, significantly improves the prospects of their comparative assessment. Importantly, neither of these axiomatizations involves commitment to properties of presentness, pastness or futurity. The authors proceed to address, and defuse, a number of objections that have been marshaled against GBT, including the so-called epistemic objection according to which the theory invites skepticism about our temporal location. The challenge posed by relativistic physics is met head-on, by replacing claims about temporal variation by claims about variation across spacetime. -/- The book aims to achieve the greatest possible rigor. The background logic is set out in detail, as are the principles governing the notions of precedence and temporal location. The authors likewise devise a novel spacetime logic suited for the articulation, and comparative assessment, of relativistic theories of time. The book comes with three technical appendices which include soundness and completeness proofs for the systems corresponding to GBT and its competitors, in both their pre-relativistic and relativistic forms. -/- The book is primarily directed at researchers and graduate students working on the philosophy of time or temporal logic, but is of interest to metaphysicians and philosophical logicians more generally. (shrink)

This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...) of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs. (shrink)