в высшей степени. И если есть то знание [6], то это будет знанием в большей и в высшей степени. Но доказательство не применимо к другому роду, разве только тогда, когда, как было сказано: геометрические (доказательства применяются) к (положениям) механики или оптики, а арифметические — к (положениям) гармонии.

Трудно, однако, узнать, знаем ли мы или нет, ибо трудно узнать, знаем ли мы из (свойственных) каждой вещи начал или нет, а в этом как раз и состоит знание. Думаем же мы, что знаем, если у нас имеется силлогизм из каких-либо истинных и первичных (положений). Это, однако, не так; необходимо же, чтобы (выводимое) было однородным с первичными (положениями).

[1] Математик из Гераклеи, по преданию, – ученик Пифагора. Брисон пытался доказать квадратуру круга, рассматривая круг как нечто среднее между квадратом, вписанным в круг, и квадратом, построенным на круге. Доказательство Брисона Аристотель считал слишком общим, то-есть для своего доказательства Брисон использовал положения, взятые из других областей, а не из самой геометрии.

[2] По существу.

[3] Силлогизма, служащего доказательством данного положения.

[4] Если А само по себе (по существу) присуще Б, а Б таким же образом присуще В, то Б как средний термин должен принадлежать к тому же самому роду, что и А и В, – на этом ведь основывается все доказательство.

[5] Наука, подчиненная другой, высшей науке (как гармония – арифметике) способна, по Аристотелю, доказать лишь то, что данный предмет есть такой-то, а не почему он есть такой.

[6] Из высших причин.

ГЛАВА ДЕСЯТАЯ

(Определение начал. Предположение, постулат и определение)

Началами же в каждом роде я называю то, относительно чего не может быть доказано, что оно есть. Следовательно, то, что обозначает первичное и из него вытекающее, принимается. Существование начал необходимо принять, другое — следует доказать. Например, что такое единица или что такое прямое и что такое треугольник (следует принять); что единица и величина существуют, также следует принять, другое — доказать.

Из тех (начал), которые применяются в доказывающих науках [1], одни свойственны каждой науке в отдельности, другие — общи всем; общи — по сходству, потому что (каждое общее всем начало) применимо, поскольку оно относится к роду, подчиненному (данной) науке [2]. Свойственным (лишь одной науке) является, например, то, что линия — такая-то и прямое — такое-то. Общее же, например, то, что если от равного отнять равные (части), то остаются равные же (части). Каждым из таких (общих положений) можно пользоваться, поскольку оно относится к роду, (подчиненному данной науке), ибо оно будет иметь одинаковую силу, если не брать его для всего подходящего), но (в геометрии) — в отношении величин, а в арифметике — в отношении чисел.

Но есть (начала), свойственные (лишь данной науке), которые принимаются как существующие и которые наука рассматривает как присущие сами по себе, например, арифметика — единицы, а геометрия — точки и линии, ибо эти (науки) принимают существование и такое-то существование (этих начал). Относительно же самих по себе присущих им свойств принимают, что каждое из них обозначает. Например, арифметика — что такое нечетное и четное, а также квадрат или куб, геометрия — что такое несоизмеримое, а также ломаные и сходящиеся (линии), но что (все это) существует, доказывают посредством общих (всем им) (начал) и из того, что (уже) было доказано (раньше). Точно так же обстоит дело и в астрономии. Действительно, всякая доказывающая наука имеет дело с тремя (сторонами): то, что принимается как существующее, именно род, свойства которого, присущие ему сами по себе, рассматривает наука, и общие (положения), называемые нами аксиомами, из которых, как из первичного, ведется доказательство. Третье — это (сами) свойства (вещей), обозначение каждого из которых рассматривает (наука). Ничто не мешает, чтобы некоторые науки не обращали внимания на некоторые из (этих сторон) [3], как, например, не предполагать, что род существует, если очевидно, что он существует (ибо не в одинаковой мере ясно, что есть число и что есть холодное и теплое), и не рассматривать обозначения свойств, если они ясны, и точно так же не рассматривать обозначения общих (положений), как, например, что значит отнять равное от равного, ибо это известно. Но тем не менее по существу (дела) остаются эти три (стороны): то, относительно чего доказывается, то, что доказывается, и то, на основании чего доказывается [4].

То, что необходимо существует через само себя или должно казаться (таким) [5], не есть ни предположение, ни постулат. Ибо доказательство касается не внешнего выражения, но внутреннего смысла, потому что силлогизм не (касается внешнего выражения). Действительно, всегда можно выдвигать возражения против внешнего выражения (доказательства), но не всегда против его внутреннего смысла. Итак, все то, что, хотя и доказуемо, но сам (доказывающий) принимает, не доказывая, и учащемуся это кажется (правильным) [6], — это есть предположение, и (притом) предположение не безусловное, а лишь для этого (учащегося). Но если принимают (что-то), в то время, как (учащийся) не имеет никакого мнения (об этом) или имеет мнение, противное (этому), то постулируют (это). И в этом-то и заключается различие между предположением и постулатом. Ибо постулат есть нечто противное мнению учащегося или (нечто) такое, что, будучи доказуемым, принимается и применяется недоказанным.

