In this paper, I inspect the grounds for the mature Spinozist argument for substance monism. The argument is succinctly stated at Ethics Part 1, Proposition 14. The argument appeals to two explicit premises: (1) that there must be a substance with all attributes; (2) that substances cannot share their attributes. In conjunction with a third implicit premise, that a substance cannot not have any attribute whatsoever, Spinoza infers that there can be no more than one substance. I begin the inspection (...) with the analysis of the first premise, which is provided in the form of the four proofs of God’s existence in Ethics Part 1, Proposition 11. While demonstrating how Spinoza adopts a progressive approach, where the fourth proof of God’s existence is more successful and persuasive than the third, which is more successful than the second, etc., I also unpack concepts central to Spinoza’s thinking here, including the concepts of reason (ratio) and power (potesta or potentia). I then analyze the second premise of the Spinozist argument for substance monism, as established by Ethics Part 1, Proposition 4 in conjunction with Ethics Part 1, Proposition 5. I take up and respond to the objection attributed to Leibniz that a substance p can have the attributes x and y and a substance q can have the attributes y and z, and thus that substances can share some attributes while remaining distinct. Throughout the study, my attention is focused on the argumentative procedures Spinoza adopts. This yields a close, internalist reading of the text where Spinoza effectively embraces substance monism. In conclusion to this study, I underscore to the originality of Spinoza’s argument for seventeenth century theories of substance. (shrink)

This paper evaluates six contenders which might be invoked by essentialists in order to meet Quine’s challenge, viz., to provide necessary and sufficient conditions for the crossworld identity of individuals: (i) an object’s qualitative character; (ii) matter; (iii) origins; (iv) haecceities or primitive non-qualitative thisness properties; (v) “world-indexed properties”; and (iv) individual forms. The first three candidates, I argue, fail to provide conditions that are both necessary and sufficient for the crossworld identity of individuals; the fourth and fifth criteria are (...) open to the charge that they do not succeed in meeting Quine’s demand in an explanatorily adequate fashion. On balance, then, individual forms, or so I propose, deserve to be taken very seriously as a possible response to Quine’s challenge, especially by neo-Aristotelians who are already committed to a hylomorphic conception of composite concrete particular objects for other reasons. Theorists who also accept a non-modal conception of essence, i.e., a conception according to which essence is not reducible to modality, in addition face the further difficult task, over and above what is required to meet Quine’s challenge, of having to explain how an object’s de re modal profile in some way follows from facts about its essence. Haecceities and world-indexed properties, as I indicate, are unlikely to be of much help with respect to this second challenge, while the forms of hylomorphic compounds are in fact well-suited for this purpose. (shrink)

An age-old proposal that to be is to be a unity, or what I call a grouping, is updated and applied to the question “Why is there something rather than nothing?” (WSRTN). I propose the straight-forward idea that a thing exists if it is a grouping which ties zero or more things together into a new unit whole and existent entity. A grouping is visually manifested as the surface, or boundary, of the thing. In regard to WSRTN, when we subtract (...) away all existent entities, including the mind of the thinker, the resulting situation that we usually call “nothing would, by its very nature, be the whole amount, or entirety, of the situation. It completely defines the situation. The inherent nature of “nothing” is that it’s everything. Is there anything else besides that “nothing”? No. It is “nothing”, and this “nothing” is it, the all. A whole amount/entirety/all is a grouping, meaning that “nothing” is itself an existent entity. One objection might be that being a grouping is a property so how can it be there in “nothing”? The answer is that it is only once all known existent entities, including all properties and the mind visualizing this, are removed does this “nothing” gain the entirety/all grouping property. Therefore, the very lack of all existent entities is itself what allows this new property to be present and thereby to allow “nothing” to be an existent entity. This entirety/all grouping property is inherent, or intrinsic, to “nothing” and cannot be removed to get a more pure “nothing”. While the idea that “nothing” is a “something” that exists necessarily isn’t new, the grouping, or any, mechanism for how this can be so is. (shrink)

This paper is concerned with two concepts of qualitativeness that apply to intensional entities. I propose an account of pure qualitativeness that largely follows the traditional understanding established by Carnap, and try to shed light on its ontological presuppositions. On this account, an intensional entity is purely qualitative iff it does not ‘involve’ any particular. An alternative notion of qualitativeness—which I propose to refer to as a concept of strict qualitativeness—has recently been introduced by Chad Carmichael. However, Carmichael’s definition presupposes (...) a highly fine-grained conception of properties and relations. To eliminate this presupposition, I tentatively suggest a different definition that rests on a concept of perspicuous denotation. In the penultimate section, both concepts of qualitativeness are put to work in distinguishing between different ‘grades’ of qualitative discriminability. (shrink)

