Категорическое высказывание – это высказывание, в котором утверждается или отрицается наличие какого-то признака у всех или некоторых предметов рассматриваемого класса.
Если отвлечься от количественной характеристики, содержащейся в категорическом высказывании и выражающейся словами «все» и «некоторые», то получится два варианта таких высказываний: утвердительный и отрицательный. Их структура:
«S есть Р» и «S не есть Р»,
где буква S представляет имя того предмета, о котором идет речь в высказывании, а буква Р – имя признака, присущего или не присущего этому предмету.
Имя предмета, о котором говорится в категорическом высказывании, называется субъектом, а имя его признака – предикатом. Субъект и предикат именуются терминами категорического высказывания и соединяются между собой связками «есть» или «не есть» («является» или «не является» и т.п.).
В категорическом высказывании не просто устанавливается связь предмета и признака, но и дается определенная количественная характеристика субъекта высказывания. В высказываниях типа «Все S есть (не есть) Р» слово «все» означает «каждый из предметов соответствующего класса». В высказываниях типа «Некоторые S есть (не есть) Р» слово «некоторые» употребляется в неисключающем смысле и означает «некоторые, а может быть, все». В исключающем смысле слово «некоторые» означает «только некоторые», или «некоторые, но не все». Различие между двумя смыслами этого слова можно продемонстрировать на примере высказывания «Некоторые звезды есть звезды». В неисключающем смысле оно означает «Некоторые, а возможно, и все звезды есть звезды» и является, очевидно, истинным. В исключающем же смысле данное высказывание означает «Лишь некоторые звезды являются звездами» и является явно ложным.
10.Распределенность терминов в категорическом высказывании. Логический квадрат.
В категорических высказываниях утверждается или отрицается принадлежность каких-то признаков рассматриваемым предметам и указывается, идет ли речь обо всех этих предметах или же о некоторых из них. Возможны, таким образом, четыре вида категорических высказываний:
Все S есть Р – общеутвердительное высказывание,
Некоторые S есть Р – частноутвердительное высказывание,
Все S не есть Р – общеотрицательное высказывание,
Некоторые S не есть Р – частноотрицательное высказывание.
Отношения между терминами в четырех видах категорических высказываний представляются с помощью кругов Эйлера следующим образом:
