Abbreviate: Existential Statement to ES, Existential Instantiation to EI, Universal Instantiation to UI, and Universal Statement to US.

Source: A Concise Introduction to Logic (12 Ed, 2014) by Patrick Hurley

enter image description here

[p 468:] [...] Notice that the line involving existential instantiation is listed before the line involving universal instantiation. There is a reason for this. If the order were reversed, the existential instantiation step would rest on the illicit assumption that the something that is both an A and a G has thesamename as the name used in the earlier universal instantiation step. In other words, it would involve the assumption that the something that is both an A and a G is the very same something named in the line Ad ⊃ Cd. Of course, no such assumption is legitimate. To keep this mistake from happening, we introduce
[p 469:] These two restrictions can easily be combined into a single restriction that requires that the name introduced by existential instantiation be a new name that has not occurred in any previous line, including the line adjacent to the last premise that indicates the conclusion to be derived.

I recognise the possible problem that I coloured grey in the above quote; but how is it a genuine problem? And why does it necessitate EI always to precede UI?
I agree that writing EI before UI is visually convenient, but does the grey above exaggerate?

To me, the illicit assumption can be evaded simply by knowledge of EI vs UI. Only US (Line 1) are true for ANY value of x; so only US empower you to choose whatever Constant (ie: letter) you need, such as the specific Constant needed to match the Constants in any subsequent PS. One must start always by applying EI to the ES (Line 2) which generates the first Constant, before one can even know which Constant needs to be matched from applying UI to the US.

So knowing the previous sentences, how can someone be confused by whether the 'something' in EI is identical to what is named in the UI? If they are not identical, then EI and UI would use different Instantial Letters to name the 'something'!


Is it really problematic for Universal Instantiation to precede Existential Instantiation?

Of course not.

The issue is that if we start "instantiating" ∀x first, then when instantiating ∃x we cannot use the same name used into UI, in order to comply with the proviso of EI that:

"the name introduced by existential instantiation [must] be a new name".

This means that we will have e.g.

i) Ad ⊃ Cd --- from 1. by UI


ii) Ae ∧ Be --- from 2. by EI [e new, by the proviso]

and we cannot conclude; in order to "move on", we have to instantiate again 1. with the newly introduced name e.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.