Quantifiers

‘(x) Fx’ is usually read long the lines of ‘For all x, Fx’, and ‘(∃x)Fx’ along the lines of ‘For some x, Fx’ or, more accurately, ‘For at least one x, Fx’; ‘(…)’ is generally known as the universal, ‘(∃ …)’ as the existential, quantifier. A variable inside the scope of a quantifier, such as ‘x’ in ‘... View More