Gonzalo Rodriguez-Pereyra

Leibniz was a philosopher of principles: the principles of Contradiction, of Sufficient Reason, of Identity of Indiscernibles, of Plenitude, of the Best, and of Continuity are among the most famous Leibnizian principles. In this article I shall focus on the first three principles; I shall discuss various formulations of the principles (sect. 1), what it means for these theses to have the status of principles or axioms in Leibniz’s philosophy (sect. 2), the fundamental character of the Principles of Contradiction and Sufficient Reason (sect. 3), some attempts to demonstrate the Principles of Contradiction and Sufficient Reason (sect. 4), and one attempt to demonstrate the Principle of Identity of Indiscernibles (sect. 5). The main results of the chapter are summarized in a short conclusion (sect. 6).

According to one of Leibniz's theories of contingency a proposition is contingent if and only if it cannot be proved in a finite number of steps. It has been argued that this faces the Problem of Lucky Proof , namely that we could begin by analysing the concept ‘Peter’ by saying that ‘Peter is a denier of Christ and …’, thereby having proved the proposition ‘Peter denies Christ’ in a finite number of steps. It also faces a more general but related problem that we dub the Problem of Guaranteed Proof . We argue that Leibniz has an answer to these problems since for him one has not proved that ‘Peter denies Christ’ unless one has also proved that ‘Peter’ is a consistent concept, an impossible task since it requires the full decomposition of the infinite concept ‘Peter’. We defend this view from objections found in the literature and maintain that for Leibniz all truths about created individual beings are contingent

In this paper I undermine the Entailment Principle according to which if an entity is a truthmaker for a certain proposition and this proposition entails another, then the entity in question is a truthmaker for the latter proposition. I argue that the two most promising versions of the principle entail the popular but false Conjunction Thesis, namely that a truthmaker for a conjunction is a truthmaker for its conjuncts. One promising version of the principle understands entailment as strict implication but restricts the field of application of the principle to purely contingent truths (i.e. those that contain no necessary proposition at any level of analysis). But a conjunction of purely contingent truths strictly implies its conjuncts. So this version of the principle is committed to the Conjunction Thesis. The same is true of the version of the principle where entailment is understood in the sense of systems T, R, and E of relevant logic, since in these systems conjunctions entail their conjuncts. I argue that the Conjunction Thesis is false because a truthmaker is that in virtue of what a certain proposition is true and it is false that, for example, what the proposition that Peter is a man is true in virtue of is the conjunctive fact that Peter is man and Saturn is a planet (or the facts that Peter is a man and that Saturn is a planet taken together). I also argue against other versions of the principle.

In this paper I discuss a passage from *Naming and Necessity* where Kripke assumes that the essential properties by means of which a definite description designates are a sufficient condition of its rigidity. I put forward two examples that show the falsity of this assumption. Then I examine the non-rigid character of definite descriptions that designate by means of properties that are sufficient conditions of identity of the objects designated by those descriptions. I conclude that the properties by means of which rigid descriptions designate must be both necessary and sufficient conditions of the identity of the designated objects.

In this paper I argue that Modal Realism, the thesis that there exist non-actual possible individuals and worlds, can be made compatible with Metaphysical Nihilism, the thesis that it is possible that nothing concrete exists. Modal Realism as developed by Lewis rules out the possibility of a world where nothing concrete exists and so conflicts with Metaphysical Nihilism. In the paper I argue that Modal Realism can be modified so as to be compatible with Metaphysical Nihilism. Such a modification makes Modal Realism neither incur further theoretical costs nor lose its theoretical benefits. Thus such a modification constitutes an improvement of Modal Realism.

