|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||Berka I 41
universal quantification / existential quantification / all / there is a / Peirce: the difference between the two forms is exactly the same between truth and falsehood - i.e. it is descriptive, not metric (gradually).
Ch. S. Peirce
Philosophical Writings 2011
K. Berka/L. Kreiser
Logik Texte Berlin 1983