|Quantifiers: in the predicate logic, quantifiers are the symbol combinations (Ex) and (x) for the set of objects to which one or more properties are attributed to. A) Existence quantification (Ex)(Fx) ("At least one x"). B) Universal quantification (x)(Fx) ("Everything is F"). For other objects e.g. y, z,… are chosen. E.g. (x) (Ey) (Fx > Gy). See also quantification, generalized quantifiers._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |
|P. Lorenzen Ein dialogisches Konstruktivitätskriterium (1959) in Karel Berka/L. Kreiser Logik Texte Berlin, 1983
Berka I 269
Existential quantification: whoever claims (Ex)A(x), must claim A(n) for an n chosen by himself. (s) It does not matter whether proponent or opponent.
Universal quantification: whoever claims (x)A(x) must claim A(n) for every n chosen by the opponent._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.
Constructive Philosophy Cambridge 1987
K. Berka/L. Kreiser
Logik Texte Berlin 1983