The subtraction argument, originally put forward by Thomas Baldwin (1996), is intended to establish Metaphysical Nihilism, the thesis that there could have been no concrete objects. Some modified versions of the argument have been proposed in order to avoid some difficulties faced by the original argument. In this paper I shall concentrate on two of those versions, the so-called subtraction argument* (presented and defended in Rodriguez-Pereyra 1997, 2000, 2002), and Efird and Stoneham’s recent version of the argument (Efird and Stoneham 2005). I shall defend the subtraction argument* from Alexander Paseau’s (2006) objection that because a crucial premise of the subtraction argument* may have no plausibility independent from Metaphysical Nihilism, the subtraction argument* is not suasive. Although Paseau focuses on the subtraction argument*, I shall point out that Efird and Stoneham could reply to Paseau’s objection in the same way. Thus there are (at least) two suasive versions of the subtraction argument that establish Metaphysical Nihilism. But are those two arguments equally good? I shall argue that the subtraction argument* is preferable to Efird and Stoneham’s argument.

Bertrand Russell argued that any attempt to get rid of universals in favor of resemblances fails. He argued that no resemblance theory could avoid postulating a universal of resemblance without falling prey to a vicious infinite regress. He added that admitting such a universal of resemblance made it pointless to avoid other universals. In this paper I defend resemblance nominalism from both of Russell's points by arguing that (a) resemblance nominalism can avoid the postulation of a universal of resemblance without falling into a vicious infinite regress, and (b) even if resemblance nominalism had to admit a universal of resemblance, this would not make it pointless to avoid postulating other universals.

Gonzalo Rodriguez-Pereyra presents an original study of the place and role of the Identity of Indiscernibles in Leibniz's philosophy. The Principle of the Identity of Indiscernibles rules out numerically distinct but perfectly similar things; Leibniz derived it from more basic principles and used it to establish important philosophical theses. Rodriguez-Pereyra aims to establish what Leibniz meant by the Principle of Identity of Indiscernibles, what his arguments for and from it were, and to assess those arguments and Leibniz's claims about the Principle of Identity of Indiscernibles. He argues that Leibniz had a very strong version of the principle, according to which no possibilia (whether or not they belong to the same possible world) are intrinsically perfectly similar, where this excludes things that differ in magnitude alone. The book discusses Leibniz's arguments for the Identity of Indiscernibles in the Meditation on the Principle of the Individual, the Discourse on Metaphysics, Notationes Generales, Primary Truths, the letter to Casati of 1689, the correspondence with Clarke, as well as the use of the Identity of Indiscernibles in Leibniz's arguments against the Cartesian conception of the material world, atoms, absolute space and time, the Lockean conception of the mind as a tabula rasa, and freedom of indifference. Rodriguez-Pereyra argues that the Identity of Indiscernibles was a central but inessential principle of Leibniz's philosophy.

In this article I address the Problem of Universals by answering questions about what facts a solution to the Problem of Universals should explain and how the explanation should go. I argue that a solution to the Problem of Universals explains the facts the Problem of Universals is about by giving the truthmakers (as opposed to the conceptual content and the ontological commitments) of the sentences stating those facts. I argue that the sentences stating the relevant facts are those like 'a has the property F', that is, sentences stating that a particular has a certain property. Finally I show how answering these questions in this way transforms the Problem of Universals, traditionally conceived as the One over Many, that is, the problem of explaining how different particulars can have the same properties, into the Many over One, that is, the problem of explaining how the same particular can have different properties. The Problem of Universals is the problem of the Many over One.

Universals have traditionally thought to obey the identity of indiscernibles, that is, it has traditionally been thought that there can be no perfectly similar universals. But at least in the conception of universals as immanent, there is nothing that rules out there being indiscernible universals. In this paper, I shall argue that there is useful work indiscernible universals can do, and so there might be reason to postulate indiscernible universals. In particular, I shall argue that postulating indiscernible universals can allow a theory of universals to identify particulars with bundles of universals, and that postulating indiscernible universals can allow a theory of universals to develop an account of the resemblance of quantitative universals that avoids the objections that Armstrong’s account faces. Finally, I shall respond to some objections and I shall undermine the criterion of distinction between particulars and universals that says that the distinction between particulars and universals lies in that while there can be indiscernible particulars, there cannot be indiscernible universals.

