Логика. Краткий курс. Юрий Васильевич Ивлев

в следующем году будет солнечное затмение. (3) Неверно, что в будущем году будет солнечное затмение. (4) Каждый человек способен получить среднее образование.

      Ответ. Суждение (1) сложное. Суждения (2) и (3) тоже сложные, так как из второго суждения, как и из третьего, можно образовать суждение «В следующем году будет солнечное затмение». Четвертое суждение простое, поскольку, если отбросить слово «каждый», то будет получено выражение «Человек способен получить высшее образование», не являющееся суждением, поскольку не ясно без контекста, о любом человеке идет речь или о некоторых людях.

      Среди простых суждений выделяют атрибутивные, или категорические, суждения и суждения об отношениях.

      Атрибутивные (категорические) суждения. Атрибутивными называются суждения, в которых выражается принадлежность предметам свойств или отсутствие у предметов каких-либо свойств. Атрибутивные суждения можно истолковать как суждения о полном или частичном включении или не включении одного множества предметов в другое или как суждения о принадлежности или непринадлежности предмета классу предметов.

      Примеры: «Некоторые учащиеся являются несовершеннолетними». «Ни один кит не является рыбой». «Аргентина – республика». В каждом атрибутивном суждении есть субъект (логическое подлежащее), предикат (логическое сказуемое) и связка (в предложениях русского языка, выражающих атрибутивные суждения, связка иногда лишь подразумевается), а в некоторых имеются еще и так называемые кванторные (количественные) слова («некоторые», «все», «ни один» и др.). Субъект и предикат называются терминами суждения.

      Субъект часто обозначается латинской буквой S или s (от лат. subjectum)15, а предикат – Р (от лат. praedicatum). В суждении «Некоторая наука не является гуманитарной» субъект (S) – «наука», предикат (P) – «гуманитарная», связка – «не является», а «некоторая» – кванторное слово.

      Атрибутивные суждения делятся на виды «по качеству» и «по количеству».

      По качеству они делятся на утвердительные и отрицательные. В утвердительных выражается полное или частичное включение класса предметов в класс предметов или же принадлежность некоторого предмета классу предметов. В отрицательных – невключение класса (части класса) в некоторый класс предметов, непринадлежность предмета классу предметов. Суждение «Полынь является лекарственным растением» – утвердительное, а суждение «Солнце не является планетой» – отрицательное.

      По количеству атрибутивные суждения делятся на единичные, общие и частные. В единичных суждениях выражается принадлежность или непринадлежность предмета классу предметов. Пример: «Австрия – европейская страна». В общих – включение или невключение класса предметов в класс. Примеры: «Все металлы являются электропроводными». «Ни одна звезда не является обитаемой». В частных суждениях выражается частичное включение или невключение класса предметов в класс предметов. Примеры: «Некоторые спортсмены

15

Заглавными латинскими буквами обозначаются общие имена, а строчными – единичные.