Определения же не суть предположения, ибо они ничего не говорит о том, существует ли (данный предмет) или нет, но в посылках предположения содержатся. Определения должны быть только поняты, и это не предположение [7], иначе можно было бы сказать, что и слушать (что-то) есть предположение [8]. Но (предположения) — это (суждения), при наличии которых получается заключение благодаря тому, что они есть. И геометр не предполагает (нечто) ложное, как это утверждали некоторые, указывая, что не следует пользоваться ложными (положениями), а геометр как раз и допускает ложное, когда про линию, не имеющую в длину фута, говорит, что она имеет эту длину, или про начерченную линию, не являющуюся прямой, говорит, что она прямая. Однако геометр ничего не выводит на основании того, что линия такая, какой он сам ее назвал, но (выводит) посредством того, что он (этим) имел в виду. Далее, всякий постулат и всякое предположение (берется) или как (нечто) целое, или как часть, определения же — ни как то, ни как другое [9].

[1] В аподиктических науках.

[2] Например, положение, что целое больше своих частей, обще геометрии и арифметике, только в геометрии оно имеет силу для геометрических фигур и его элементов, в арифметике, по сходству (по аналогии), — для чисел. Родом (родовым понятием) для обеих наук является здесь величина.

[3] Аподиктической науки.

[4] Предмет доказательства, само доказательство и принципы (начала) доказательства. Без этих трех моментов, говорит Аристотель, не может быть науки, но не всегда все эти три стороны выражены, часто та или другая сторона только подразумевается как само собою понятное. Так, состояние холода и тепла мы непосредственно воспринимаем нашими чувствами. Другое дело число.

[5] Имеются в виду аксиомы.

[6] Доказуемо, но не доказано.

[7] Ибо определение не говорит о том, существует ли данный предмет или нет.

[8] С тем же правом можно было бы и всякое высказанное положение о чем-либо назвать предположением.

[9] В определении определяемое берется без указания его объема. Мы не говорим, например, все квадраты или некоторые квадраты суть такие-то фигуры, а говорим: квадрат есть фигура с такими-то свойствами.

ГЛАВА ОДИННАДЦАТАЯ

(Начала, общие всем наукам)

Таким образом, не необходимо, чтобы существовали идеи или что-нибудь единое [1] помимо множества (вещей) [2], если должно быть дано доказательство. Но необходимо признать истинным, что есть единое в отношении многого, ибо если бы этого не было, то не было бы и общего, а если бы общего не было, то не было бы и среднего (термина), а следовательно, и никакого доказательства. Должно поэтому быть нечто единое и тождественное во многом не как омонимы. Что (касается положения), что невозможно одновременно утверждать и отрицать (одно и то же), то этого ни одно доказательство не рассматривает, кроме разве (того случая), когда и заключение приходится доказывать таким же образом [3]. Доказывается же (так), когда принимают, что если первый (термин) приписывается среднему, то это правильно, если же не приписывается, — неправильно. Что же касается среднего (термина), то безразлично, будет ли принято, что он есть, или нет [4]. И то же самое — в отношении третьего (термина). Ибо если принять, что то является (живым существом), о ком правильно сказать, что оно человек, хотя правильно и то, что и не человек есть (живое существо), то нам (достаточно) и того, что человек есть живое существо, а не неживое существо. Действительно, правильно будет сказать, что хотя и не-Каллий (есть живое существо), тем не менее Каллий есть живое существо, а не неживое существо [5]. Причина же этого в том, что первый (термин) высказывается не только о среднем, но и о другом (термине), ибо он (простирается) на большее [6].

Вот почему для заключения не важно, есть ли средний (термин) именно то, что он есть, или нет. (Положение), что обо всем (истинно) или утверждение, или отрицание, доказывается посредством приведения к невозможному [7]. И это применяется не всегда ко всему, но лишь насколько это достаточно; достаточно же — в отношении (данного) рода. Когда я говорю в отношении (данного) рода, я имею в виду род, в пределах которого ведутся доказательства, как об этом было уже сказано выше [8].

Связаны же все науки между собой (чем-то) общим (всем им). Общим же (всем) я называю то, чем пользуются для того, чтобы из него вести доказательства, а не то, относительно чего ведется доказательство, и не то, что доказывается. А диалектика [9] имеет дело со всеми (науками). Также общей (всем) была бы та наука, посредством которой кто-либо попытался бы доказать общие (начала) для всех, как, например, что обо всем (истинно) или утверждение, или отрицание, или что, если равные (величины) отнять от равных, остаются равные же (части), и тому подобное. Диалектика не имеет, однако, дела с чем-нибудь столь (строго) определенным, как равно и с каким-либо одним (определенным) родом. Иначе она не прибегала бы к вопросам. Доказывающий же не должен спрашивать, ибо из противоположного не доказывается одно и то же [10], (как)