Gonzalo Rodriguez-Pereyra

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.

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.

Causation was an important topic of philosophical reflection during the Seventeenth Century. This reflection centred around certain particular problems about causation, one of which was the problem of causation between mind and body. The doctrine of the pre-established harmony is Leibniz's response to the problem of causation between mind and body. In this chapter I shall (a) explain the problem of mind-body causation; (b) explain Leibniz's pre-established harmony; and (c) assess his case for it.

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

Nominalism, which has its origins in the Middle Ages and continues into the Twenty-First Century, is the doctrine that there are no universals. This book is unique in bringing together essays on the history of nominalism and essays that present a systematic discussion of nominalism. It introduces the reader to the distinction between particulars and universals, to the difficulties posed by this distinction, and to the main motivations for the rejection of universals. It also describes the main varieties of nominalism about properties and provides tools to understand how they developed in the history of Western Philosophy. All essays are new and are written by experts on the topic, and they advance the discussion about nominalism to a new level.

Descartes maintained substance dualism, the thesis that no substance has both mental and material properties. His main argument for this thesis, the so-called separability argument from the Sixth Meditation (AT VII: 78) has long puzzled readers. In this paper I argue that Descartes’ independence conception of substance (which Descartes presents in article 51 of the Principles) is crucial for the success of the separability argument and that Descartes used this conception of substance to defend his argument for substance dualism from an important objection.

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.

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.

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

Gardeners, poets, lovers, and philosophers are all interested in the redness of roses; but only philosophers wonder how it is that two different roses can share the same property. Are red things red because they resemble each other? Or do they resemble each other because they are red? Since the 1970s philosophers have tended to favour the latter view, and held that a satisfactory account of properties must involve the postulation of either universals or tropes. But Gonzalo Rodriguez-Pereyra revives the dormant alternative theory of resemblance nominalism, showing first that it can withstand the attacks of such eminent opponents as Goodman and Armstrong, and then that there are reasons to prefer it to its rival theories. The clarity and rigour of his arguments will challenge metaphysicians to rethink their views on properties.

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.

I believe in metaphysical nihilism, the thesis that there could have been no concrete objects, because I believe in a version of the subtraction argument, the subtraction argument*, that proves it. But both Jonathan Lowe (2002) and Alexander Paseau (2002) express doubts about the subtraction argument*. Paseau thinks the argument is invalid, and Lowe argues that invoking concrete* objects is unnecessary. Furthermore Lowe attempts to rebut my objections (Rodriguez-Pereyra 2000) to his anti-nihilist argument (Lowe 1998). In this paper I defend the subtraction argument* from Paseau's and Lowe's criticisms as well as show that the premises of Lowe's anti-nihilist argument are still lacking support.

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