Gonzalo Rodriguez-Pereyra

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.

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.

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.

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.

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.

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

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.

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.

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.

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

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.