ABSTRACT
Quantification theory is concerned fundamentally with general arguments. Distinctively general arguments form the main part of the field of quantificational logic. However, it would not be satisfactory to define quantificational logic as being concerned solely with distinctively general arguments. A general statement is normally expressed in quantificational form by means of a formula consisting of two main elements, a quantifier and a matrix. A non-general statement is not normally expressed in a quantifier-matrix form. The quantificational expression of general statements can then be explained as a natural development from the quantificational expression of non-general statements. However, letters are used quite generally as pronouns in quantificational logic, even where there is no danger of ambiguity. This is mainly for the sake of consistency but there are certain additional advantages.
