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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. 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 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 \textbf{13} examines modal responses to the alethic paradoxes. 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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. 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 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 \textbf{13} examines modal responses to the alethic paradoxes. 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)

Special quantifiers are quantifiers like 'something', 'everything', and 'several things'. They are special both semantically and syntactically and play quite an important role in philosophy, in discussions of ontological commitment to abstract objects, of higher-order metaphysics, and of the apparent need for propositions. This paper will review and discuss in detail the syntactic and semantic peculiarities of special quantifiers and show that they are incompatible with substitutional and higher-order analyses that have recently been proposed. It instead defends and develops in (...) formal detail a semantic analysis of special quantifiers as nominalizing quantifiers. On this analysis, special quantifiers involve both singular objectual quantification and implicit on non-singular (higher-order, plural, or mass) quantification. The analysis rests on a range of recent insights and proposals in generative syntactic theory, in particular the recognition of '–thing' as a light noun and a potential classifier as well as recent views of the decomposition of attitudinal and locutionary verbs in syntax. (shrink)

The emerging field of quantum mereology considers part-whole relations in quantum systems. Entangled quantum systems pose a peculiar problem in the field, since their total states are not reducible to that of their parts. While there exist several established proposals for modelling entangled systems, like monistic holism or relational holism, there is considerable unclarity, which further positions are available. Using the lambda operator and plural logic as formal tools, we review and develop conceivable models and evaluate their consistency and distinctness. (...) The main result is an exhaustive taxonomy of six distinct and precise models that both provide information about the mereological features as well as about the entangled property. The taxonomy is well-suited to serve as the basis for future systematic investigations. (shrink)

The mass-count distinction is a morpho-syntactic distinction among nouns that is generally taken to have semantic content. This content is generally taken to reflect a conceptual, cognitive, or ontological distinction and relates to philosophical and cognitive notions of unity, identity, and counting. The mass-count distinction is certainly one of the most interesting and puzzling topics in syntax and semantics that bears on ontology and cognitive science. This volume aims to contribute to some of the gaps in the research on the (...) topic, in particular the relation between the syntactic mass-count distinction and semantic and cognitive distinctions, diagnostics for mass and count, the distribution and role of numeral classifiers, abstract mass nouns, and object mass nouns (furniture, police force, clothing). (shrink)

This introduction to 'Mass and Count...' gives an overview of different views of the mass-count distinction as well as an introduction to the papers in the edited volume.

This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...) non-adjunctivism is a well-known option, the other view is not so much studied nowadays, but it was not unknown in the tradition, and there are some positive suggestions, in recent literature, that the position is plausible and deserves to be developed. The article compares conjunctivism, non-adjunctivism and dialetheism, then focuses on some possible justifications, costs and benefits of the conjunctive view. (shrink)

Kilimanjaro is an example of what some philosophers would call a ‘vague object’: it is only roughly 5895 m tall, its weight is not precise and its boundaries are fuzzy because some particles are neither determinately part of it nor determinately not part of it. It has been suggested that this vagueness arises as a result of semantic indecision: it is because we didn’t make up our mind what the expression “Kilimanjaro” applies to that we can truthfully say such things (...) as “It is indeterminate whether this particle is part of Kilimanjaro”. After reviewing some of the limitations of this approach, I will propose an alternative account, based on a new semantic relation—multiple reference—capable of holding in a one-many pattern between a term and several objects in the domain. I will explain how multiple reference works, what differentiates it from plural reference and how it might be used to accommodate at least some aspects of our ordinary discourse about vague objects. (shrink)

Cartesians and Lichtenbergians have diverging views of the deliverances of introspection. According to the Cartesians, a rational subject, competent with the relevant concepts, can come to know that he or she thinks – hence, that he or she exists – on the sole basis of his or her introspective awareness of his or her conscious thinking. According to the Lichtenbergians, this is not possible. This paper offers a defence of the Lichtenbergian position using Peacocke and Campbell's recent exchange on Descartes'scogitoas (...) a framework for discussion. A thought-experiment will be presented involving two communities with radically different conceptions of the metaphysics of the self. The purpose of the thought-experiment is to suggest that a substantive metaphysical thesis, whose truth cannot be a priori known, is presupposed by any justified transition from one's introspective awareness of a certain mental activity to the self-ascription of that activity. (shrink)

The goal of this paper is to present a new reconstruction of Aristotle's assertoric logic as he develops it in Prior Analytics, A1-7. This reconstruction will be much closer to Aristotle's original...

