- Existential quantification (Wikipedia)
In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as “there exists”, “there is at least one”, or “for some”. It is usually denoted by the logical operator symbol ∃, which, when used together with a predicate variable, is called an existential quantifier ("∃x" or “∃(x)” or “(∃x)”). Existential quantification is distinct from universal quantification (“for all”), which asserts that the property or relation holds for all members of the domain. Some sources use the term existentialization to refer to existential quantification.
- Zeno of Citium (Wikipedia)
Zeno of Citium (/ˈziːnoʊ/; Koinē Greek: Ζήνων ὁ Κιτιεύς, Zēnōn ho Kitieus; c. 334 – c. 262 BC) was a Hellenistic philosopher from Citium (Κίτιον, Kition), Cyprus. He was the founder of the Stoic school of philosophy, which he taught in Athens from about 300 BC. Based on the moral ideas of the Cynics, Stoicism laid great emphasis on goodness and peace of mind gained from living a life of virtue in accordance with nature. It proved very popular, and flourished as one of the major schools of philosophy from the Hellenistic period through to the Roman era, and enjoyed revivals in the Renaissance as Neostoicism and in the current era as Modern Stoicism.