Lynne Baker’s case for the incompatibility of naturalism with the first-person perspective raises a range of questions about the relationship between naturalism and the various properties involved in first-person perspectives. After arguing that non-qualitative properties—most notably, haecceities like being Lynne Baker—are ineliminably tied to first-person perspectives, this paper considers whether naturalism and non-qualitative properties are, in fact, compatible. In doing so, the discussion focus on Shamik Dasupgta’s argument against individuals and, in turn, non-qualitative properties. Several strategies for undermining Dasgupta's argument (...) are considered, drawing on de re laws and haecceitistic possibilities. Finally, an analogy is drawn between naturalism and platonism regarding mathematical entities and naturalism's parallel commitment to individuals. I conclude that naturalists are obliged to posit non-qualitative properties. (shrink)

According to grounding necessitarianism if some facts ground another fact, then the obtaining of the former necessitates the latter. Proponents of grounding contingentism argue against this claim, stating that it is possible for the former facts to obtain without necessitating the latter. In this article I discuss a recent argument from restricted accidental generalisations provided by contingentists that advances such possibility. I argue that grounding necessitarianism can be defended against it. To achieve this aim, I postulate a relationship between grounding (...) and essence by introducing a notion of individual essences understood as a set of essential properties that individuate its bearer. According to a proposed view grounding holds in virtue of identities of its relata, which are in turn determined by their respective individual essences. From there I claim that if grounding holds in virtue of the individual essences of its relata, then it is possible to resist the objection from restricted accidental generalisations and maintain a view that grounds necessitates what is grounded. (shrink)

In this paper, I discuss a connection between quidditism and the Lewisian principle of recombination. I begin by reconstructing a typical characterisation of a Lewisian principle of recombination, followed by an explanation of quidditism. In the remainder, I argue that a proponent of a Lewisian principle of recombination cannot endorse quidditism without some important modifications of her view.

Recent work in the philosophy of religion has resurrected Leibniz’s idea that there is a best possible world, perhaps ours. In particular, Klaas Kraay’s [2010] construction of a theistic multiverse and Nevin Climenhaga’s [2018] argument from infinite value theory are novel defenses of a best possible world. I do not think that there is a best world, and show how both Kraay and Climenhaga may be resisted. First, I argue that Kraay’s construction of a theistic multiverse can be resisted from (...) plausible assumptions about set theory. Next, I argue against the value-theoretic assumptions that underlie Climenhaga’s argument and show how to give an infinite value theory where there is no best world. (shrink)

The distinction between qualitative and non-qualitative properties should be familiar from discussions of the principle of the identity of indiscernibles: two otherwise exactly similar individuals, Castor and Pollux, might share all their qualitative properties yet differ with respect to their non-qualitative properties—for while Castor has the property being identical to Castor, Pollux does not. But while this distinction is familiar, there has not been much critical attention devoted to spelling out its precise nature. I argue that the class of non-qualitative (...) properties is broader than it is often taken to be. When properly construed, it will not only include properties such as being identical to Castor, which somehow make reference to particular individuals, it will also include more general properties such as identity, composition, set membership, as well as various peculiarly ontological properties. Given that some of these more general properties help to explain objective similarity, we have reason to believe that there are fundamental non-qualitative properties. (shrink)

According to strong pluralism, objects distinct by virtue of their modal properties can coincide. The most common objection towards such view invokes the so-called Grounding Problem according to which the strong pluralist needs to explain what the grounds are for supposed modal differences between the coincidents. As recognized in the literature, the failure to provide an answer to the Grounding Problem critically undermines the plausibility of strong pluralism. Moreover, there are strong reasons to believe that strong pluralists cannot provide an (...) explanation of the Grounding Problem. In this paper, we argue that strong pluralism can be motivated independently of the successful answer to the Grounding Problem. In order to achieve that aim, we provide a haecceitistic interpretation of strong pluralism according to which strong pluralism should be read as a position committed to the existence of primitive individuals, i.e., the individuals that have their criteria of individuation independently of their qualitative profiles. That said, we do not aim at defending haecceitism. Instead, our aim is rather modest: we want to provide a new way for the strong pluralist to supplement his view to make it more watertight. (shrink)

