1. Existential Elimination
Kareem Khalifa
Department of Philosophy
Middlebury College

2. Overview An example Existential Elimination: 3 Steps
Qualifications and tricks
Examples

3. An example
Somebody in this class is a musician and a soccer player. Therefore, someone is a musician.
x(Cx&(Mx&Sx))├ xMx
This is clearly valid, yet we don’t have a way of proving that it’s valid.

4. A (quasi-)commonsensical way of proving this…
For the sake of argument, let’s call the soccer-playing musician in our class Miles. Now since Miles is a musician, it follows that someone is a musician. So, we’ve proven our argument.
Existential Elimination (E) codifies the reasoning implicit in this passage.

5. Existential Elimination, Step 1 of 3
Begin with a given statement in which  is the main operator.
Our example:
Somebody in this class is a musician and a soccer player.
x (Cx&(Mx&Sx)) A

6. Step 2 of 3
Hypothesize for E by taking the statement from Step 1, removing the , and replacing all instances of the variable associated with  with a name that has not been used elsewhere in the derivation.
x (Cx&(Mx&Sx)) A
| Cm & (Mm & Sm) H for E

7. Step 3 of 3
Derive your desired conclusion, and exit the world of hypothesis by repeating the last line in the world of hypothesis and citing the lines constituting your hypothetical derivation, plus the line in Step 1.

8. Example of Step 3 1. x(Cx&(Mx&Sx)) A 2. | Cm & (Mm & Sm) H for E
WTP:
xMx
INSPIRATION
1. x(Cx&(Mx&Sx)) A
2. | Cm & (Mm & Sm) H for E
3. | Mm & Sm 2 &E
4. | Mm &E
5. | xMx I
6. xMx , 2-5 E
DERIVATION
Notice that all E’s “stutter”
However, they have an extra number in the last line.
…but are otherwise structured like other hypothetical derivations (~I, I)
 ELIMINATION

9. Example of Step 3 1. x(Cx&(Mx&Sx)) A 2. | Cm & (Mm & Sm) H for E
WTP:
xMx
Someone in this class is a soccer-playing musician
1. x(Cx&(Mx&Sx)) A
2. | Cm & (Mm & Sm) H for E
3. | Mm & Sm 2 &E
4. | Mm &E
5. | xMx I
6. xMx , 2-5 E
For the sake of argument, let’s call him Miles
Since Miles is a musician…
….someone is a musician.

10. Special qualifications to the Las Vegas Rule…
A name used in a hypothesis for E cannot leave the world of hypothesis.
So the following is not legitimate:
1. x(Cx&(Mx&Sx)) A
2. | Cm & (Mm & Sm) H for E
3. | Mm & Sm 2 &E
| Mm &E
Mm ,2-4 E
Think about what this inference says: Someone in the class is a soccer-playing musician. So Miles is a musician. Clearly invalid!

11. Further qualifications…
It’s also illegitimate to use a name that appears outside of the world of hypothesis in forming your initial hypothesis for E.
x(Cx & (Mx & Sx)) A
Ma A
|Ca & (Ma & Sa) H for E

12. Important word of caution
Existential elimination is probably the trickiest rule to implement in a proof strategy.
It doesn’t provide easy fodder for reverse engineering.

13. An important trick…
EFQ is really helpful, particularly when you have an E nested inside of a ~I.
The way to think about this:
In the ~I world of hypothesis, you want a contradiction
So the entire purpose of hypothesizing for E is to get this contradiction.

14. Example: Nolt 8.2.7 ├ ~x(Fx&~Fx) 1. | x(Fx&~Fx) H for ~I
2. | |Fa & ~Fa H for E
3. | |Fa &E
4. | |~Fa &E
5. | | P&~P 3,4 EFQ
6. | P & ~P 1,2-5 E
7. ~x(Fx&~Fx) ~I

15. More examples: Nolt 8.2.1 x(Fx&Gx) ├ xFx & xGx 1. x(Fx&Gx) A
2. | Fa & Ga H for E
3. | Fa &E
4. | xFx I
5. | Ga &E
6. | xGx I
7. | xFx & xGx 4,6 &I
8. xFx & xGx 1, 2-7 E

16. Nolt 8.2.3 xFx → Ga ├ Fb→xGx 1. xFx → Ga A 2. |Fb H for →I
3. |xFx I
4. |Ga ,3 →E
5. |xGx I
6. Fb→xGx →I

17. Nolt 8.2.4 x~~Fx ├ xFx 1. x~~Fx A 2. |~~Fa H for E 3. |Fa 2 ~E
4. |xFx I
5.xFx , 2-4 E
Note that you HAVE to use ~E or else you won’t have the right kind of lines to trigger E

18. Nolt 8.2.8 ├ xFx ↔ yFy 1. | xFx H for →I 2. | |Fa H for E
3. | |yFy I
4. |yFy 1,2-3 E
5. xFx → yFy →I
6. |yFy H for →I
7. | |Fa H for E
8. | |xFx I
9. |xFx 6,7-8 E
10.yFy → xFx →I
11. xFx ↔ yFy 5,10 I

19. Nolt 8.2.9 x(Fx v Gx) ├ xFx v xGx 1. x(Fx v Gx) A
2. |Fa v Ga H for E
3. | |Fa H for →I
4. | |xFx I
5. | |xFx v xGx 4 vI
6. |Fa →(xFx v xGx) →I
7. | |Ga H for →I
8. | |xGx I
9. | |xFx v xGx vI
10. |Ga→(xFx v xGx) →I
11. |xFx v xGx 2,6,10 vE
12. xFx v xGx 1, 2-11 E