4.1.2. Условия на справедливост; проблемът с екзистенциалното тегло
При какви условия са верни твърденията от този аристотелов тип? За да отговорите на въпроса, струва си да въведете концепция. В обхвата на общ термин имаме предвид съвкупността от отделни неща, които попадат в него. Обхватът на човешкия термин е например набор от хора и т.н. Във връзка с тези набори ние формулираме условията за истинност за всеки тип настройка. Универсалните нагласи са най-проблемните; затова нека започнем преговорите с тях.
В историята на логиката е имало много противоречия по въпроса дали следва частична двойка от универсално твърдение и дали следното заключение от една предпоставка е правилно:
Всеки два и половина по-високи хора се борят с гръбначни проблеми.
И така: Някои хора, които са по-високи два метра и половина, имат проблеми с гръбначния стълб.
Разбира се, ако има двама души и половина по-високи и всички те имат проблеми с гръбначния стълб, тогава също е вярно, че някои от тях имат проблеми с гръбначния стълб. Какво обаче се случва, когато няма такива хора. В този случай трябва ли да считаме нашия универсален подход за верен или фалшив? Въпросът стига много далеч. Тук ще се задоволим с няколко опростени отговора.
1. Първата възможност е да считаме едно универсално твърдение за вярно тогава и само ако няма контрапример. Така, например, всички човешки смъртни са верни, ако сред хората няма човек, който да не принадлежи на смъртните; така че ако частта от термина на човека извън обхвата на смъртния термин е празна. Това може да бъде добре илюстрирано от така наречената диаграма на Вен:
Обхватът на двата термина трябва да бъде представен чрез кръгове, а разликата между хората и смъртните - тоест съвкупността от хора, които не принадлежат към смъртните. Фактът, че този диапазон е празен, е посочен от сатира.
Ако приемем този първи вариант, нашето заключение за високи хора не се счита за правилно: ако няма двама и половина по-високи хора,
Всеки два и половина по-високи хора се борят с гръбначни проблеми.
трябва да приемем твърдението като вярно, тъй като няма контрапример; за разлика от тях