смом не говорится «всякое»). В математике же [отношепие среднего термина к крайним] можно как бы видеть мышлением. Но в [диалектических] рассуж дениях это остается незамеченным, [например]: есть ли каждый круг (kyklos) фигура? Если же его начер тить, то это ясно. А [цикл] эпических стихотворений тоже есть круг? Очевидно, что нет.
Однако, если [меньшая] посылка основана на на ведении, нет надобности приводить против этого [спо соба доказательства] какое-либо возражение, ибо, з* сколь [ясно, что в науке] нет такой посылки, которая не относилась бы ко многим случаям (ибо иначе она не могла бы относиться и ко всем случаям, силлогизм ведь строится из общих [посылок]), столь же яспо, что нет и [соответствующего] возражения. Ибо по сылки и возражения суть одпого и того же порядка; в самом деле, приводимое возражение само может стать посылкой — или доказывающей, или диалекти ческой.
Случается, что некоторые рассуждают не по пра40
вилам силлогизма из-за того, что принимают то, что |
|
следует из обоих |
[крайних терминов] 2, как это дела |
ет, например, и |
Кеией3, чтобы доказать, что огонь |
разрастается в геометрической прогрессии, потому что, 78а
как он говорит, огонь разрастается быстро и эта про |
|
|
грессия так же. Но в таком случае нет силлогизма; [он |
|
|
будет], если [сказать так]: геометрическая прогрес |
|
|
сия следует из наиболее быстро развивающейся про |
|
|
грессии, и из [наличия] огня в его движении следует |
|
|
паиболее быстро развивающаяся прогрессия. Таким |
5 |
|
образом, иногда невозможно выводить заключение из |
|
|
принятых [посылок]; иногда же это |
возможно4, но |
|
но видят [этой возможности]. Если |
бы было невоз |
|
можно из ложных [посылок] доказывать истинпое, то |
|
|
раскрытие было бы легким, ибо необходимо имела бы |
|
|
место обоюдность5. В самом деле, пусть А есть нечто |
|
|
существующее; если же оно существует, существует |
|
|
также то, о чем я знаю, что оно существует, напри |
|
|
мер Б. Из Б я докажу, что есть А6. Однако больше |
*· |
|
всего такая обоюдность имеет место в математике, по- |
||
тому что здесь не берут [как средний термин] ничего |
|
|
привходящего (и этим она отличается |
от диалектиче |
|
ского способа рассуждения), а берут лишь определе ния.
279
Умножается [знание] не через |
[новые] |
средние |
||
термины, а |
посредством добавления [крайних], на- |
|||
15 пример А |
[приписывается] Б, Б—В, а В—Д, и так |
|||
далее до бесконечности. [Знание умножается] и вширь, |
||||
как, например, А |
[сказывается] и о В, и о Е; |
напри |
||
мер, есть конечное или бесконечное число, скажем А, |
||||
конечное нечетное |
число — Б, а В — некоторое нечет |
|||
ное число; |
тогда |
А [сказывается] |
о В. И пусть Д |
|
20обозначает конечное четное число, Ε — некоторое чет ное число; тогда А [сказывается] о Е.
ГЛАВА ТРИНАДЦАТАЯ
[Отличие доказательства и знания о том, что данная вещь есть, от доказательства и знания о том,
почему она есть]
Знать, что есть, и знать, почему есть,— это различ ное знание, прежде всего в пределах одной и той же науки, и в этой науке — двояким образом: во-первых, когда силлогизм получается не через неопосредство ванные [посылки] (ибо в этом случае не берется пер-
25вая причина, а знать, почему нечто есть, можно, зная первую причину) ; во-вторых, когда силлогизм хотя и получается через неопосредствованные [посылки], однако не через причину, а через более известный из переставляемых друг с другом [терминов]. Ибо ничто не мешает, чтобы из взаимозаменяемых [терминов] бо лее известным был иногда тот, который не есть при чина, так что доказательство будет вестись через этот
зо [термин]. Так, что планеты близки [к нам], до казывают тем, что они не мерцают. Пусть В обозна чает планеты, Б — не мерцать, А — быть близким. То гда правильно будет сказать, что Б присуще В, ибо планеты не мерцают; но и А присуще Б, ибо то, что не мерцает, близко [к нам], а это можно узнать через наведение или посредством чувственного восприятия.
35 Таким образом, А необходимо присуще В. Так что было доказано, что планеты близки [к нам]. Так вот, это есть силлогизм не о том, почему есть, а о том, что есть, ибо планеты близки не потому, что они не мер цают, а они не мерцают потому, что они близки К Однако можно также доказать [здесь] средний термин через больший, и тогда доказательство будет о том,
io почему есть. Так, пусть В означает планеты, Б — быть
280
близким, А — не мерцать; тогда и Б |
присуще |
В, и 7вь |
А (т. е. не мерцать) присуще Б. Так что и А присуще |
||
В, и силлогизм будет о том, почему |
есть, ибо |
была |
указана первая причина. Далее, что Луна шарообразна, доказывается ее прибыванием, ибо если то, что таким 5
образом |
|
прибывает, шарообразно, а Луна прибывает |
|
||
таким именно образом, то очевидно, что она шарооб |
|
||||
разна. Но так получился силлогизм о том, что есть. |
|
||||
Если же |
переставить средний термин, то получится |
|
|||
силлогизм о том, почему есть, так как не из-за своего |
|
||||
прибывания Луна шарообразна, а, [наоборот], именно |
|
||||
потому, что она шарообразна, у нее такие прибывания. |
|
||||
Пусть |
В |
обозначает Луну, |
Б — шарообразное, |
А — ю |
|
прибывание. В тех же случаях, когда средние тер |
|
||||
мины не могут быть переставлены и когда то, что не |
|
||||
есть причина, более известно, доказывается, что есть, |
|
||||
но не почему есть. Точно так же и в тех случаях, ко |
|
||||
гда средний термин ставится |
вне [крайних]2, ибо и |
|
|||
в этих |
случаях доказывается, |
что есть, а не почему |
|
||
есть, так |
как причина не указывается. Например, |
по- |
ι5 |
||
чему стена не дышит? Потому, что она но живое су |
|
||||
щество. Но ведь если бы это было причиной, почему |
|
||||
она не дышит, то живое существо должно было бы |
|
||||
быть причиной дыхания, так же как если отрицание3 |
|
||||
есть причина непрпсущности, то утверждение4 |
есть |
|
|||
причина присущности; например, если несоразмер |
|
||||
ность тепла и холода есть причина нездоровья, то со |
|
||||
размерность их есть причина здоровья. И равным об |
|
||||
разом если утверждение есть причина присущности, то |
|
||||
отрицание есть причина неприсущности. Но к приве |
|
||||
денному примеру сказанное не подходит, ибо не вся |
|
||||
кое живое существо дышит. Силлогизм же о такого |
|
||||
рода причине получается по средней фигуре. Пусть А, |
|
||||
например, будет живое существо, Б — дыхание, |
В — |
|
|||
стена. В таком случае А присуще всем Б (ибо все, что |
25 |
||||
дышит, есть живое существо), но оно не присуще ни |
|
||||
одному В, так что и Б не присуще ни одному В, и, сле |
|
||||
довательно, стена не дышит. Однако такого рода при |
|
||||
чины подобны преувеличенным высказываниям. Это |
|
||||
ведь преувеличение, когда более отдаленное указы |
|
||||
вается как средний термин5; таково изречение Ана- |
зо |
||||
харсиса6, |
что у скифов нет |
флейтисток, потому |
что |
||
у них нет виноградников.
281
Следовательно, в одной и той же науке силлогизм о том, что есть, и силлогизм о том, почему есть, раз личаются и положением средних терминов. В другом
смысле «почему есть» и «что есть» отличаются друг от друга тем, что они рассматриваются в разных на уках. Таковы науки, находящиеся друг к другу в та ком отношении, что одна подчинена другой, как, на пример, оптика — геометрии, механика — стереометрии, гармония — арифметике и наблюдения небесных явле ний — учению о светилах. Некоторые из этих наук
40 почти соименны7, как, например, учение о небесных
79а светилах бывает и |
математическим, и относящимся |
к мореходству, точно |
так же и гармония бывает и |
математической, и основанной на слуховом восприятии. |
|
В этих случаях знание того, что есть, основано на чув ственном восприятии, знание же того, почему есть,— на математике. Ибо математики имеют доказатель ства причин и часто не знают, что [предмет] есть, по- 5 добно тому как созерцающие общее часто не знают отдельное, так как не обращают на него внимания. Таковы те науки, которые, будучи по своей сущности отличными [от математики], пользуются [ее] форма ми. Математика же имеет дело с формами, а не с суб стратом. Ибо если геометрия и рассматривает неко торый субстрат, то во всяком случае не как субстрат.
юНо как оптика относится к геометрии, так относится к оптике другая наука, например та, что изучает радугу. Ибо знать, что она есть,— это дело рассуждающего о природе, знать же, почему она есть,— это дело сведу щего в оптике — или как такового, или как занимаю
щегося математикой. Со многими науками, не подчи ненными друг другу, дело обстоит точно так же, как, например, между врачебным искусством и геометрией. Действительно, знать, что круглые раны заживают
is медленнее, это — дело врача, а знать почему — дело геометра.
ГЛАВА ЧЕТЫРНАДЦАТАЯ
[Первая фигура силлогизма как наиболее подходящая для познания]
Из фигур силлогизмов первая — наиболее подходя щая для науки, ибо через нее ведут доказательства и математические науки, такие, как арифметика, гео2i> метрия, оптика, и, можно сказать, все науки, иссле-
282
дующие причины, почему есть, ибо силлогизм о том, почему есть, получается или во всех, или во многих случаях, или больше всего именно через эту фигуру. Так что поэтому первая фигура и есть наиболее под ходящая для науки, ибо для знания важнее всего ис следование причины, почему есть. Далее, только через эту фигуру можно добиться знания о сути вещи, ибо в средней фигуре не получается утвердительного сил логизма, а между тем знание сути есть знание утвер дительное. В последней же фигуре [утвердительное заключение] хотя и получается, однако не общее, между тем суть вещи есть нечто общее: ведь человек, [например], не есть лишь в каком-то отношении дву ногое существо. Кроме того, первая фигура не нужда ется в других фигурах, между тем как те ею подкре
пляются и расширяются, пока не достигается неопозо средствованное. Таким образом, очевидно, что первая фигура имеет для знания наибольшее значение.
ГЛАВА ПЯТНАДЦАТАЯ
[Неопосредствованпые отрицательные посылки]
Подобно тому как возможно, чтобы А было нераз дельно (atomös) присуще Б \ точно так же возможно, чтобы оно было ему нераздельно не присуще. Говорю «быть нераздельно присущим или не присущим», когда между А и Б нет среднего термина. В таком случае А будет присуще или не присуще Б не на основании чего-то другого. Поэтому если или А, или Б, или даже оба вместе целиком содержатся в другом2, то А не может быть присуще Б как первое. В самом деле, пусть А целиком содержится в В; в таком слу чае, если Б вовсе не содержится в В (ибо возможно, чтобы А целиком содержалось в другом, а Б в пем не 40 содержалось), получится силлогизм о том, что А не присуще Б, ибо если В присуще всем А, но не присуще ни одному Б, то и А не присуще ни одному Б. Точно так же — если Б целиком содержится в другом, например в Д, ибо Д присуще всем Б, но А не присуще ни одному Д; так что посредством силлогизма полу чится, что А не присуще ни одному Б. Точно так же будет доказано, если и А и Б целиком содержатся
вдругом. Но что ни одно Б может и не содержаться
втом, в чем содержится А, или, наоборот, ни одтю А —
283