This article presents an overview of the basic philosophical motivations for, and some recent work in, modal set theory.

Gideon Rosen has recently sketched an argument which aims to establish that the notion of metaphysical modality is systematically ambiguous. His argument contains a crucial sub-argument which has been used to argue for Metaphysical Contingentism, the view that some claims of fundamental metaphysics are metaphysically contingent rather than necessary. In this paper, Rosen’s argument is explicated in detail and it is argued that the most straight-forward reconstruction fails to support its intended conclusion. Two possible ways to save the argument are (...) rebutted and it is furthermore argued that the crucial sub-argument only supports a rather particular variant of Metaphysical Contingentism. (shrink)

In his influential article ‘Essence and Modality’, Fine proposes a definition of necessity in terms of the primitive essentialist notion ‘true in virtue of the nature of’. Fine’s proposal is suggestive, but it admits of different interpretations, leaving it unsettled what the precise formulation of an Essentialist definition of necessity should be. In this paper, four different versions of the definition are discussed: a singular, a plural reading, and an existential variant of Fine’s original suggestion and an alternative version proposed (...) by Correia which is not based on Fine’s primitive essentialist notion. The first main point of the paper is that the singular reading is untenable. The second that given plausible background assumptions, the remaining three definitions are extensionally equivalent. The third is that, this equivalence notwithstanding, Essentialists should adopt Correia’s version of the definition, since both the existential variant, which has de facto been adopted as the standard version of the definition in the literature, and the plural reading suffer from problems connected to Fine’s primitive essentialist notion. (shrink)

The aim of natural language ontology is to uncover the ontological categories and structures that are implicit in the use of natural language, that is, that a speaker accepts when using a language. This article aims to clarify what exactly the subject matter of natural language ontology is, what sorts of linguistic data it should take into account, how natural language ontology relates to other branches of metaphysics, in what ways natural language ontology is important, and what may be distinctive (...) of the ontological categories and structures reflected in natural language. (shrink)

This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the epistemic possibility and verification of essential properties obtaining (...) and their metaphysical possibility or verification. I then generalize the approach to haecceitistic properties, and examine the Julius Caesar problem as a test case. (shrink)

I here defend microphysical manyism. According to microphysical manyism, each composite or higher-level object is a mere plurality of microphysical particles. After clarifying the commitments of the view, I offer two physicalist-friendly arguments in its favour. The first argument appeals to the Canberra Plan. Here I argue that microphysical particles acting in unison play the theoretical roles associated with composite objects - that they do everything that we think of composite objects as doing - and thus that composite objects are (...) to be identified with pluralities of microphysical particles. Along the way I rebut the objections that pluralities of particles don’t display the right emergent, ‘lingering’, or modal properties to be good candidates for identification with higher-level objects. In the second argument I claim that microphysical manyism is uniquely able to capture a compelling and widespread physicalist intuition concerning the intimate nature of the relationship between higher-level, composite objects and the microphysical world. (shrink)

In this paper we offer a new solution to the old paradox of nothingness. This new solution develops in two steps. The first step consists in showing how to resolve the contradiction generated by the notion of nothingness by claiming that the contradiction shows the indefinite extensibility of the concept of object. The second step consists in showing that, having accepted the idea of indefinite extensibility, we can have absolute generality without the emergence of the contradiction connected to the absolute (...) notion of nothingness. The idea of indefinite extensibility allows us to have our cake and to eat it too. (shrink)

In this paper we offer a new solution to the old paradox of nothingness. This new solution develops in two steps. The first step consists in showing how to resolve the contradiction generated by the notion of nothingness by claiming that the contradiction shows the indefinite extensibility of the concept of object. The second step consists in showing that, having accepted the idea of indefinite extensibility, we can have absolute generality without the emergence of the contradiction connected to the absolute (...) notion of nothingness. The idea of indefinite extensibility allows us to have our cake and to eat it too. (shrink)

This paper distinguishes between definiteness and determinacy. Definiteness is seen as a morphological category which, in English, marks a uniqueness presupposition, while determinacy consists in denoting an individual. Definite descriptions are argued to be fundamentally predicative, presupposing uniqueness but not existence, and to acquire existential import through general type-shifting operations that apply not only to definites, but also indefinites and possessives. Through these shifts, argumental definite descriptions may become either determinate or indeterminate. The latter option is observed in examples like (...) ‘Anna didn’t give the only invited talk at the conference’, which, on its indeterminate reading, implies that there is nothing in the extension of ‘only invited talk at the conference’. The paper also offers a resolution of the issue of whether possessives are inherently indefinite or definite, suggesting that, like indefinites, they do not mark definiteness lexically, but like definites, they typically yield determinate readings due to a general preference for the shifting operation that produces them. (shrink)

