Логика. Краткий курс

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

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

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

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

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