называться высказываниями типа a (первая буква латинского слова «affirmo» — утверждаю), частноутвердительные стали называться высказываниями типа / (вторая гласная в том же слове), общеотрицательные стали относиться к высказываниям типа е (первая гласная буква в слове «nego» — отрицаю), а частноотрицательные — к высказываниям типа о (вторая гласная в слове «nego»). Эти обозначения оказались удобным средством сокращенного представления в языке ассерторических и модальных высказываний. Пользуясь ими, часто логическую структуру первых четырех типов высказываний выражают следующими соответственно формулами: cuz?, ae?, a/?, ao?. К настоящему времени силлогистика сформировалась как совокупность различных логических систем, которые можно подразделить на классы в зависимости от того, какого типа атрибутивные высказывания содержатся в языке системы, какого типа термины могут являться субъектами и предикатами этих высказываний, а также в зависимости от интерпретации самих атрибутивных высказываний. Аристотель и средневековые логики рассматривали два ища силлогистических теорий — ассерторическую и модальную. Часто под термином «силлогистика» имеют в виду именно ассерторическую силлогистику. В ее язык входят лишь ассерторические атрибутивные высказывания, в язык же модальной силлогистики входят как ассерторические, так и модальные высказывания. Силлогистика называется позитивной, если в ней не учитывается внутренняя структура терминов. Иначе говоря, каждый термин (субъект и предикат) трактуется как элементарное выражение, неразложимое на составные части. Если в языке теории содержится единственный термообразующий оператор терминного отрицания, позволяющий построить новый термин, являющийся отрицанием исходного, то такая система относится к негативной силлогистике. При этом с отрицательными терминами, скажем Р', связываются те предметы из универсума, которые не обладают свойством Р. Этот класс принято называть дополнением к Р в универсуме U. Если кроме этого вводятся и другие терминные операторы — сложение (объединение классов) и умножение (пересечение классов), то такая система называется расширенной силлогистикой. Если в системе допускается использование сингулярных терминов, то такая силлогистика называется сингулярной. В зависимости от характера интерпретации терминов, все силлогистические теории делятся на экзистенциальные и неэкзистенциальные. В первых запрещается использование пустых терминов, во вторых такого ограничения нет. Описанные выше виды атрибутивных высказываний относятся к числу простых высказываний. Но, применяя к ним логические операции, выражаемые пропозициональными связками, можно из простых высказываний строить сложные силлогистические высказывания. Напр., можно отрицать то или иное высказывание, строить из них конъюнктивные высказывания и т. д. В каждой силлогистике тем или иным способом задаются условия истинности атрибутивных высказываний. Обычно это делается с помощью т. н. кругов Эйлера (или диаграмм Венка), которые выступают в качестве модельных схем истинности атрибутивных высказываний. Напр., в традиционной силлогистике, которая является экзистенциальной системой, термины рассматриваются как знаки таких свойств (классов), которые являются непустыми и неуниверсальными. Понятие логического следования вводится в силлогистике следующим определением. Пусть А,, А^ ..., Ап, и В будут силлогистическими формулами. Тогда из посылок А,, А^ ..., Ап логически следует В, если и только если каждая модельная схема, на которой одновременно истинны все посылки А,, \,..., Ап является модельной схемой, на которой истинно В. Наличие логического следования обозначается записью Аг \,..., Ап |= В. В частном случае (при следовании формулы из пустого множества посылок) формула В называется общезначимой (законом силлогистики) и пишется |= В. Формула В в этом случае является истинной на любой модельной схеме. На основе этих определений в любой силлогистике устанав- ливаютсяссютветствующиесиллогистическиезаконыиоправ- дывается принятие тех или иных правил вывода — элемен- тарныхумозаключений. Так, в традиционной силлогистике законами будут следующие: Всякий S есть S — закон силлогистического тождества для высказывании типа а, -!(Всякий S есть Р & Всякий S не есть Р) — закон контрарного противоречия, (Некоторый S есть Р v Некоторый S не есть Р) — закон субконтрарного исключенного третьего и многие другие. Что касается умозаключений, то они распадаются на умозаключения по логическому квадрату, непосредственные и опосредованные умозаключения. К числу непосредственных умозаключений в позитивных силлогистиках относится операция
530
СИЛЛОГИСТИКА обращения (conversio), а в негативных силлогистиках — превращение (obversio) и различные виды противопоставления (contrapocisio). В позитивной силлогистике одним из важнейших видов опосредованных умозаключений является простой категорический силлогизм. В нем всегда содержится не более трех терминов — меньший, больший и средний. Меньшим термином является субъект заключения, а большим — тот, который является предикатом заключения. Термин же, являющийся общим для обеих посылок, называется средним. Посылка, содержащая меньший термин, называется меньшей посылкой, а содержащая больший термин — большей. Обычно условливаются помещать большую посылку на первое место, а под ней записывать меньшую посылку. Приняв эти условия, можно все простые категорические силлогизмы разделить по т. н. фигурам. Фигура — это множество простых категорических силлогизмов, имеющих одну и ту же структуру, определяемую расположением среднего термина в посылках. С точностью до порядка посылок выделяют следующие фигуры силлогизма: MVP P-|M Мг-Р Р7М S-^M S-JM mL-S M^-S S-P S-P S-P S-P Фигура 1 Фигура 2 Фигура 3 Фигура 4 Если в фигуре указать тип высказываний, стоящих на местах посылок и заключения, то получим разновидность данной фигуры, называемую модусом фигуры. Те модусы, для которых между посылками и заключением существует отношение логического следования, называются правильными. В традиционной силлогистике имеется 24 правильных модуса. В 1 фигуре: Barbara, Celarent, Darii, Ferio, Barbari, Celaront; во 2 фигуре: Baroko, Cesare, Camestres, Festino, Camestrop, Cesaro; в 3 фигуре: Bokardo, Disamis, Datisi, Ferison, Darapti, Felapton; в 4 фигуре: Camenop, Dimaris, Camenes, Fresison, Bramantip, Fesapo. В этих названиях гласные буквы слева направо указывают тип большей, меньшей посылок и заключения. Для проверки правильности рассуждений, строящихся в форме простого категорического силлогизма, имеется специальный перечень правил. Выполнение каждого правила является необходимым, а всех вместе — достаточным условием, чтобы считать некоторый модус правильным. Эти правила называются общими правилами силлогизма и подразделяются на правила терминов и посылок. Они таковы: Правила терминов: ( 1 ) должна быть посылка, в которой средний термин распределен; (2) если термин распределен в заключении, то он распределен и в посылке. Правила посылок: (3) должна иметься утвердительная посылка; (4) если утвердительными являются обе посылки, то заключение будет утвердительным высказыванием; (5) если имеется отрицательная посылка, то заключение — отрицательное высказывание. Другими формами опосредованных умозаключений являются сориты, которые в общем случае представляют собой выводы некоторого силлогистического утверждения из произвольного множества посылок. Вопрос о выводимости в общем случае может быть решен различным образом. Можно, напр., построить аксиоматическую дедуктивную теорию силлогистики и считать, что некоторое опосредованное умозаключение обосновано, если оно доказуемо в данной аксиоматической теории. На такую возможность обратил внимание уже Аристотель. Он взял в качестве исходных положений (аксиом) модусы Barbara, Celarent, Darii и Ferio 1 фигуры, а все остальные модусы сводил к указанным. При практическом осуществлении некоторого аргументаци- онного процесса обычно не пользуются развернутой формой силлогизма. На самом деле в аргументации обычно используют т. н. энтимемы, т. е. сокращенные формы рассуждения (с пропуском некоторых посылок или заключения). Иногда такие пропуски делаются намеренно, ибо недобросовестному спорщику не всегда бывает выгодно раскрывать подлинные свои цели и намерения, т. е. подлинные теоретические основания аргументации. Традиционная силлогистика, как указывалось, содержит два ограничения на используемые термины: они не должны быть пустыми и универсальными. В отличие от этого силлогистика, построенная самим Аристотелем, не содержала такого рода ограничений. Его понимание смыслов простых категорических высказываний можно задать посредством их перевода в исчисление предикатов следующим образом: сюр -» Vx(a(jc)D?(x)&3xa(jc), a*?->Vjt(a(jc)3-.?(;c) , a/?-»3jt(a(x)&?(*) , ao? ->3x(a(;c)&-.?(jc) vi, jca(x) , где знак —> — показатель процедуры перевода. Отметим, что целый ряд соотношений, имевших место в традиционной силлогистике, в аристотелевской логике оказываются неверными. Напр., в аристотелевской логике неверны законы силлогистического тождества ни в форме SoS, ни в форме S/S. В негативной аристотелевской силлогистике остаются в силе лишь превращения от утвердительных высказываний к отрицательным и т. д. В то же время в аристотелевской силлогистике верны все 24 модуса простого категорического силлогизма. Кроме аристотелевской силлогистики имеются и другие силлогистики, отличающиеся друг от друга условиями истинности атрибутивных высказываний. Хорошо аргументированная система т. н. фундаментальной силлогистики была предложена Г. Лейбницем. Основные идеи, заложенные в ней, неоднократно повторялись различными исследователями: Де Морганом, Ф. Брентано, Ч. Пирсом, Б. Расселом, Д. Гильбертом. В языке логики предикатов лейбницевская интерпретация категорических высказываний выражается следующим образом: аао -> Vjc(a(x) з $(х) , aeu -> Vx(a(jc) r> -n? (x) , сс/р -» Hx(a(jc) & ? u) ao? -> 3x(a (jc) & -i? (x) . Иная силлогистическая система была детально разработана