There are different views of the logic of plurals that are now in circulation, two of which we will compare in this paper. One of these is based on a two-place relation of being among, as in ‘Peter is among the juveniles arrested’. This approach seems to be the one that is discussed the most in philosophical journals today. The other is based on Bertrand Russell’s early notion of a class as many, by which is meant not a class as (...) one, i.e., as a single entity, but merely a plurality of things. It was this notion that Russell used to explain plurals in his 1903 Principles of Mathematics; and it was this notion that I was able to develop as a consistent system that contains not only a logic of plurals but also a logic of mass nouns as well. We compare these two logics here and then show that the logic of the Among relation is reducible to the logic of classes as many. (shrink)

Classical mereology seems unable to characterise the identity conditions of word types. For example, the same letter types ordered differently result in different word types; but mereological fusions of the same letters are identical, regardless of the order of the letters. We show, however, that by combining classical mereology with plural logic one can give a definition of word types that satisfies the identity criteria of word types. This means that it is not necessary to abandon classical mereology in order (...) to give an analysis of the mereological structure of word types. (shrink)

According to strong composition as identity, the logical principles of one–one and plural identity can and should be extended to the relation between a whole and its parts. Otherwise, composition would not be legitimately regarded as an identity relation. In particular, several defenders of strong CAI have attempted to extend Leibniz’s Law to composition. However, much less attention has been paid to another, not less important feature of standard identity: a standard identity statement is true iff its terms are coreferential. (...) We contend that, if coreferentiality is dropped, indiscernibility is no help in making composition a genuine identity relation. To this aim, we analyse as a case study Cotnoir’s theory of general identity, in which indiscernibility is obtained thanks to a revisionary semantics and true identity statements are allowed to connect non-coreferential terms. We extend Cotnoir’s strategy for indiscernibility to the relation of comaternity, and we show that, neither in the case of composition nor in that of comaternity, indiscernibility contibutes to show that they are genuine identity relations. Finally, we compare Cotnoir’s approach with other versions of strong CAI endorsed by Wallace, Bøhn, and Hovda, and canvass the extent to which they violate coreferentiality. The comparative analysis shows that, in order to preserve coreferentiality, strong CAI is forced to adopt a non-standard semantic treatment of the singular/plural distinction. (shrink)

This paper provides new arguments for the following claim: either strong composition as identity cannot retain the full strength of both the logical principles of one-one identity and its semantical principles or it only delivers cases of boring composition in that it entails mereological nihilism.

Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...) STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)

Several natural languages such as English contain prima facie different kinds of referential and quantificational expressions. In particular, natural languages.

Essence and Existence: Selected Essays brings together fifteen essays by Bob Hale, mostly written between the publication of his last book, Necessary Beings, in.

This chapter is concerned with the coextension difficulty for nominalist theories of properties that reject tropes alongside universals. After carefully explaining the coextension difficulty and describing the theories it targets, the chapter describes different solutions to the difficulty. These solutions differ with respect to how much involved they are into a dualist approach to coextension. A dualist approach to a case of coextension consists in agreeing with the realist that the relevant ascriptions of properties are numerically distinct. A monist approach (...) to a case of coextension consists in contending that the relevant ascriptions of properties are identical. In this chapter, I defend a monist approach to cases of coextension that appeals to a counterpart theory for propositions. (shrink)

This paper argues that the notion of a single object or 'being one' does not require worldly or perceived conditions of integrity and even less so concept-relative atomicity. It generally is based on conditions of integrity of some sort, but not strictly so. It rather is imposed by the use of count categories in natural language and thus makes a case for linguistic idealism.

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

This is my entry on natural language ontology in the Stanford Encyclopedia of Philosophy.

This is a prepublication version of my book Objects and Attitudes. The book develops a novel semantics of attitude reports, modal sentences, and quotation based on the view that sentences semantically act as predicates of various attitudinal and modal objects, entities like claims, requests, promises, obligations, and permissions, rather than standing for abstract propositions playing the role of objects. The approach develops truthmaker semantics for attitudinal and modal objects and has a wide range of applications to issues in philosophy of (...) language, semantics, and philosophy of mind. (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)

Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...) fields get up to speed on open research-level problems. (shrink)

