Chapter 39 Rules for identity
In chapter 30, we mentioned the philosophically contentious thesis of the identity of indiscernibles. This is the claim that objects which are indiscernible in every way are, in fact, identical to each other. It was also mentioned that we will not subscribe to this thesis. It follows that, no matter how much you learn about two objects, we cannot prove that they are identical. That is unless, of course, you learn that the two objects are, in fact, identical, but then the proof will hardly be very illuminating.
The general point, though, is that no sentences which do not already contain the identity predicate could justify an inference to ‘$a=b$’. So our identity introduction rule cannot allow us to infer to an identity claim containing two different names.
However, every object is identical to itself. No premises, then, are required in order to conclude that something is identical to itself. So this will be the identity introduction rule:
Line number

Subproof level

Formula

Justification


0

$\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\U0001d4b8$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$=$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\U0001d4b8$}$

=I

Notice that this rule does not require referring to any prior lines of the proof. For any name $\U0001d4b8$, you can write $\U0001d4b8=\U0001d4b8$ on any line, with only the =I rule as justification.
Our elimination rule is more fun. If you have established ‘$a=b$’, then anything that is true of the object named by ‘$a$’ must also be true of the object named by ‘$b$’. For any sentence with ‘$a$’ in it, you can replace some or all of the occurrences of ‘$a$’ with ‘$b$’ and produce an equivalent sentence. For example, from ‘$R(a,a)$’ and ‘$a=b$’, you are justified in inferring ‘$R(a,b)$’, ‘$R(b,a)$’ or ‘$R(b,b)$’. More generally:
Line number

Subproof level

Formula

Justification


$\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$m$}$ 
0

$\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\U0001d4b6$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$=$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\U0001d4b7$}$


$\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$n$}$ 
0

$\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathcal{A}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$($}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathrm{\dots}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\U0001d4b6$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathrm{\dots}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\U0001d4b6$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathrm{\dots}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$)$}$


0

$\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathcal{A}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$($}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathrm{\dots}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\U0001d4b7$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathrm{\dots}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\U0001d4b6$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathrm{\dots}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$)$}$

=E $\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$m$}$, $\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$n$}$

The notation here is as for $\exists $I. So $\mathcal{A}(\mathrm{\dots}\U0001d4b6\mathrm{\dots}\U0001d4b6\mathrm{\dots})$ is a formula containing the name $\U0001d4b6$, and $\mathcal{A}(\mathrm{\dots}\U0001d4b7\mathrm{\dots}\U0001d4b6\mathrm{\dots})$ is a formula obtained by replacing one or more instances of the name $\U0001d4b6$ with the name $\U0001d4b7$. Lines $m$ and $n$ can occur in either order, and do not need to be adjacent, but we always cite the statement of identity first. Symmetrically, we allow:
Line number

Subproof level

Formula

Justification


$\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$m$}$ 
0

$\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\U0001d4b6$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$=$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\U0001d4b7$}$


$\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$n$}$ 
0

$\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathcal{A}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$($}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathrm{\dots}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\U0001d4b7$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathrm{\dots}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\U0001d4b7$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathrm{\dots}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$)$}$


0

$\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathcal{A}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$($}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathrm{\dots}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\U0001d4b6$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathrm{\dots}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\U0001d4b7$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$\mathrm{\dots}$}\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$)$}$

=E $\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$m$}$, $\colorbox[rgb]{0.992156862745098,0.956862745098039,0.980392156862745}{$n$}$

This rule is sometimes called Leibniz’s Law, after Gottfried Leibniz.
To see the rules in action, we will prove some quick results. First, we will prove that identity is symmetric:
Line number

Subproof level

Formula

Justification


$1$ 
open subproof,
1

$a=b$

AS

$2$ 
1

$a=a$

=I

$3$ 
1

$b=a$

=E $1$, $2$

$4$ 
close subproof,
0

$a=b\to b=a$

$\to $I $1$–$3$

$5$ 
0

$\forall y(a=y\to y=a)$

$\forall $I $4$

$6$ 
0

$\forall x\forall y(x=y\to y=x)$

$\forall $I $5$

We obtain line $3$ by replacing one instance of ‘$a$’ in line $2$ with an instance of ‘$b$’; this is justified given ‘$a=b$’.
Second, we will prove that identity is transitive:
Line number

Subproof level

Formula

Justification


$1$ 
open subproof,
1

$a=b\wedge b=c$

AS

$2$ 
1

$a=b$

$\wedge $E $1$

$3$ 
1

$b=c$

$\wedge $E $1$

$4$ 
1

$a=c$

=E $2$, $3$

$5$ 
close subproof,
0

$(a=b\wedge b=c)\to a=c$

$\to $I $1$–$4$

$6$ 
0

$\forall z((a=b\wedge b=z)\to a=z)$

$\forall $I $5$

$7$ 
0

$\forall y\forall z((a=y\wedge y=z)\to a=z)$

$\forall $I $6$

$8$ 
0

$\forall x\forall y\forall z((x=y\wedge y=z)\to x=z)$

$\forall $I $7$

We obtain line $4$ by replacing ‘$b$’ in line $3$ with ‘$a$’; this is justified given ‘$a=b$’.
Practice exercises
A. For each of the following claims, provide an FOL proof that shows it is true.

1.
$P(a)\vee Q(b),Q(b)\to b=c,\mathrm{\neg}P(a)\u22a2Q(c)$

2.
$m=n\vee n=o,A(n)\u22a2A(m)\vee A(o)$

3.
$\forall xx=m,R(m,a)\u22a2\exists xR(x,x)$

4.
$\forall x\forall y(R(x,y)\to x=y)\u22a2R(a,b)\to R(b,a)$

5.
$\mathrm{\neg}\exists x\mathrm{\neg}x=m\u22a2\forall x\forall y(P(x)\to P(y))$

6.
$\exists xJ(x),\exists x\mathrm{\neg}J(x)\u22a2\exists x\exists y\mathrm{\neg}x=y$

7.
$\forall x(x=n\leftrightarrow M(x)),\forall x(O(x)\vee \mathrm{\neg}M(x))\u22a2O(n)$

8.
$\exists xD(x),\forall x(x=p\leftrightarrow D(x))\u22a2D(p)$

9.
$\exists x\left[(K(x)\wedge \forall y(K(y)\to x=y))\wedge B(x)\right],Kd\u22a2B(d)$

10.
$\u22a2P(a)\to \forall x(P(x)\vee \mathrm{\neg}x=a)$
B. Show that the following are provably equivalent:

‣
$\exists x\left([F(x)\wedge \forall y(F(y)\to x=y)]\wedge x=n\right)$

‣
$F(n)\wedge \forall y(F(y)\to n=y)$
And hence that both have a decent claim to symbolize the English sentence ‘Nick is the $F$’.
C. In chapter 26, we claimed that the following are logically equivalent symbolizations of the English sentence ‘there is exactly one $F$’:

‣
$\exists xF(x)\wedge \forall x\forall y\left[(F(x)\wedge F(y))\to x=y\right]$

‣
$\exists x\left[F(x)\wedge \forall y(F(y)\to x=y)\right]$

‣
$\exists x\forall y(F(y)\leftrightarrow x=y)$
Show that they are all provably equivalent. (Hint: to show that three claims are provably equivalent, it suffices to show that the first proves the second, the second proves the third and the third proves the first; think about why.)
D. Symbolize the following argument

There is exactly one $F$.

There is exactly one $G$.

Nothing is both $F$ and $G$.

∴
There are exactly two things that are either $F$ or $G$.
And offer a proof of it.