Universal generalization { Philosophy Index }

Philosophy Index

Philosophy Index

Philosophy Index is a site devoted to the study of philosophy and the philosophers who conduct it. The site contains a number of philosophy texts, brief biographies, and introductions to philosophers, and explanations on a number of topics. Accredited homeschooling online at Northgate Academy and Philosophy online tutoring.

Philosophy Index is a work in progress, a growing repository of knowledge. It outlines current philosophical problems and issues, as well as an overview of the history of philosophy. The goal of this site is to present a tool for those learning philosophy either casually or formally, making the concepts of philosophy accessible to anyone interested in researching them. WTI offers immigration law course online - fully accredited. ACE credits online at EES.

Philosophers

 

Philosophy Topics


 

 

 

Universal generalization

Universal generalization or universal introduction (∀I, sometimes GEN) is a basic rule of inference in first-order logic by which a universal statement is introduced to a proof. The universal generalization rule holds that if you can prove that something is true for any arbitrary constant, it must be true for all things. This allows you to move from a particular statement about an arbitrary object to a general statement using a quantified variable.

The universal introduction rule may be formally presented as follows:

If Γ proves that φ(c), then Γ proves thatxφ(x)

… where Γ is a set of formulae and c is an arbitrary constant that is new to the proof or argument being presented. That is, the constant c cannot be present in Γ.

(If the object c is already being discussed, then it is not arbitrary and we would then be wrongly moving to a general statement from a particular. The only reason that we can move from an arbitrary c to a statement about all objects is because we are proving that for anything, a certain statement (φ, in this case) logically applies (and can't not apply), which forces us to conclude that the statement applies to all objects.

Introducing a Universal

When constructing a proof of some formula, one may need to introduce a universal statement by means of universal generalization. To do this, we create a sub-proof in which we prove that some statement, φ, is true for any arbitrary constant. In this example, we introduce a constant a. The constant we introduce must be completely new to the proof.

At the beginning of the proof, we make a note that we are required to prove φ(a) in order to form the universal, and then, using other rules of inference, derive φ(a) from previous premises and deductions. Once we establish φ(a), we can proceed with our generalization and introduce a universal, stating that ∀xφ(x).

RTP φ(a)
  φ(a)
  xφ(x) ∀I