# Application of Leibniz's law to infer that things are different

In terms of practical reasoning, what are the constraints/conditions where one can infer that (putatively) two things are not identical on the basis of them seeming to have different properties?

At first read this might seem odd, but consider the story of the blind men and the elephant: One day, an elephant is brought to town. The six blind men of the town, never having encountered one before, go to it. The first, at its trunk, declares "It is like a snake!", the second at the tusk declares "It is like a spear!", the third, at its ear declares "It is like a fan!", the fourth, at its leg declares "It is like a column!", the fifth, at its side declares "It is like a wall!" and the fifth, touching just the tip of its tail declares "It is like a mouse!".

One place where this comes up is in Descartes' Meditation -- he infers that mind and body are distinct, but he could just be a blind man who touched the elephant in two different places and declared that it must be two things. It seems like one needs additional assumptions/constraints to make this leap.

More Discussion

I prefer to use natural(ish) language, so let "all properties same" indicate the formal statement "for a given x,y, for all properties p, x has p iff y has p" (or however you'd like to more formally state it). Leibniz's law is usually stated "if 'all properties same for x,y' then 'x,y are identical'". Implication from the properties from the identity. However, the converse implication is (seems?) obviously true: "if 'x,y are identical' then 'all properties are the same'". Thus the relationship is one of bidirectional implication. Therefore you should be able to infer "different properties therefore not identical", but it's not clear to me that you can make this inference in general; hence the need for additional constraints.

• In terms of practical reasoning, what are the constraints/conditions where one can infer that (putatively) two things are not identical on the basis of them seeming to have different properties? That objective reality exists (i.e. reality is independent of human interpretation) and that humans have the ability to investigate this objective reality and draw objective conclusions. Moreover, that the Scientific method works. Commented Mar 22, 2016 at 14:24
• @AdamRubinson that appears to be answer rather than a comment. And there's quite a lot of strong assertion going on in it. Commented Mar 22, 2016 at 14:56
• I thought it to be obvious that it only applies if we know that one thing has a certain property as well as the other does not have it. The main problem therefore lies in showing that the other thing does not have a certain property. But I am quite sure Leibniz adressed this, so someone can back this comment up and answer properly Commented Mar 22, 2016 at 15:08
• @virmaior: it was more of a passing thought towards a more concrete answer. Haven't had the time to give a full/complete answer, but thought I would contribute my thoughts. I might give a complete answer later on. Commented Mar 23, 2016 at 11:05

Well, a trunk and a leg are indeed different, so there really aren't any issues in trying to employ Leibniz's law. However, I think the issue arises when the men claim that they've found ontologically independent things; they think they're entities in themselves that are not part of a whole. Thus I'm not sure if this is a problem of Leibniz's law but of mereology. Correct me if I'm misunderstanding something.

• Right, this is the problem; when/how can we infer distinct entities based on distinct impressions? is the question.
– Dave
Commented Mar 26, 2016 at 13:13
• But the issue is that - "from an ontological" point of view - a trunk and a leg are not two individual substances. Commented Mar 29, 2016 at 12:27
• Exactly. Leibniz's law can only discern unlike things. It has absolutely nothing to do with a thing(s)'s status as part of a whole. Commented Mar 29, 2016 at 15:24

is a principle of analytic ontology first explicitly formulated by Wilhelm Gottfried Leibniz in his Discourse on Metaphysics.

The priciple has been an is debated: see Arguments for and against the Principle.

The Identity of Indiscernibles (hereafter called the Principle) is usually formulated as follows: if, for every property F, object x has F if and only if object y has F, then x is identical to y.

The fact that we (or someone) cannot "apply" in practice the principle, does not per se contradict his ontological status.

one famous application of the indiscernibility of identicals was by René Descartes in his Meditations on First Philosophy.[...] This argument [...] allegedly derives a conclusion about what is true from a premise about what people know. What people know or believe about an entity, they [the critics of Descartes] argue, is not really a characteristic of that entity.

(Fx <-> Fy) -> x=y, is invalid for non-referring names or non-referring descriptions.

F(the present King of France) <-> F(the present King of France), for all F.. is a tautology and ~((the present King of France)=(the present King of France)), is true.

F(Vulcan) <-> F(Vulcan), for all F..is a tautology and ~(Vulcan=Vulcan), is true.

The Leibnitz-Russell definition of identity x=y <-> (for all F)(Fx <-> Fy) will not do.

I suggest: x=y <-> [(x exists) & (y exists) & (for all F)(Fx <-> Fy)].