когда из признания того, что противоречит [первона чально принятому], вытекает нечто невозможное; на пример, несоизмеримость диагонали [со стороной квад рата] доказывают тем, что если признать их соизме римость, то нечетное окажется равным четному3. Та ким образом, то, что нечетное оказывается равным чет ному, выводится на основании умозаключения, а что диагональ несоизмерима [со стороной квадрата], дока зывается исходя из предположения, так как из призна-
30ния того, что противоречит [первоначально принятому], получается ложное, ведь умозаключать через невоз можное, как было сказано, — значит доказывать нечто невозможное посредством первоначально допущенного предположения. Так как, следовательно, при приведе нии к невозможному ложный силлогизм получается
прямым доказательством (а первоначально принятое доказывают исходя из предположения) и так как не-
85посредственные силлогизмы, говорили мы раньше, стро ятся ûo тем же фигурам, то очевидно, что силлогизмы через невозможное также получаются по тем же фи гурам. То же самое можно сказать и о всех других сил логизмах, исходящих из предположения, ибо во всех этих случаях силлогизм строится сообразно с допуще нием, заменяющим [первоначально принятое], а перво
го начально принятое достигается признанием или каким41ь нибудь другим предположением 4. Если это правильно, то всякое доказательство и всякий силлогизм необхо димо получаются посредством трех ранее указанных фигур. А если это доказано, то ясно, что всякий силло гизм становится совершенным посредством первой фи гуры и может быть сведен к общим силлогизмам этой
ь фигуры.
ГЛАВА ДВАДЦАТЬ ЧЕТВЕРТАЯ
[Необходимость для каждого силлогизма иметь одну общую и одну утвердительную посылку]
Далее, во всяком силлогизме один из терминов дол жен быть взят в утвердительной посылке и один — в об щей посылке, ибо без общей посылки силлогизм пли [вообще] не получится, или он не будет иметь отноше ние к положенному, или в нем будет постулироваться первоначально принятое. В самом деле, допустим, что должно быть доказано, что удовольствие, доставляемое
168
музыкой, достойно одобрения; если же полагают, что |
|
||||
одобрения достойно удовольствие, не прибавляя [к «удо |
|
||||
вольствию»] |
«всякое», то силлогизма |
не получится. |
|
||
Если же признать, что пекоторое удовольствие достойно |
|
||||
одобрения, то, если [имеется в виду] |
другое [удоволь |
|
|||
ствие, а не удовольствие, доставляемое музыкой], то |
|
||||
это не имеет |
никакого |
отношения |
к |
положенному; |
|
а если [имеется в виду] то же самое [удовольствие], |
|
||||
то берется первоначально |
[требуемое]. Еще яснее ста |
|
|||
новится это при рассмотрении геометрических задач. |
|
||||
Например, требуется доказать, что в равнобедренном |
|
||||
треугольнике |
углы при основании равны *. Пусть линии |
15 |
|||
А и Б будут проведепы к срединной точке. Если принять, |
|
||||
что угол AB равен углу БД, не признавая при этом, |
|
||||
что вообще [все] углы, опирающиеся на диаметр, рав |
|
||||
ны между собой, и далее принять, что угол В равен |
|
||||
углу Д, не добавляя при этом, что вообще все углы, |
|
||||
противолежащие равным отрезкам окружности, равпы |
|
||||
между собой, и, наконец, принять, что, если от равных |
|
||||
целых углов отнять равные же части, остаются равные |
|
||||
между собой углы Ε и 3, не допуская при этом, что |
|
||||
при отнятии равных частей от равных |
[величии] оста- |
20 |
|||
ются равные |
[величины], то в таком |
случае постули |
|
||
руется первоначально принятое. Таким образом, оче |
|
||||
видно, что во всяком силлогизме должна быть общая |
|
||||
посылка, а также что общее доказывается только в том |
|
||||
случае, если все термины взяты в общих посылках, |
|
||||
тогда как частное может быть доказано и так, и иначе2. |
2$ |
||||
Так что если заключение общее, то и термины необхо- |
|||||
димо должны быть взяты в общих посылках. Если же |
|
||||
термины взяты в общих посылках, то заключение мо |
|
||||
жет и не быть общим. Далее, яспо также, что во вся |
|
||||
ком силлогизме или обе посылки, или одна из них не |
|
||||
обходимо должны быть подобны заключению3. Я имею |
|
||||
в виду не только то, что опи должны быть утвердитель |
|
||||
ными или отрицательными, но и то, что они должны |
|
||||
быть о необходимо присущем, или о присущем, или |
|
||||
о возможно присущем. Следует, однако, рассмотреть и |
|
||||
другого рода сказывания. |
|
|
|
|
|
Очевидно также и то, когда силлогизм вообще полу |
|
||||
чится и когда нет, а также когда он возможный 4 и ко |
|
||||
гда совершенный, и что |
если силлогизм получается, |
|
|||
то термины должны находиться друг к другу в каком- |
|
||||
либо из указанных выше отношени |
|
|
85 |
||
169
ГЛАВА ДВАДЦАТЬ ПЯТАЯ
[Число терминов, посылок и заключений в силлогизме]
Ясно также, что всякое доказательство ведется че рез три и не более терминов, разве только одно и то же заключение получается посредством разных [пар] по сылок, как, например, [заключение] Ε посредством
Аи Б и посредством В и Д или посредством А и Б, А, В и Д, ведь ничто не мешает, чтобы было больше средних терминов [для одних и тех же крайних]. Од нако в этом случае будет не один, а много силлогизмов. Или, далее, если каждая из обеих посылок А и Б сам ι принимается посредством силлогизма, как, например,
Апосредством Д и Е, а Б, со своей стороны,— посред ством 3 и И. Или одна посылка получается через паводение, а другая — посредством силлогизма. Но и в этом случае мы имеем много силлогизмов, ибо и заключении много, как, например, А, Б и В. Но даже если бы было по много силлогизмов, а всего один, то одно и то же за ключение можно таким образом получить посредством более чем трех [терминов], по это невозможно в таких
случаях, как тот, когда В [получается] посредством А и Б. В самом деле, пусть Ε будет заключением и ι посылок А, Б, В и Д; тогда необходимо, чтобы одна на ходилась в таком отношении к другой, как целое к ча сти, ведь раньше уже было показано \ что если име ется силлогизм, то необходимо, чтобы некоторые термипы находились именно в таком отношении друг к другу. Пусть так относится А к Б. Из этих посылок, следовательно, выводится какое-нибудь заключение, стало быть или Е, или одна из посылок В и Д, или ка кая-то другая помимо них.
Если же выводится Е, то силлогизм может полу читься только из посылок А и Б. Но если В и Д отно сятся друг к другу как целое к части, то и из них вы водится заключение — или Е, или одна из посылок А и Б, или какая-то другая помимо них. Если же выво дится Ε или одна из посылок А и Б, то или будет боль ше одного силлогизма, или же, что, как мы сказали2, возможно, выводится одно и то же заключение из мно гих терминов. Далее, если [выводится] другое [заклю чение] помимо Ε или одной из посылок А и Б, то по лучится больше силлогизмов, по не связанных между собой. Если же В не находится к Д в таком отпошении,
170
чтобы получился силлогизм, то эти посылки взяты на |
|
|||||||||||||||
прасно, |
разве |
только |
они |
взяты ради наведения, |
или |
|
||||||||||
для того, чтобы скрыть |
[заключение], или ради чего-то |
|
||||||||||||||
другого в этом роде3 . |
Если |
же из |
А и |
Б |
получается |
|
||||||||||
не Е, но какое-то другое заключение, |
а из В и Д выво- |
25 |
||||||||||||||
дится или одна из этих |
двух посылок, [А |
и Б ] , пли |
ка |
|
||||||||||||
кая-то другая помимо них, то получится больше сил |
|
|||||||||||||||
логизмов, но не о предположенном, |
ибо |
предположено |
|
|||||||||||||
было, |
что |
силлогизм |
|
имеет |
[своим |
заключением] |
Е. |
|
||||||||
Наконец, если из В и Д не получается никакого заклю |
|
|||||||||||||||
чения, то опи оказываются взятыми напрасно и не по |
|
|||||||||||||||
лучится силлогизма о первоначально принятом. Таким |
зо |
|||||||||||||||
образом, |
очевидно, |
что |
всякое |
доказательство и |
всякий |
|||||||||||
силлогизм возможны только посредством трех терми |
|
|||||||||||||||
нов. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Но если это очевидно, то ясно также и то, что |
[за |
|
||||||||||||||
ключение силлогизма следует] из двух посылок и не |
|
|||||||||||||||
больше |
(ибо три термипа образуют две посылки), если |
|
||||||||||||||
только не прибавлять что-либо для того, чтобы |
сделать |
|
||||||||||||||
силлогизмы совершенными, как это было сказано вна |
35 |
|||||||||||||||
чале 4. Отсюда |
очевидно, что |
если в |
силлогистическом |
|||||||||||||
рассуждении |
посылки, из которых выводится главное за |
|
||||||||||||||
ключение |
(ведь |
некоторые |
из |
ранее |
сделанных |
заклю |
|
|||||||||
чений необходимо составляют посылки [для него]), |
|
|||||||||||||||
нечетны |
по числу, |
то |
такое |
рассуждение |
или |
нпчего |
|
|||||||||
не выводит, или оно умозаключает больше, чем необхо |
40 |
|||||||||||||||
димо ДЛЯ ОСНОВНОГО ПОЛОЖеНИЯ. |
|
|
|
|
|
|||||||||||
Итак, всякий силлогизм, если рассматривать сил- *гь |
||||||||||||||||
логизмы |
в отношении |
главных посылок, будет состоять |
|
|||||||||||||
из четных по числу посылок и нечетных по числу тер |
|
|||||||||||||||
минов, |
ибо |
терминов |
всегда на единицу больше, чем по |
|
||||||||||||
сылок, |
а заключений |
будет |
вдвое меньше, чем посылок. |
|
||||||||||||
Когда |
же заключение |
|
выводится посредством просилло- |
s |
||||||||||||
гизмов или через несколько связанных друг с другом |
|
|||||||||||||||
средних терминов (как, например, когда АБ выводится |
|
|||||||||||||||
через В и Д ) , число терминов так же будет па единицу |
|
|||||||||||||||
больше |
числа |
посылок |
(ибо, |
окажется ли дополнитель |
|
|||||||||||
ный термин вне или среди |
прежних терминов, все равно |
|
||||||||||||||
в том и другом случае |
число |
промежутков5 |
между тер |
|
||||||||||||
минами |
всегда |
бывает |
на |
единпцу меньше, чем терми |
|
|||||||||||
нов), а число |
посылок |
равно |
числу таких промежутков. |
|
||||||||||||
Однако |
число |
посылок |
не |
всегда будет четным, а число |
|
|||||||||||
терминов — нечетным; |
|
бывает и наоборот: когда число |
|
|||||||||||||
посылок |
четное, |
число терминов нечетно; когда же число |
|
|||||||||||||
171
терминов четное, число посылок нечетно, ибо вместе с термином всегда прибавляется и одна посылка, отку да бы ни прибавлялся термин. Поэтому так как [в про16 стом силлогизме] число посылок, как мы видели, чет ное, число же терминов нечетное, то при одинаковом прибавлении необходимо происходит такая перемена. Заключения же не будут иметь такое [числовое] отно шение ни с терминами, ни с посылками, ибо если будет прибавлен один термин, то будет увеличено также и число заключений и их будет на единицу меньше, чем было терминов, раньше взятых, ибо только с последним
го термином не образуется заключение, со всеми же остальными оно образуется. Например, если к А, Б и В прибавляется Д, то тотчас же прибавятся два заключе ния, а именно одно с А, другое с Б. Так же будет об стоять дело в других случаях [прибавления терминов], и, если [новый] термин окажется посредине, будет то же самое, ибо только для одного термина не будет построен силлогизм. И таким образом, заключений бу-
25 дет значительно больше, чем терминов и посылок6.
ГЛАВА ДВАДЦАТЬ ШЕСТАЯ
[Степень сложности обоснования и опровержения в каждой фигуре силлогизма]
Так как мы уже знаем, относительно чего строятся силлогизмы, а также какие заключения выводятся в каждой фигуре и сколькими способами, то для нас очевидно и то, какая проблема будет трудной и какая легкой. А именно легче [доказывать] то, что выводится
so в большем числе фигур и через большее число моду сов, труднее же — то, что может быть доказано в мень шем числе фигур и через меньшее число модусов. Итак, общеутвердительное положение доказывается только по первой фигуре и через один-единственный модус1; [об ще] отрицательное же — по первой и по средней фигуре, и притом по первой — через один-единственный модус, по средней же — через два модуса 2; частноутвердительное — по первой и по последней фигуре, и притом по первой — через один-единственный модус, а по послед ней — через три модуса3. Частноотрицательное же по ложение доказывается по всем фигурам, но по пер вой — через один-единственный модус, по средней —че-
40 рез два модуса, а по последней — через три4. Отсюда
172