The subject of this paper is the epistemology of identity: a general theory of knowledge, evidence and justification for the claim that one thing is identical to another. Although identity figures significantly in our epistemic lives, this is a topic that, to the best of my knowledge, has gone entirely unexplored. Initial attempts to integrate such an epistemology into existing theories of evidence---many of which are tailor-made for contingent propositions---are confounded by the necessity of identity. I defend a restricted form (...) of skepticism according to which the only knowable identity claims are trivial. (shrink)

In the last decade, structural realism has been presented as the most promising strategy for developing a defensible realist view of science. Nevertheless, controversy still continues in relation to the exact meaning of the proposed structuralism. The stronger version of structural realism, the so-called ontic structural realism, has been argued for on the basis of some ideas related to quantum mechanics. In this paper, I will first outline these arguments, mainly developed by Steven French and James Ladyman, then challenge them, (...) putting a particular emphasis on a metaphysical principle which, even though it is crucial for the whole argument, hasn't been, in my opinion, clearly stated and examined yet. My overall view will be that a weaker version of the form of realism we are considering is more plausible – namely, epistemic structural realism. (shrink)

Jason Bowers and Meg Wallace have recently argued that those who hold that every individual instantiates a ‘haecceity’ are caught up in a Euthyphro-style dilemma when confronted with familiar cases of fission and fusion. Key to Bowers and Wallace’s dilemma are certain assumptions about the nature of metaphysical explanation and the explanatory commitments of belief in haecceities. However, I argue that the dilemma only arises due to a failure to distinguish between providing a metaphysical explanation of why a fact holds (...) vs. a metaphysical explanation of what it is for a fact to hold. In the process, I also shed light on the explanatory commitments of belief in haecceities. (shrink)

ObjectiveThis paper explores the interrelation among the concepts of identity, individuality and indiscernibilty, primarily from the standpoint of contemporary western analytic ontology and logic.MethodI review, compare and evaluate the classical and the alternative approaches to identity. In this regard, I focus on the issue whether these purportedly alternative approaches do really provide us with alternative conceptions of identity, or they are considering some other forms of equivalence relations weaker than the relation of identity. Arguments for and against the Principles of (...) Indiscernibility of Identicals and Identity of Indiscernibles are delineated to unravel the connection between identity and indiscernibility. Various attempts to provide the definition of identity in terms of indiscernibility have also been evaluated.FindingsI argue that it is a verbal issue whether we use the term ‘identity’, when analysed in terms of indiscernibility, or ‘congruence’, but the underlying metaphysical issues are not simple. If identity is analysed in terms of indiscernibility, stipulation of one’s philosophical understanding of property and possession of properties in the concerned logic and ontology should be made in clear terms to avoid confusion. But there can also be ontological and logical frameworks where numerical identity and difference are not qualitatively explicable.ConclusionA pluralist stance, at least at the phenomenal level, is proposed to be maintained with regard to the explanation of the phenomenon of identity. This pluralist stance has also been proposed as a plausible metatheoretical framework of metaphysical debates. (shrink)

I would like to attack a certain view: The view that the concept of identity can fail to apply to some things although, for some positive integer n, we have n of them. The idea of entities without self-identity is seriously entertained in the philosophy of quantum mechanics. It is so pervasive that it has been labelled the Received View. I introduce the Received View in Section 1. In Section 2 I explain what I mean by entity, and I argue (...) that supporters of the Received View should agree with my characterization of the corresponding notion of entity. I also explain what I mean by identity, and I show that supporters of the Received View agree with my characterization of that notion. In Section 3 I argue that the concept of identity, so characterized, is one with the concept of oneness. Thus, it cannot but apply to what belongs to a collection with n elements, n being a positive integer. In Section 4 I add some considerations on the primitiveness of identity or unity and the status of the Identity of Indiscernibles. In Section 5 I address the problem of how reference to indiscernible objects with identity can be achieved. (shrink)

Causal essentialists hold that a property essentially bears its causal and nomic relations. Further, as many causal essentialists have noted, the main motivations for causal essentialism also motivate holding that properties are individuated in terms of their causal and nomic relations. This amounts to a kind of identity of indiscernibles thesis; properties that are indiscernible with respect to their causal and nomic relations are identical. This can be compared with the more well-known identity of indiscernibles thesis, according to which particulars (...) that are qualitatively indiscernible are identical. Robert Adams has developed a well-known objection to this thesis by considering a series of possibilities involving nearly qualitatively indiscernible particulars that naturally leads to a possibility involving qualitatively indiscernible particulars. I argue that we can construct parallel cases involving a series of possibilities involving properties that are nearly indiscernible with respect to their causal and nomic relations that naturally lead to possibilities involving properties that are indiscernible with respect to their causal and nomic relations. The same features that make Adams’ argument forceful also carry over to my cases, giving us a powerful objection to the causal essentialist identity of indiscernibles thesis. (shrink)

