|Universal quantification: an operator, which indicates that the following expression is a statement about all the objects in the considered domain. Notation "(x)" or "∀x". Ex. E.g. (x) (Fx ∧ Gx) everyday language "All Fs are Gs." .- Antonym|
Books on Amazon
|Universal Quantification||I 123
inferential / non-inferential / Peacocke: E.g. quantification is the truth of a case of universal quant. non-inferentially, but - The truth of the form of the universal quantification is inferential. Difference: Form of univ. quantification / case of an univ. quantification.
Chr. R. Peacocke
Sense and Content Oxford 1983