Haecceities are non-qualitative properties for individuation but the current theories about haecceities are still to be much more explored. This paper aims to develop a “haecceity mereology” – that is, an ontological system that understands substances as mereological combinations of haecceities and qualitative properties. In this way, the view developed is an alternative to Paul’s : 578–96; 2006. “Coincidence as Overlap.” Noûs 40 : 623–59) mereological approach. Three rules are proposed: If S is a substance, then there is one and (...) only one haecceity which is S’s qualitative part; For all the fusions with the same haecceity, at most only one of those fusions is a substance; When all the relevant elements are abundant, every element must overlap at least one substance. This is the first ontology of haecceities in the recent literature and would be a model for systematic metaphysics. (shrink)

Say that some things compose something, if the latter is a whole, fusion, or mereological sum of the former. Then the thesis that composition is identity holds that the composition relation is a kind of identity relation, a plural cousin of singular identity. On this thesis, any things that compose a whole are identical with the whole. This article argues that the thesis is incoherent. To do so, the article formulates the thesis in a plural language, a symbolic language that (...) includes counterparts of plural constructions of natural languages, and shows that it implies that nothing has a proper part. Then the article argues that the thesis, as its proponents take it, is incoherent because they take it to imply or presuppose that some things have proper parts. (shrink)

It is sometimes argued that non-agent collectives, including what one might call the ‘global collective’ consisting of the world’s population taken as a whole, cannot be the bearers of non-distributive moral obligations on pain of violating the principle that ‘ought implies can’. I argue that one prominent line of argument for this conclusion fails because it illicitly relies on a formulation of the ‘ought implies can’ principle which is inapt for contexts which allow for the possibility of non-distributive plural predications (...) of agency, which are precisely the contexts in which we might expect non-agents to be obligation-bearers. (shrink)

This paper develops the metaphysical hypothesis that there are irreducibly collective pluralities, pluralities of objects that do not have a singular object among them. A way to formulate this hypothesis using plural quantification will be proposed and the coherence of irreducibly collective existence will be defended. Furthermore, irreducibly collective existence will be shown to allow for bottomless scenarios that do not involve things standing in relations of parthood. This will create logical space for an anti-atomistic form of mereological nihilism.

The standard account of ontological commitment is quantificational. There are many old and well-chewed-over challenges to the account, but recently Kit Fine added a new challenge. Fine claimed that the ‘‘quantificational account gets the basic logic of ontological commitment wrong’’ and offered an alternative account that used an existence predicate. While Fine’s argument does point to a real lacuna in the standard approach, I show that his own account also gets ‘‘the basic logic of ontological commitment wrong’’. In response, I (...) offer a full quantificational account, using the resources of plural logic, and argue that it leads to a complete theory of natural language ontological commitment. (shrink)

European Journal of Philosophy, EarlyView.

I argue for the view that some we-thoughts are immune to error through misidentification (IEM) relative to the first-person plural pronoun. To prepare the ground for this argument I defend an account of the semantics of ‘we’ and note the variety of different uses of that term. I go on to defend the IEM of a certain range of we-thoughts against a number of objections.

One of the more persistent debates in mereology is whether distinct wholes can have the same parts. Extensional mereologists hold that if there is no part that makes the difference, then there is nothing to distinguish the wholes, so sameness of parts implies identity. Non-extensionalists, however, do think there are cases where distinct wholes share all their parts. This paper argues that the kind of argument non-extensionalists employ can also be levelled against a widely accepted extensionality principle of plural logic. (...) Non-extensionalists thus face a dilemma: either give up the argument for non-extensional mereology, or deny both the extensionality principle of mereology and the analogous principle for plural logic. (shrink)

The standard definition of atomicity—the thesis that everything is ultimately composed of entities that lack proper parts—is satisfied by a model that is not atomistic. The standard definition is therefore an incorrect characterization of atomicity. I show that the model satisfies the axioms of all but the strongest mereology and therefore that the standard definition of atomicity is only adequate given some controversial metaphysical assumptions. I end by proposing a new definition of atomicity that does not require extensionality or unrestricted (...) summation. (shrink)

Plural first-person pronouns have often been ignored in the literature on indexicals and pronouns. The assumption seems to be that we is just the plural of I. So, we can focus on theorizing about singular indexicals and about non-indexical plurals then combine the results to yield a theory of plural indexicals. Here I argue that the “divide and conquer” strategy fails. By considering data involving plurals, generics, and complex demonstratives, I argue for a referential semantics on which we can refer (...) to two sorts of group-like entities. Further, by considering the nature of semantic theorizing, I argue that semantics must draw some metaphysical distinctions, including between groups of two sorts. (shrink)

