Признак: Характер предиката:
1) Атрибутивные. (Atributio – свойство, признак предмета) – суждения о признаке предмета. Например, «асфальт мягкий». То есть, быть мягким принадлежит асфальту. Это признак.
2) Релятивные (Relativus – отношение) – суждение об отношениях между понятиями. Например, Маша старше Пети. Отношение возраста.
3) Экзистенциальные (existentia – существование) – суждение о существовании предметов. Например, «жизнь на Марсе существует».
Мы будем релятивные и экзистенциальные сводить к атрибутивным. Например, «Маша старше Пети», после переведения: «Маша является человеком, который является старше Пети»
Простые атрибутивные суждения делятся на 2 вида:
1) Категорические – суждения, в которых однозначно говорится о принадлежности или не принадлежности признаков предмета. Например, «Все бобры строят плотину».
2) Модальные – это суждения, которые содержат модальные операторы (необходимо, возможно, случайно, вероятно).
В нашем курсе будем изучать только простые категорические суждения.
Признак: Характер субъекта (По количеству):
1) Общие. Например, «все кролики любят морковку».
2) Частные. Например, «Некоторые преступления не умышленные».
3) Единичные. Например, «Сократ смертен». (Будем приравнивать к общим по формальной структуре).
Признак: По качеству (По связке). Под качеством понимается утвердительное суждение или нет:
1) Утвердительные. Например, «Все студенты мечтают сдать логику».
2) Отрицательные. Например, «Ни один студент не хочет провалить экзамен».
Объединенная классификация простых, объединенных, атрибутивных суждений по количеству и качеству:
1) Общеутвердительные суждения. Обозначаются (А). Формальная структура: «Все S есть P». Например, «все кролики есть травоядные».
2) Частноутвердительные (I). Формальная структура: «Некоторые S есть P». Например, «Некоторые преступления есть умышленные».
3) Общеотрицательные (Е). Формальная структура: «Ни один S не есть Р». Например: «Ни один студент 111 группы не является совершеннолетним». Кванторное слово «ни один, никакой» используется только в общеутвердительном суждении. Но его можно заменить на другой такой же по смыслу.
4) Частноотрицательные (О). Формальная структура: «Некоторые S не есть Р». Например, «Некоторые птицы не являются перелетными».