Gonzalo Rodriguez-Pereyra

In the Discourse on Metaphysics Leibniz put forward his famous complete-concept definition of substance. Sometimes this definition is glossed as stating that a substance is an entity with a concept so complete that it contains all its predicates, and it is thought that it follows directly from Leibniz’s theory of truth. Now, an adequate definition of substance should not apply to accidents. But, as I shall point out, if Leibniz’s theory of truth is correct then an accident is an entity with a concept so complete that it contains all its predicates. The aim of this paper is to clarify Leibniz’s notion of substance in the Discourse with a view to explaining how that definition successfully distinguishes between substances and accidents.

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).

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.

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 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.