Two expressive limitations of an infinitary higher-order modal language interpreted on models for higher-order contingentism – the thesis that it is contingent what propositions, properties and relations there are – are established: First, the inexpressibility of certain relations, which leads to the fact that certain model-theoretic existence conditions for relations cannot equivalently be reformulated in terms of being expressible in such a language. Second, the inexpressibility of certain modalized cardinality claims, which shows that in such a language, higher-order contingentists cannot (...) express what is communicated using various instances of talk of ‘possible things’, such as ‘there are uncountably many possible stars’. (shrink)

Suppose that all non-qualitative facts are grounded in qualitative facts. I argue that this view naturally comes with a picture in which trans-world identity is indeterminate. But this in turn leads to either pervasive indeterminacy in the non-qualitative, or else contingency in what facts about modality and possible worlds are determinate.

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 and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 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 higher 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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter 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 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 and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter 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 higher 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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter 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)

I try to lay bare some of the conceptual space in which one may be a Social Trinitarian. I organize the paper around answers to five questions. These are: (1) How do the three Persons of the Trinity relate to the Godhead? (2) How many divine beings or gods are there? (3) How many distinct centers of consciousness are there in the Godhead? (4) How many omnicompetent beings are there? (5) How are the Persons of the Trinity individuated? I try (...) to make clear costs and benefits of various answers to these questions. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (shrink)

A critical discussion of Shoemaker's argument for the possibility of time without change, intended as an argument against relationist conceptions of time. A relational view of time is proposed based on the primitive identity of events (or whatever entities are the basic subjects of change and lack thereof).

Presentists believe that only present things exist. But opponents insist this view has unacceptable implications: if only present things exist, we can’t express singular propositions about the past, since the obvious propositional constituents don’t exist, nor can we account for temporal passage, or the openness of the future. According to such opponents, and in spite of the apparent ‘common sense’ status of the view, presentism should be rejected on the basis of these unacceptable implications. In this paper, I present and (...) defend a version of presentism that avoids the unacceptable implications. The basic strategy I employ is familiar—I postulate presently existing entities to serve as surrogates for non-present entities—but some of the details of my proposal are more novel, and their application to these problems is certainly novel. One overarching thesis of this paper is that Thisness Presentism is preferable to other versions of presentism since it solves important problems facing standard iterations of the view. And I assume that this is a good positive reason in favour of the underlying thisness ontology. (shrink)

We naturally think of the material world as being populated by a large number of individuals . These are things, such as my laptop and the particles that compose it, that we describe as being propertied and related in various ways when we describe the material world around us. In this paper I argue that, fundamentally speaking at least, there are no such things as material individuals. I then propose and defend an individual-less view of the material world I call (...) “generalism”. (shrink)

Putative counterexamples to the Principle of Identity of Indiscernibles (PII) are notoriously inconclusive. I establish ground rules for debate in this area, offer a new response to such counterexamples for friends of the PII, but then argue that no response is entirely satisfactory. Finally, I undermine some positive arguments for PII.

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)

When dealing with a certain class of physical systems, the mathematical characterization of a generic system aims to describe the phase portrait of all its possible states. Because they are defined only up to isomorphism, the mathematical objects involved are “schematic structures”. If one imposes the condition that these mathematical definitions completely capture the physical information of a given system, one is led to a strong requirement of individuation for physical states. However, we show there are not enough qualitatively distinct (...) properties in an abstract Hilbert space to fulfill such a requirement. It thus appears there is a fundamental tension between the physicist’s purpose in providing a mathematical definition of a mechanical system and a feature of the basic formalism used in the theory. We will show how group theory provides tools to overcome this tension and to define physical properties. (shrink)

In some sense, both ontological and epistemological problems related to individuation have been the focal issues in the philosophy of mathematics ever since Frege. However, such an interest becomes manifest in the rise of structuralism as one of the most promising positions in recent philosophy of mathematics. The most recent controversy between Keränen and Shapiro seems to be the culmination of this phenomenon. Rather than taking sides, in this paper, I propose to critically examine some common assumptions shared by both (...) parties. In particular, I shall focus on their assumptions on haecceity as an individual essence, haecceity as a property, the classification of properties, and thereby the search for the principle of individuation in terms of properties. I shall argue that all these assumptions are mistaken and ungrounded from Scotus’ point of view. Further, I will fathom what consequences would follow, if we reject each of these assumptions. (shrink)

