Следовательно, в одной и той же науке и по положению средних (терминов) силлогизмы о том, что есть, и силлогизмы о том, почему есть, различаются именно так. В другом смысле "почему есть" и "что есть" отличаются друг от друга тем, что они рассматриваются в разных науках. Такими являются (науки), находящиеся друг к другу в таком отношении, что одна подчинена другой, как оптика — геометрии, механика — стереометрии, гармония — арифметике и (наблюдения) небесных явлений — астрономии. Некоторые из этих наук почти синонимичны., как, например, астрономия бывает как математической, так и мореходной, точно так же и гармония бывает как математической, так и основанной на слуховом восприятии. В этих случаях знание того, что есть, (дают науки), основанные на чувственном восприятии, знание же того, почему есть, — математические. Ибо математики имеют доказательства причин и часто не знают, что (предмет) есть, подобно тому как те, кто рассматривает общее, часто не знают некоторые отдельные (вещи), вследствие того, что не обращают на них внимания. Таковы те (науки), которые, будучи по (своей) сущности различными, пользуются понятиями. Предметом же (изучения) математических наук являются понятия, а не какая-либо (материальная) основа. Ибо если геометрия и рассматривает некоторую (материальную) основу, то не как таковую. Но как оптика относится к геометрии, так (в свою очередь) относится к оптике другая наука, например, (наука), изучающая радугу. Ибо знание того, что есть, дает физик, знание же того, почему есть, дает оптик — или непосредственно, или на основании математики. Со многими науками, не неподчиненными друг другу, дело обстоит точно так же, как, например, между врачебной наукой и геометрией. Действительно, что круглые раны медленнее заживают — знать это есть дело врача, почему же (медленнее заживают) — дело геометра.
ГЛАВА ЧЕТЫРНАДЦАТАЯ (Первая фигура силлогизма как наиболее подходящая для знания)
Среди фигур (силлогизма) первая является наиболее подходящей для (приобретения) научного знания, ибо по ней ведут доказательства и математические науки, как арифметика, геометрия, оптика, и, я сказал бы, все науки, рассматривающие (причины), почему (что-нибудь) есть, ибо силлогизм о том, почему (что-нибудь) есть, получается или во всех, или во многих случаях, или больше всего именно по этой фигуре. Так что благодаря этому эта фигура и есть наиболее удобная для научного знания, ибо рассмотрение (причины), почему есть (данная вещь), есть главное в знании. Далее, только по этой фигуре можно приобрести знание (также) о том, что есть (данная вещь)[846], ибо по средней фигуре не бывает утвердительного заключения, а между тем знание о том, что есть (данная вещь), есть знание утвердительное. По последней же фигуре утвердительное заключение, (хотя и) бывает, однако не общее, между тем то, что есть, (данная вещь), относится к общему: ведь человек, (например), не есть (только) в известном отношении двуногое существо[847]. Кроме того, эта фигура не нуждается в других, между тем как те ею скрепляются и обогащаются, пока не достигается неопосредствованное. Таким образом, очевидно, что первая фигура имеет для знания наибольшее значение.
ГЛАВА ПЯТНАДЦАТАЯ (Неопосредствованные отрицательные посылки)
Подобно тому как возможно, чтобы А было неотъемлемо[848] присуще Б, точно так же возможно, чтобы (оно) было (ему неотъемлемо) не присуще. Говорю "быть неотъемлемо присущим или не присущим", когда между ними[849] нет среднего (термина). В таком случае (А) не будет присуще или не присуще (Б) на основании чего-нибудь другого. Поэтому если или А, или Б, или даже оба вместе целиком содержатся в чем-нибудь другом, то тогда А не может быть присуще Б первично. В самом деле, пусть А целиком содержится в В; если ни одно Б не содержится в В (ибо возможно, чтобы А целиком содержалось в чем-нибудь другом, а Б в нем не содержалось бы), то получится заключение о том, что А не присуще Б, ибо если В присуще всем А, но не присуще ни одному Б, то тогда и А не присуще ни одному Б[850]. Точно так же обстоит дело, если Б целиком содержится в чем-нибудь другом, например в Д, ибо Д будет тогда присуще всем Б, но А не присуще ни одному Д. Так что А не будет присуще ни одному Б посредством силлогизма[851]. Точно так же будет доказано, если каждое (из них) целиком содержится в чем-нибудь другом[852]. Но что ни одно Б может и не содержаться в том, в чем содержится А, или, наоборот, ни одно А (может) не содержаться в том, в чем содержится Б, — это очевидно из тех рядов (терминов), которые нельзя брать один вместо другого[853]. В самом деле, если ни один из (терминов), входящих в ряд АВД, не приписывается ни одному из (терминов), входящих в ряд БЕЗ, между тем как А содержится во всем Ф, принадлежащем к тому же ряду (терминов), то очевидно, что Б не будет содержаться в Ф, иначе эти ряды смешались бы. И точно так же, если бы Б целиком содержалось в чем-нибудь другом. Но если ни один из этих двух (терминов А и Б) не содержится в чем-нибудь другом и А не присуще Б, то оно необходимо не присуще ему неотъемлемо[854]. Ибо если есть какой-нибудь средний (термин), то необходимо, чтобы один из этих двух (терминов) целиком содержался в чем-нибудь другом[855], а силлогизм получится (тогда) или по первой, или по средней фигуре. Если по первой, то Б целиком будет содержаться в чем-нибудь другом (ибо посылка, содержащая Б[856], должна быть утвердительной); если же по средней (фигуре), то любое из них может целиком содержаться в чем-нибудь другом, так как силлогизм получится, (безразлично), к какой (посылке) отнести отрицание, но силлогизм не получится, если обе (посылки) отрицательные.
847
Человек есть двуногое существо не при известных условиях, но вообще, безусловно, во всех отношениях.
848
Неотъемлемо означает: не путем доказательства и не через посредство среднего термина. Для обозначения этого отношения Аристотель применяет (и здесь и в последующем) ряд синонимических терминов: неотъемлемо, непосредственно, а также (если речь идет о родовых понятиях) первично, недоказуемо.
850
Всякое тело (А) есть сущность (В). Ни одно свойство (Б) не есть сущность (В). Ни одно свойство (Б) не есть тело (А).
851
Ни одна сущность (А) не есть свойство (Д). Всякий цвет (Б) есть свойство (Д). Никакой цвет (Б) не есть сущность (А).
852
а. Никакое свойство (Д) не есть сущность (В). Всякое тело (А) есть сущность (В), Никакое тело (А) не есть свойство (Д).
б. Никакое тело (А) не есть свойство (Д). Всякий цвет (Б) есть свойство (Д). Никакой цвет (Б) не есть тело (А).
853
Под рядами терминов (понятий) следует понимать или категории в аристотелевском смысле (например: вверху, внизу, справа, слева и т.п. принадлежат к категории места) или противоположности (конечное – бесконечное, четное – нечетное, движение – покой, свет – тьма, добро – зло и т.д.).
854
Так как А и Б представляют собой родовые понятия, исключающие друг друга, то А не присуще Б неотъемлемо (неопосредствованно), то-есть без посредства среднего термина.