7Є
Но для общеутвердительного но обязательно всегда обра-щаться в обгцеутвердительное, ибо можно сказать, что «всякий человек есть животное», но нельзя сказать, что «всякое животное есть человек».
Однако для него обязательно при обращении становиться частноутвердительным, ибо если все А есть Б, то, стало быть, некоторые Б есть А, иначе ни одно Б не было бы А, из чего неизбежно следовало бы, что ни одно А не есть Б. Мы же сказали, что все А есть Б.
Частоутвердительное при обращении остается также частно-утвердительным, как например, если говорят: некоторые А есть Б, то неизбежно некоторые Б будут А, как мы зто уже доказали.
Но частноотрицательное не обязательно допускает обращение, ибо мы можем сказать: «не всякое животное есть человек», но не можем сказать: «не всякий человек есть животное».
О силлогизмах (кийас)
Для всего непознанного существуют пути, посредством которнх оно познаетея. Для понятий существуют пути определения и описання. Об зтих двух путях мы уже упоминали. Для суждения существует путь доказательства. Доказательства бывают трех видов: силлогизм, индукция и аналогия. Обоснование скрьт-того [гаибі очевидним (шахид) относится также к аналогии.
Наиболее достоверным из зтих трех [видов доказательства] является силлогизм, а из всех силлогизмов — силлогизм доказа-тельный. До тех nop, гюка мы не узнаєм, что такое силлогизм вообще, мы не можем знать, что такое доказательный силлогизм.
Силлогизм вообще есть рассуждение, в котором содержатея положення, которые, будучи приняты, неизбежно влекут за собой другое положение. Пример этого, если кто-либо скажет: «всякое тело имеет форму, а все имеющее форму создано». Это рассуждение является силлогизмом, потому что если два выше-приведенные суждения будут признаны и приняты, то из них неизбежно следует другое положение: «каждое тело создано». Точно так же, если кто-нибудь скажет: «оічти мир имеет форму, то мир создан, а мир#действительно имеет форму». Это тоже силлогизм, так как зто рассуждение составлєно из двух суждений, причем если оба они будут приняты, то из них обязательно следует третье, отличное от зтих двух, хотя оно и заключается в них, а именно, что «мир создан». Силлогизм бывает двух ро-Дов: один называется соединительным (иктирани), а другой — исключительным (истиснаи).
77
Объяснение соединительного силлогизма
Соединительный силлогизм тот, в котором соединяются два суждения, имеющие между собой общность в одной части и различие в другой; из них необходимо следует третье суждение, которое состоит из тех двух частей, в которнх нет обгц-ности.
Примером этого может служить: если принято, что «всякое тело имеет форму, а все имеюгцее форму создано», то отсюда необходимо внтекает, что «всякое тело создано». Здесь два суж-ждения: одно — «всякое тело имеет форму», другое — «все имеюгцее форму создано». Первая посилка состоит из двух частей: «тело» и «имеющее форму». Всякая посилка также состоит из двух частей: «имеющее форму» и «создано». Стало быть, «имеющее форму» — часть обеих [посилок], но только в одной [из них] встречается «тело», а в другой «создано». Но в третьем суждений, внтекающем из них, одна часть — «тело», другая — «создано». И все дело основнвается на зтих трех [частих посилок]: «тело», «имеющее форму» и «создано», которые называ-ются «терминами» (хадд). «Имеющее форму» и все, что ему подобно, назьгвают «средним термином», «тело», которое стано-вится субъектом вытекающего [суждения], назьгвают «меньшим термином», и «создано», которое становится предикатом вьтте-кающего [суждения], назьгвают «большим термином».
Оба исходных суждения в силлогизме называются «посилками», а то суждение, которое из них необходимо внтекает, на-знвается «заключением». Суждение, в которое входит субъект заключения, называется «меныпей поснлкой», а то, в которое входит предикат заключения, — «большей поснлкой»; соедине-ние зтих двух посылок називается их «сочетанием». Форма со-четания назнвается «фигурой». Форма зта бнвает трех видов: 1)” если средний термин в одной поснлке будет предикатом, а другой — субъектом, то зто називается первой фигурой; 2) если же [в обеих] посилках [он] будет предикатом, то зто назнвается второй фигурой; 3) если же в обеих посилках [он] будет субъектом, то зто назнвается третьей фигурой.
Отношение основания и следствия в условно-соедипительном [суждений] такое же, как отношение субъекта н предиката в ка-тегорическом [силлогизме]. ш
Из двух отрицательных [суждений] не образуется силлогизма. Из двух частных [суждений] также не образуется силлогизма. Когда меныпий [термин] отрицательннй, а больший [термин] — частини, также не образуется силлогизма. Каждая фи-гура имеет свой особенности.
78
Объяснение характера силлогизмов первой фигуры
У первой фигуры есть два прсимущества. Во-первых, ее сил-логизмам не требуется доказательства того, что они являются силлогизмами. С другими двумя фигурами положение иное.
Во-вторых, в ней заключением могут являться все четыре определенных суждения — общеотрицательное, общеутвердитель-ное, частноутвердительное и частноотрицательное. Во второй же фигуре заключение никогда не бывает общеутвердительным, а в третьей фигуре заключение вообще не может быть общим, как зто будет вияснено далее.
Для превращения в силлогизм сочетаний первой фигуры нужны два условия: во-первых, их большая посылка должна быть утвердительной, во-вторых, их большая посылка должна быть общей.
В противном случае возможно, что посылки будут истин-ными, а заключение окажется ложньш, а все то, где заключение неверно, если даже посылки верни, не является силлогиз-мом. Поскольку необходимы зти два условия, СИЛЛОГИЗМЫ зтой фигуры могут иметь четыре [модуса]:
Первый модус состоит из двух общеутвердительных [посы-лок]. Примером его является, если кто-либо скажет: «всякое А есть Б, а всякое Б есть В». Отсюда следует заключение, что «всякое А есть В»; например, если ты скажешь: «всякое тело имеет форму», «всякое имеющее форму создано», отсюда следует заключение: «всякое тело создано», и зто заключение является общеутвердительным.
Второй модус состоит из двух общих [посылок], но большая является отрицательной. Например, если кто-нибудь скажет: «всякое А есть Б» и «ни одно Б не есть В», отсюда вытекает, что «ни одно А не есть В». Или: «всякое тело имеет форму» и «ничто, имеющее форму, не вечно»; отсюда следует, что «ника-кое тело не вечно». Это заключение является общеотринатель-
НЫМ.
Третий модус состоит из частноутвердительной меньшей и общеутвердительной болыней [посилки], как, например, если кто скажет: «некоторНе субстанции суть души» и «всякая душа приемлет знання»; следовательно, «некоторые субстанции при-емлют знання». Это заключение является частноутверди-тельным.
Четвертий модус состоит из меньшей частноутвердительной и из большей общеотрицательной [посылки], как, например, если кто скажет: «некоторые субстанции суть души», и «никакая
79
душа не есть тело»; следовательно, «некоторые субстанции не суть тела». Силлогизмы из условных суждений составляются таким же путем.
Силлогизмы второй фигуры
Условием правильности силлогизма второй фигуры является то, что одна посылка должна быть утвердительной, а другая — отрицательной, причем большая посылка во всех случаях должна быть общей. Эти силлогизмы имеют четыре модуса.
Первый модус состоит из двух общих [посылок], причем большая является отрицательной, как, например, если ты скажешь «всякое А есть Б», «ни одно В не есть Б», то отсюда вытекает, что «ни одно А не есть В». Доказательством зтому служит то, что если мы признаєм, что «ни одно В не есть Б» является вер-ным, то, следовательно, его противоположность, т. е. что «ни одно Б не есть В», также является верным [об зтом мы говорили в главе об обращении]. Стало быть, если мы скажем: «всякое А есть Б, то ни одно Б не есть В», то верно заключение: «ни одно А не есть В».
Второй модус состоит из двух общих посылок, причем мень-шая является отрицательной. Например, если ты скажешь: «ни одно А не есть Б, каждое В есть Б», из этого внтекает, что «ни одно А не есть В» потому, что если меньшую посилку об-ратить и поменять посилки местами, то получится «каждое В есть Б», и «ни одно Б не єсть А». Отсюда внтекает, что «ни одно В не есть А». А зто заключение допускает обращение и становится первоначальным заключением: «ни одно А не есть В».