According to the traditional bundle theory, particulars are bundles of compresent universals. I think we should reject the bundle theory for a variety of reasons. But I will argue for the thesis at the core of the bundle theory: that all the facts about particulars are grounded in facts about universals. I begin by showing how to meet the main objection to this thesis (which is also the main objection to the bundle theory): that it is inconsistent with the possibility (...) of distinct qualitative indiscernibles. Here, the key idea appeals to a non-standard theory of haecceities as non-well-founded properties of a certain sort. I will then defend this theory from a number of objections, and finally argue that we should accept it on the basis of considerations of parsimony about the fundamental. (shrink)

The distinction between qualitative properties like mass and shape and non-qualitative properties like being Napoleon and being next to Obama is important, but remains largely unexamined. After discussing its theoretical significance and cataloguing various kinds of non-qualitative properties, I survey several views about the nature of this distinction and argue that all proposed reductive analyses of this distinction are unsatisfactory. I then defend primitivism, according to which the distinction resists reductive analysis.

Nous proposons une traduction inédite du fameux dialogue de Max Black intitulé « L’identité des indiscernables », paru en 1952 (Mind, vol. 61, no 242, avril 1952, 153-164) et aujourd’hui considéré comme un classique de la philosophie contemporaine. Cette traduction est précédée d’une présentation rapide du texte et du problème philosophique qu’il soulève.

Nous proposons une traduction inédite du fameux dialogue de Max Black intitulé « L’identité des indiscernables », paru en 1952 (Mind, vol. 61, no 242, avril 1952, 153-164) et aujourd’hui considéré comme un classique de la philosophie contemporaine. Cette traduction est précédée d’une présentation rapide du texte et du problème philosophique qu’il soulève.

Nous proposons une traduction inédite du fameux dialogue de Max Black intitulé « L’identité des indiscernables », paru en 1952 (Mind, vol. 61, no 242, avril 1952, 153-164) et aujourd’hui considéré comme un classique de la philosophie contemporaine. Cette traduction est précédée d’une présentation rapide du texte et du problème philosophique qu’il soulève.

David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of metaphysical anti-haecceitism: it says there (...) aren't any genuine facts about individuals over and above their qualitative roles. (shrink)

What is it for a picture to depict a scene? The most orthodox philosophical theory of pictorial representation holds that depiction is grounded in resemblance. A picture represents a scene in virtue of being similar to that scene in certain ways. This essay presents evidence against this claim: curvilinear perspective is one common style of depiction in which successful pictorial representation depends as much on a picture's systematic differences with the scene depicted as on the similarities; it cannot be analyzed (...) in terms of similarity alone. The same problem arises for many other kinds of depiction. The essay concludes that depiction in general is not grounded in resemblance but geometrical transformation. (shrink)

Existentialism concerning singular propositions is the thesis that singular propositions ontologically depend on the individuals they are directly about in such a way that necessarily, those propositions exist only if the individuals they are directly about exist. Haecceitism is the thesis that what non-qualitative facts there are fails to supervene on what purely qualitative facts there are. I argue that existentialism concerning singular propositions entails the denial of haecceitism and that this entailment has interesting implications for debates concerning the philosophy (...) of language, the nature of propositions, and the metaphysics of modality. (shrink)

This paper seeks to give an account of what it is for an individual to instantiate thisness (i.e. primitive individual essence). Thisnesses are peculiar entities, and even those who endorse their existence and instantiation by objects/entities, have said very little about how an individual and its thisness are related. My approach will be to seek out a model for the instantiation of thisness by canvassing broadly Aristotelian accounts of the substance/attribute relation, and then by making appropriate modifications to the most (...) likely candidates in order to accommodate an individual's instantiation of thisness. What will emerge is that the model with the most utility makes thisness redundant in the case of material substances. Nonetheless, I will suggest that a version of the model can be appropriately applied in the case of other individuals which might instantiate thisness: for example, events (where these are conceived as a fundamental category of ontology distinct from material substances). (shrink)

“Ethical criticism” is an approach to literary studies that holds that reading certain carefully selected novels can make us ethically better people, e.g., by stimulating our sympathetic imagination (Nussbaum). I try to show that this nonargumentative approach cheapens the persuasive force of novels and that its inherent bias and censorship undercuts what is perhaps the principal value and defense of the novel—that reading novels can be critical to one’s learning how to think.