Since the linguistic turn, many have taken semantics to guide ontology. Here, I argue that semantics can, at best, serve as a partial guide to ontological commitment. If semantics were to be our guide, semantic data and semantic treatments would need to be taken seriously. Through an examination of plurals and their treatments, I argue that there can be multiple, equally semantically adequate, treatments of a natural language theory. Further, such treatments can attribute different ontological commitments to a theory. Given (...) this, I argue that semantics can fail to deliver determinate ontological commitments and determinate answers to ontological questions, more generally. (shrink)

Formal semantic theories are generally thought to make contact with pre-theoretic semantic notions of aboutness and reference. The nature of that contact is, however, not always straightforward. This paper addresses two debates where that issue assumes a significant role. I begin with Simchen’s recent argument that Lewisian Interpretationism succumbs to referential indeterminacy. I develop a proposal about the relationship between the theoretical notion of a term’s semantic value and the pre-theoretic notion of reference, and argue that the indeterminacy Simchen identifies (...) does not constitute a form of referential indeterminacy. In the second part, I apply these resources to the debate between singularist and pluralist approaches to the semantics of plural terms, arguing that a certain form of singularism that emerges from the dialectic ends up agreeing with the pluralist at the level of reference, if not semantic value. The paper concludes with some remarks on what a properly referential style of singularism might look like. (shrink)

I clarify some ambiguities in blame-talk and argue that blame's potential for irrationality and propensity to sting vitiates accounts of blame that identify it with consciously accessible, personal-level judgements or beliefs. Drawing on the cognitive psychology of emotion and appraisal theory, I develop an account of blame that accommodates these features. I suggest that blame consists in a range of hostile, negative first-order emotions, towards which the blamer has a specific, accompanying second-order attitude, namely, a feeling of entitlement—a feeling that (...) these hostile, negative first-order emotions are what the blamed object deserves. (shrink)

I claim that a whole is identical to its parts. Many find this claim incredible: it seems that a whole and its parts must be distinct, for the whole is one thing while its parts are many things. Byeong-uk Yi has developed a version of this argument which exploits the resources of plural logic. Yi provides logical analyses of the predicates ‘one’ and ‘many’ which seem to show that nothing can satisfy them both. But there are two senses of the (...) word ‘one’. One of these senses is not captured by Yi’s analysis, and in this sense of the word, it is logically possible for many things to be one. Moreover, we should only believe that a whole is one thing in this sense, not that it is one thing in the sense Yi has analysed. Thus, we can identify wholes with their parts without contradiction. (shrink)

According to capacitism, to perceive is to employ personal-level, perceptual capacities. In a series of publications, Schellenberg (2016, 2018, 2019b, 2020) has argued that capacitism offers unified analyses of perceptual particularity, perceptual content, perceptual consciousness, perceptual evidence, and perceptual knowledge. “Capacities first” (2020: 715); appealing accounts of an impressive array of perceptual and epistemological phenomena will follow. We argue that, given the Schellenbergian way of individuating perceptual capacities which underpins the above analyses, perceiving an object does not require employing a (...) perceptual capacity which picks it out. Although each eye, used on its own, can suffice for perceiving objects in one’s environment, binocular vision allows one to see the same object(s) via both eyes, taking advantage of informational disparities registered by each eye. Yet in certain conditions it is possible to simultaneously see one object via the left eye and a distinct object via the right eye (at least when the inputs are sufficiently similar to prevent the onset of binocular rivalry). We argue that capacitism has trouble making sense of this. After surveying responses, we conclude that not all of the above phenomena can be unified under the capacitist framework. We then present a more nuanced, disjunctivist account of how capacities are individuated. While it may be illuminating to think of perceiving as the employment of perceptual capacities, this picture does not best favour a ‘common factor’ theory of perceptual content in the way existing presentations have envisaged. (shrink)

We all learn about the mistake of treating ‘nothing’ as if it were a term standing for something; but is it a mistake to treat it as an empty term, denoting nothing? We argue not, and we introduce ‘zilch’, defined as ‘the non-self-identical thing’, as a term which is empty as a matter of logical necessity. We contrast its behaviour with that of the quantifier ‘nothing’, and illustrate its uses. We use the same idea to vindicate Locke’s, Descartes’ and Hume’s (...) handling of ‘nothing’, and we show how Heidegger’s ‘das Nichts nichtet’ comes out as logically true. (shrink)