Gonzalo Rodriguez-Pereyra

This paper is a response to replies by Dan López de Sa and Mark Jago to my ‘Truthmaking, Entailment, and the Conjuction Thesis’. In that paper, my main aim was to argue against the Entailment Principle by arguing against the Conjunction Thesis, which is entailed by the Entailment Principle. In the course of so doing, although not essential for my project in that paper, I defended the Disjunction Thesis. López de Sa has objected both to my defence of the Disjunction Thesis and my case against the Conjunction Thesis. I shall show that his objections are unfounded and based on serious misunderstandings of my position, what the relevant debate is, and some fundamental notions of Truthmaker Theory. Jago argues that accepting the Disjunction Thesis and rejecting the Conjunction Thesis is hard to maintain. But I show that Jago has not shown that accepting the Disjunction Thesis while rejecting the Conjunction Thesis is impossible or even hard to maintain. Jago believes that, to accept the Disjunction Thesis while rejecting the Conjunction Thesis, one needs to reject his axiom (T3), which says that all the truthmakers for <P&P> are truthmakers for <P>. I argue that there are reasons to reject such a principle, and the version of it that says that what makes <P&P> true makes <P> true.

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.

This is a reply to Byeong-Uk Yi who argued that my _Resemblance Nominalism_ fails to account for sentences featuring abstract nouns like Carmine resembles vermillion more than it resembles French Blue and Scarlet is a colour. I accept his criticism of what I said in my book on Resemblance Nominalism about, but then I go on to show how can be accounted for. I reject his criticism of what I said in my book about. I also show how Resemblance Nominalism can account for other sentences featuring abstract nouns

Resemblance Nominalism is the view that denies universals and tropes and claims that what makes F-things F is their resemblances. A famous argument against Resemblance Nominalism is Russell's regress of resemblances, according to which the resemblance nominalist falls into a vicious infinite regress. Aristocratic Resemblance Nominalism, as opposed to Egalitarian Resemblance Nominalism, is the version of Resemblance Nominalism that claims that what makes F-things F is that they resemble the F-paradigms. In this paper I attempt to show that a recently advocated strategy to stop Russell's regress by using paradigms does not succeed.

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

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.

What I call the argument from almost indiscernibles is an argument, put forward by Robert Adams in 1979, for the possibility of indiscernibles based on the possibility of almost indiscernibles. The argument is that if almost indiscernibles are possible, indiscernibles are possible, but since almost indiscernible are possible, indiscernibles are possible. The argument seems to be an improvement over the mere appeal to intuitions, like that suggested by Max Black, that situations in which there are indiscernibles are possible, for the argument purports to give us a reason that indiscernibles are possible. In this paper I shall assess the argument by examining whether there is support for the conditional premise that if almost indiscernibles are possible, indiscernibles are possible. I shall argue that there are reasons to think that either the premise lacks support or almost indiscernibles are dispensable. If the premise lacks support, the argument does not establish the possibility of almost indiscernibles; if almost indiscernibles are dispensable, the argument is not needed to establish the possibility of indiscernibles.

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.

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