سور:

سورهای «هر» و «بعضی» موضوع نخستین نظریه‌ی منطقی، یعنی قیاس ارسطویی، بودند. عبارت «همه‌ی اسپارتی‌ها یونانی‌اند، همه‌ی یونانیان اروپایی‌اند، پس همه‌ی اسپارتی‌ها یونانی‌اند» یک مثال برای قیاس ارسطویی است. در چنین استنتاجاتی هیچ سوری زیر سیطره‌ی دیگری نیست. نقطه‌ی مقابل آن‌ها جمله‌ای همچون «هرکسی کسی را دوست دارد» است. غالبا گفته شده است که منطق مدرن هنگامی آغاز شد که فرگه برای نخستین‌بار منطق سورها را نظام‌مند کرد. به‌طورکلی بخش اعظم آنچه طی قرن‌ها منطق تلقی شده است به‌واقع مطالعه‌ی سورها بوده است. این مطلب به‌خصوص در حوزه‌‌ای از منطق وضوح دارد که به نظریه‌ی تسویر، منطق محمولات مراتب پایین یا منطق مقدماتی مشهور است. حتی بعضی از فیلسوفان در پی این بوده‌اند که دامنه‌ی منطق را به چنین مطالعه‌ای درباره‌ی سورها محدود کنند.

منبع:

Hintikka, Jaakko. (2005). Quantifiers, In Craig, Edward. (ed), 2005, The Shorter Routledge Encyclopedia of Philosophy, Routledge