Leibniz’s short letter to the mathematician and physicist Ludovico Casati of 1689 is a short but interesting text on the Principle of Identity of Indiscernibles, to which it is entirely dedicated. Since there is no watermark in the paper of the letter, the letter is difficult to date, but it is likely that it was written during Leibniz’s stay in Rome, sometime between April and November of 1689 (A 2 2 287–8). When addressing the letter, Leibniz wrote ‘Casani’, but this seems to be a mistake and the real addressee is thought to be Ludovico Casati, nephew of Paolo Casati, the Jesuit mathematician. The letter, reproduced in the Berlin’s Academy edition of Leibniz’s works, was first published by Gerhardt in the Archiv für Geschichte der Philosophie in 1892 (Gerhardt 1892: 53–54). It also appears in Robinet’s Iter Italicum (Robinet 1988: 134–35). But neither Gerhardt nor Robinet provide a philosophical discussion of the letter, and I am not aware of any other philosophical discussion of it. Furthermore, as far as I know, the letter has never been translated into any language. Thus I shall here provide a transcription (from A 2 2 288–89) and a translation of the letter into English, and a philosophical discussion of its treatment of the Identity of Indiscernibles.

In this note we shall argue that Milne’s new effort does not refute Truthmaker Maximalism. According to Truthmaker Maximalism, every truth has a truthmaker. Milne has attempted to refute it using the following self-referential sentence M: This sentence has no truthmaker. Essential to his refutation is that M is like the Gödel sentence and unlike the Liar, and one way in which Milne supports this assimilation is through the claim that his proof is essentially object-level and not semantic. In Section 2, we shall argue that Milne is still begging the question against Truthmaker Maximalism. In Section 3, we shall argue that even assimilating M to the Liar does not force the truthmaker maximalist to maintain the ‘dull option’ that M does not express a proposition. There are other options open and, though they imply revising the logic in Milne’s reasoning, this is not one of the possible revisions he considers. In Section 4, we shall suggest that Milne’s proof requires an implicit appeal to semantic principles and notions. In Section 5, we shall point out that there are two important dissimilarities between M and the Gödel sentence. Section 6 is a brief summary and conclusion

1. The Bundle Theory I shall discuss is a theory about the nature of substances or concrete particulars, like apples, chairs, atoms, stars and people. The point of the Bundle Theory is to avoid undesirable entities like substrata that allegedly constitute particulars. The version of the Bundle Theory I shall discuss takes particulars to be entirely constituted by the universals they instantiate.' Thus particulars are said to be just bundles of universals. Together with the claim that it is necessary that particulars have constituents, the fundamental claim of the Bundle Theory is: (BT) Necessarily, for every particular x and every entity y, y constitutes x if and only ify is a universal and x instantiates y. 2 The standard and supposedly devastating objection to the Bundle Theory is that it entails or is committed to a false version of the Principle of Identity of Indiscernibles (Armstrong 1978: 91, Loux 1998: 107), namely: (Pll) Necessarily, for all particulars x and y and every universal z, if z is instantiated by x if and only if z is instantiated byy, then x is numerically identical with y. The most famous counterexample to the Identity of Indiscernibles is that put forward by Max Black, consisting of a world where there are only two iron spheres two miles apart from each other, having the same diameter, temperature, colour, shape, size, etc (Black 1952: 156). Let us from now on think of the properties of the spheres in this world as universals. The possibility of this world, which I shall hereafter refer to as 'Black's world', makes (Pll) false.' And according to common philosophical opinion this means that the Bundle Theory is false..

The object of this paper is to provide a solution to Nelson Goodman’s Imperfect Community difficulty as it arises for Resemblance Nominalism, the view that properties are classes of resembling particulars. The Imperfect Community difficulty consists in that every two members of a class resembling each other is not sufficient for it to be a class such that there is some property common to all their members, even if ‘x resembles y’ is understood as ‘x and y share some property’. In the paper I explain and criticise several solutions to the difficulty. Then I develop my own solution, which is not subject to the objections I make to the other solutions, and which accords completely with the basic tenets of Resemblance Nominalism.

Mellor´s theory of causation has two components, one according to which causes raise their effects´ chances, and one according to which causation links facts. I argue that these two components are not independent from each other and, in particular, that Mellor´s thesis that causation links facts requires his thesis that causes raise their effects´ chances, since without the latter thesis Mellor cannot stop the slingshot argument, an argument that is a threat to any theory postulating facts as the relata of causation.