Особый интерес к категорическим высказываниям объясняется прежде всего
тем , что с исследования их логических связей началось развитие логики
как науки. Кроме того высказывания этого типа широко используются в
наших рассуждениях.
Категорическое высказывание – это высказывание, в котором утверждается
или отрицается наличие какого-то признака у всех или некоторых предметов
рассматриваемого класса.
например в высказывании “Все динозавры вымерли” всем динозаврам (или,
что тоже самое, каждому из динозавров) приписывается признак “быть
вымершими”. В высказывании “некоторые динозавры летали” способность
летать приписывается некоторым динозаврам. В высказывании все кометы не
астероиды отрицается наличие признака быть астероидом у каждой из комет.
В высказывании “некоторые животные не являются травоядными” отрицается
травоядность некоторых животных.
Если отвлечься от количественной характеристики, содержащейся в
категорическом высказывании и выражающейся словами “все” и “некоторые”,
то получится два варианта таких высказываний: утвердительный и
отрицательный. Их структура:
“S есть P” и “S не есть P”,
где буква S представляет имя того предмета, о котором идет речь в
высказывании, а буква P – имя признака, присущего или не присущего этому
предмету.
Предмет, о котором говорится в категорическом высказывании, называется
субъектом, а его признак – предикатом. Субъект и предикат именуются
терминами категорического высказывания и соединяются между собой
связками “есть” или “не есть” (“является” или “не является” и т.п.).
Например, в высказывании “Солнце есть звезда” терминами являются имена
“Солнце” и “звезда” (первый из них – субъект высказывания, второй – его
предикат), а слово “есть” – связка.
Простые высказывания типа “S есть P” называются атрибутивными: в них
осуществляется атрибуция (приписывание) какого-то свойства предмету.
В категорическом высказывании не просто устанавливается связь предмета и
признака, но и дается определенная характеристика субъекта высказывания.
В высказываниях типа “Все S есть P” слово “все” означает “каждый из
предметов соответствующего класса”. В высказываниях типа “Некоторые S
есть (не есть) P” слово “некоторые” употребляется в не исключающем
смысле и означает “некоторые, а может быть все”. В исключающем смысле
слово “некоторые” означает “только некоторые”, или “некоторые, но не
все”.
Таким образом, возможны четыре вида категорических высказываний:
“Все S есть P”
“Некоторые S есть P”
“Все S не есть P”
“Некоторые S не есть P” – общеутвердительное высказывание (обозначается
буквой A);
– частноутвердительное высказывание (обозначается буквой I);
– общеотрицательное высказывание (обозначается буквой E);
– частнотрицательное высказывание (обозначается буквой O);
Каждое из этих выражений является логической постоянной (логической
операцией), позволяющей из двух имен получить высказывание. Аристотель
истолковывал рассматриваемые четыре выражения именно как логические
постоянные, не имеющие самостоятельного содержания и позволяющие из двух
обладающих содержанием имен получать содержательные, являющиеся
истинными или ложными, высказывания.
В традиционной логике предполагалось также, что имена, подставляемые
вместо переменных, не должны быть единичными или пустыми. Иначе говоря,
высказывания типа “Платон – человек”, “Все золотые горы – это горы” не
относятся к категорическим в традиционном смысле, поскольку “Платон” –
единичное имя, а “золотые горы” – пустое имя.
А теперь перейдем непосредственно к предмету, рассматриваемому в данном
реферате.
Категорический силлогизм (или просто: силлогизм) – это дедуктивное
умозаключение, в котором из двух категорических высказываний выводится
новое категорическое высказывание.
Логическая теория такого рода умозаключений называется силлогистикой.
Она была создана еще Аристотелем и долгое время служила образцом
логической теории вообще.
Нашли опечатку? Выделите и нажмите CTRL+Enter