I consider some of the objections that have been raised against a conceptualist solution to the “grounding problem”, I address in particular two objections that I call Conceptual Validity and Instantiation, and I attempt to answer them on behalf of the conceptualist. My response, in a nutshell, is that the first of these objections fails because it ascribes to the conceptualist some commitments that do not really follow from the view’s basic insight, while the second objection also fails because it (...) denies the conceptualist resources that the alternative positions are allowed to use. (shrink)

The identity of indiscernibles states that indiscernible objects must be identical. Many philosophers have held that the PII turns out to be either true but trivial, or non-trivial but false, depending on how the notion of discernibility is spelled out. In this paper, I propose and defend an account of this notion which aims to yield a minimally non-trivial and yet plausible version of the PII. I argue moreover that this version of the principle is immune to a number of (...) well-known and recent objections to the PII. (shrink)

Paul (Noûs 36:578–596, 2002; Noûs 40:623–659, 2006, The Handbook of Mereology, forthcoming) has argued for a bundle theory of objects that analyzes the bundling relation between properties and objects in terms of parthood relations. In this paper I argue that any mereological bundle theory with the explanatory power of Paul’s theory will entail the principle of the identity of indiscernibles (PII). This is problematic, since similar bundle theories seem to fall to Max Black’s two sphere counterexample to (PII). I argue, (...) however, that a fully developed mereological bundle theory provides a new way of interpreting Black’s two sphere universe that dispels the counterexample. I argue that this solution to Black’s puzzle is superior to other solutions on offer, and consequently that mereological bundle theory is an attractive ontological strategy for friends of (PII). (shrink)

In this paper I argue that if the Identity of Indiscernibles is not necessarily true, then Haecceitism ensues—where Haecceitism is the view that there are maximal possibilities that include all the same qualitative possibilities, and yet differ with respect to the non-qualitative possibilities they include. This goes against the common intuition that Anti-Haecceitism is compatible with the Identity of Indiscernibles being only contingently true. My argument is interesting in many respects. First, it shows that in any modal framework there is (...) a connection between the number of worldbound ordinary spatio-temporal objects, and the number of overall possibilities. Second, it has repercussions for the tenability of some philosophical positions, like Generalism, which is usually interpreted as entailing Anti-Haecceitism while at the same time being compatible with the claim that the Identity of Indiscernibles is not necessarily true. If I am correct, Generalism and similar philosophical accounts turn out to be inconsistent. Finally, it provides a strong argument for Haecceitism, given that the majority of authors today find counterexamples to the Identity of Indiscernibles extremely convincing, and many philosophical positions have been and continue being criticised on the basis of their commitment to the Identity of Indiscernibles. The paper is structured as follows: I introduce Haecceitism and the Identity of Indiscernibles in Sects. 1 and 2 respectively. Drawing on a result from the Philosophy of Quantum Mechanics, which I survey in Sect. 3, I give my main argument in Sect. 4. Finally, I discuss some implications in Sect. 5. (shrink)

I begin by criticizing an elaboration of an argument in this journal due to Hawley , who argued that, where Leibniz’s Principle of the Identity of Indiscernibles faces counterexamples, invoking relations to save PII fails. I argue that insufficient attention has been paid to a particular distinction. I proceed by demonstrating that in most putative counterexamples to PII , the so-called Discerning Defence trumps the Summing Defence of PII. The general kind of objects that do the discerning in all cases (...) form a category that has received little if any attention in metaphysics. This category of objects lies between indiscernibles and individuals and is called relationals: objects that can be discerned by means of relations only and not by properties. Remarkably, relationals turn out to populate the universe. (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)

I describe a new argument for the existence of God, and argue one of its steps. En route I criticize class-nominalist theories of attributes, and sketch an alternate theory involving God.

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

The mathematical field of graph theory has recently been used to provide counterexamples to the Principle of the Identity of Indiscernibles. In response to this, it has been argued that appeal to relations between graphs allows the Principle to survive the counterexamples. In this paper, I aim to show why that proposal does not succeed.

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)

Bernard Bolzano offers a criterion of individuation for ideas, according to which ideas are distinct if and only if they represent different objects or are composed differently. It fails to individuate ideas that are both simple and fail to represent, in particular syncategorematic ideas and logical constants. However, Bolzano also provides the means to close this gap. He suggests that we can distinguish ideas if they are not substitutable for each other in propositions, which we can, in turn, distinguish in (...) terms of their truth-values. This paper explicates this suggestion and develops it into an improved individuation criterion for ideas: ideas also are distinct if we cannot replace them for one another in propositions salva veritate. (shrink)

En este artículo discuto cómo es que la idea intuitiva de que las cosas podrían cambiar, combinada con principios excesivamente plausibles, nos lleva a la paradoja de Chisholm. Arguyo que la mejor respuesta a esta paradoja –pues efectúa la menor mutilación a nuestros principios teóricos y asunciones intuitivas– es la postura esencialista. Primero expongo algunas motivaciones para hacer una teoría metafísica que explique la modalidad de re. Luego reviso los principios a los que estaremos regresando en el curso del artículo. (...) Entonces muestro cómo ellos, conjuntamente, implican la paradoja de Chisholm. Después reviso las posibles fuentes de esta paradoja, rechazando varias salidas posibles. Argumento que la fuente de la paradoja está en que nuestros principios teóricos son demasiado liberales, y que la opción esencialista subsana este defecto. (shrink)

One of Julian Barbour’s main aims is to solve the problem of time that appears in quantum geometrodynamics (QG). QG involves the application of canonical quantization procedure to the Hamiltonian formulation of General Relativity. The problem of time arises because the quantization of the Hamiltonian constraint results in an equation that has no explicit time parameter. Thus, it appears that the resulting equation, as apparently timeless, cannot describe evolution of quantum states. Barbour attempts to resolve the problem by allegedly eliminating (...) time from his interpretation of QG. In order to evaluate the efficacy of his solution, it is necessary to ascertain in what sense time has been eliminated from his theory. I proceed to do so by developing a form of conceptual analysis that is applicable to the concept of time in physical theories and applying this analysis to Barbour’s account. (shrink)