2. Категоричні судження

Як видно, всі подібні судження мають кількісне вираз (містять вказівку на предмети, що містяться в них). Тому для зручності було виведено типологію (об'єднану класифікацію) таких суджень. Ця класифікація складається із чотирьох пунктів.Перший представлений загальноствердними судженнями. Як видно з назви, такі судження є ствердними та загальними. Відповідно, структура такого судження «Всі S є Р». Наприклад, «Всі люди – ссавці».

Другий тип суджень називається приватноствердним. Він має структуру «Деякі S є Р». Наприклад, «Деякі спортсмени – сноубордисти».

Усі зазначені типи суджень мають буквене відображення. У випадку із загальноствердним та приватноствердним це букви A та I відповідно. Загальнонегативні судження позначаються як Е, а приватнонегативні як О. Ці букви взяті зі слів affirmo («стверджую») і nego («заперечую»).

Розподіл терміну може залежати від типу судження. Можливі випадки, коли суб'єкт судження нерозподілений, на відміну предиката. Наприклад, у судженні «Деякі спортсмени – біатлоністи» суб'єктом є термін «спортсмени», предикатом – «біатлоністи», а кванторним словом – «деякі». Обсяг поняття (терміну), що є у разі предикатом, вже, ніж обсяг суб'єкта судження. Відношення між цими двома поняттями можна висловити за допомогою кіл Ейлера. При цьому коло, що відображатиме предикат, буде повністю вписано у велике коло суб'єкта. Суб'єкт тут нерозподілений, оскільки у ньому мислиться лише частина спортсменів (біатлоністи), а предикат — розподілено, оскільки термін «біатлоністи» повністю входить у обсяг поняття «спортсмены».

Наведене вище судження єприватноствердним. Судження «Деякі боксери — чемпіони світу» характеризується тим, що його суб'єкт, і предикат нерозподілені. Висловлюючи дані судження у вигляді кіл Ейлера, ми отримуємо два радіуси, що перетинаються, жоден з яких не включений в об'єм іншого повністю, адже тільки частина боксерів є чемпіонами світу, але при цьому не всі чемпіони — боксери.

Судження «Всі квадрати — прямокутники»загальноствердне. Тут суб'єктом є поняття «квадрати», предикатом — «прямокутники». Кванторне слово - "все". Предикат в даному випадку ширший за суб'єкт і повністю включає останній у свій обсяг. Так, всі квадрати прямокутники, але не всі прямокутники є квадратами. Отже, суб'єкт цього судження розподілено, тоді як предикат — не розподілено. Якщо змінити дане судження, можна отримати випадок взаємної розподілу суб'єкта і предикату. Додамо до судження слово "рівносторонні" і отримаємо таке: "Всі квадрати - рівносторонні прямокутники". У разі обсяги двох понять рівні, вони повністю включені друг в друга. Розподіл понять відображається в схемах, де знаком «плюс» (+) виражається розподіл поняття, а нерозподіл - знак «мінус» (-).

Перейдемо від ствердних до негативних понять.Приватнонегативні судження мають структуру «Деякі S не є Р». У судженні «Деякі військовослужбовці є інженерами» суб'єктом є поняття «військовослужбовці», предикатом — «інженери», кванторне слово — «деякі». Суб'єкт нерозподілений, оскільки у його обсязі ми маємо на увазі лише частину військовослужбовців, тоді як предикат відбиває всіх інженерів, жоден із яких є частиною обсягу суб'єкта. На круговій схемі Ейлера ця думка відображається як два перетинаютьсякола. Жоден із них не входить повністю до обсягу іншого. На цьому прикладі видно, що іноді можна припуститися помилки. Це з зовнішньої схожістю кругових схем частноотрицательных і частноутвердительных суджень. У цьому випадку помилка може бути такою: на підставі того, що суб'єкт та предикат характеризуються взаємним перетином, можна неправильно визначити ці терміни як нерозподілені. Говорячи простою мовою, відзначимо, що у цьому судженні ми розглядаємо всю сукупність військовослужбовців (S), лише ту частина, яка є інженерами (Р). У предикаті ми мислимо всіх інженерів, жоден з яких не включений в обсяг суб'єкта. Так як суб'єкт не містить жодного інженера, у предикаті мислиться вся сукупність людей цієї професії. Отже, предикат на відміну суб'єкта розподілено.

Загальнонегативні судження мають структуру «Жоден S не є Р». Судження «Жодна людина не є птахом» є загальнонегативним. Тут як суб'єкт, і предикат розподілені повністю. Це з тим, що обсяги понять «людина» і «птиця» не перетинаються, вони цілком виключені одне з одного. На круговій схемі відношення між даними поняттями виглядає як два кола, що стоять поряд, але не перетинаються один з одним.

Розглянувши всі зазначені випадки, можна зробити висновок про закономірність, що намітилася.Розподіл суб'єкта і предикату залежить від типу судження. Суб'єкт розподілений у загальних судженнях, але не розподілений у приватних. Щодо предикату можна сказати, що він розподілений у ствердних і негативних судженнях, проте якщо в негативних він розподілений завжди, то в ствердних, тільки якщо він за обсягом дорівнює суб'єкту або якщо обсяг суб'єкта ширший.