Antihaecceitists believe that all facts about specific individuals—such as the fact that Fred exists, or that Katie is tall—globally supervene on purely qualitative facts. Haecceitists deny that. The issue is not only of interest in itself, but receives additional importance from its intimate connection to the question of whether all fundamental facts are qualitative or whether they include facts about which specific individuals there are and how qualitative properties and relations are distributed over them. Those who think that all fundamental (...) facts are qualitative are arguably committed to antihaecceitism. The goal of this paper is to point out some problems for antihaecceitism (and therefore for the thesis that all fundamental facts are qualitative). The article focuses on two common assumptions about possible worlds: (i) Sets of possible worlds are the bearers of objective physical chance. (ii) Counterfactual conditionals can be defined by appeal to a relation of closeness between possible worlds. The essay tries to show that absurd consequences ensue if either of these assumptions is combined with antihaecceitism. Then it considers a natural response by the antihaecceitist, which is to deny that worlds play the role described in (i) and (ii). Instead, the reply continues, we can introduce a new set of entities that are defined in terms of worlds and that behave the way worlds do on the haecceitist position. That allows the antihaecceitist to formulate antihaecceitist friendly versions of (i) and (ii) by replacing the appeal to possible worlds with reference to the newly introduced entities. This maneuver invites an obvious reply, however. If the new entities are the things that play the role we typically associate with worlds, as partially described by (i) and (ii), then it is natural to conclude that they really are the entities we talk about when we speak of worlds, so that haecceitism is true after all. (shrink)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

Two arguments are offered here for postulating individual essences of concrete individuals on top of their sortal essences. One is the explanatory gap argument, the other draws on the analogy with the individual essences of events presupposed in single causal explanations. These arguments support qualitative individual essences with explanatory goals as opposed to hybrid impure relational essences accounting for origin and numerical identity. It is highlighted why origin properties as parts of impure relational essences do not yield genuine de re (...) constructions. The distinction between the two types of individual essences is traced back to the ambiguity of the very notion of individuation. (shrink)

This paper offers a critical assessment of the current state of the debate about the identity and individuality of material objects. Its main aim, in particular, is to show that, in a sense to be carefully specified, the opposition between the Leibnizian ‘reductionist’ tradition, based on discernibility, and the sort of ‘primitivism’ that denies that facts of identity and individuality must be analysable has become outdated. In particular, it is argued that—contrary to a widespread consensus—‘naturalised’ metaphysics supports both the acceptability (...) of non-qualitatively grounded (both ‘contextual’ and intrinsic) identity and a pluralistic approach to individuality and individuation. A case study is offered that focuses on non-relativistic quantum mechanics, in the context of which primitivism about identity and individuality, rather than being regarded as unscientific, is on the contrary suggested to be preferable to the complicated forms of reductionism that have recently been proposed. More generally, by assuming a plausible form of anti-reductionism about scientific theories and domains, it is claimed that science can be regarded as compatible with, or even as suggesting, the existence of a series of equally plausible grades of individuality. The kind of individuality that prevails in a certain context and at a given level can be ascertained only on the basis of the specific scientific theory at hand. (shrink)

An argument to the effect that, under a few reasonable assumptions, the bare particular ontology is best understood in terms of supersubstativalism: objects are identical to regions of space(-time) and properties directly inhere in space(-time) points or region as their bearers.

The Principle of the Identity of Indiscernibles, commonly attributed to Leibniz, has given rise to much discussion and debate. Thus philosophers have argued over how it should be formulated, whether it is true, and what, if any, metaphysical consequences it has.It is not my intention to add to these discussions here, having done so elsewhere. Rather, I intend to introduce and defend a closely related principle which I shall, for want of a better name, refer to as The Principle of (...) the Identity of Necessary Similarity’.In section II, I briefly recapitulate some of the distinctions and other relevant points which are customarily made in connection with. This is all too familiar material, but it is necessary in order to provide a general framework of concepts in terms of which we can discuss in an intelligible fashion. (shrink)

In a recent paper, Sun Demirli (2010) proposes an allegedly new way of conceiving of individuation in the context of the bundle theory of object constitution. He suggests that allowing for distance relations to individuate objects solves the problems with worlds containing indiscernible objects that would otherwise affect the theory. The aim of the present paper is i) To show that Demirli’s proposal falls short of achieving this goal and ii) To carry out a more general critical assessment of the (...) issue by appraising the costs and benefits of Demirli’s view as well as of existing alternatives. (shrink)