Логическая теория имен находит применение в разделе логики, который называется силлогистикой (от греч. sillogistikos – выводящий умозаключение).
В силлогистике рассматриваются выводы на основе атрибутивных высказываний. Атрибутивным(от лат. atributum – присовокупление) называется высказывание, в котором выражается принадлежность или непринадлежность свойства некоторым предметам.
Структура атрибутивного высказывания:
Субъект (обозначается буквой S) – это часть высказывания, которой обозначается предмет мысли.
Предикат (обозначается буквой P) фиксирует свойство предмета мысли.
Связкаустанавливает, в каком отношении находятся между собой предмет и свойство.
Субъект и предикат называются терминамиатрибутивного высказывания.
Всякое атрибутивное высказывание имеет качественно-количественные характеристики. Различение атрибутивных высказываний по качеству производится в зависимости от характера связки, указывающей на наличие или отсутствие связи свойства с предметом мысли и выражающейся словами «есть», «суть», «является», «не является» и др. (в письменной речи эти слова иногда опускаются и заменяются тире). В соответствии с этим атрибутивные высказывания делятся на утвердительные и отрицательные.
В атрибутивном высказывании что-то утверждается или отрицается либо об одном предмете, либо о части предметов, либо о всех предметах определенного класса. В зависимости от этого атрибутивные высказывания делятся по количеству – на единичные, частные и общие.
Высказывания, в которых идет речь о принадлежности или непринадлежности свойства единичному предмету, называютсяединичными.
Высказывания, в которых говорится о принадлежности или непринадлежности свойства некоторым предметам рассматриваемого класса, называются частными.
Высказывания, в которых выражается принадлежность (непринадлежность) свойства всем предметам рассматриваемого класса, называются общими.
Объединенная классификация атрибутивных высказываний по качеству и количеству.
Высказывания, являющиеся одновременно общими и утвердительными, называются общеутвердительными. SaP
Высказывания, являющиеся одновременно частными и утвердительными, называются частноутвердительными. SiP
Высказывания, являющиеся одновременно общими и отрицательными, называются общеотрицательными. SeP
Высказывания, являющиеся одновременно частными и отрицательными, называются частноотрицательными. SoP
Распределенность терминов в атрибутивном высказывании
Термин распределен, если и только если его объём полностью включается в объём другого термина или полностью исключается из него. В противном случае термин нераспределен. Для распределенного термина характерно кванторное слово «все», а для нераспределенного – «некоторые» (см. таблицу ниже).
Таблица
|
S |
P |
|
|
SaP |
+ |
— |
|
SeP |
+ |
+ |
|
SiP |
— |
— |
|
SoP |
— |
+ |
Таким образом, распределенными являются субъекты общих и предикаты отрицательных высказываний, а нераспределенными – субъекты частных и предикаты утвердительных высказываний (за некоторыми исключениями).