15.4. EXISTS() and Quantifiers
Formal logic makes use of quantifiers that can be applied to propositions. The two forms are “For all x, P(x)” and “For some x, P(x)”. The first is written as {{inverted uppercase A }} and the second is written as {{reversed uppercase E}}, if you want to look up formulas in a textbook. The quantifiers put into symbols such statements as “all men are mortal” or “some Cretans are liars” so they can be manipulated.
The big question more than 100 years ago was that of existential import in formal logic. Everyone agreed that saying “all men are mortal” implies that “no men are not mortal,” but does it also imply that “some men are mortal”—that we have to have at least one man who is mortal?
Existential import lost the ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access