Относительно аристотелевского различения между демонстративным и интуитивным знанием см. последнюю главу «Второй аналитики», II, 19, особенно 100b 5-17; см. также 72b 18-24, 75b 31, 84а 31, 90а 6/91а П. По поводу связи между демонстративным знанием и «причинами» вещи, «сущность которых есть нечто другое» и которые в связи с этим требуют среднего термина, см. «Вторая аналитика», II, 8, в частности, 93а 5, 93b 26. По поводу аналогичной связи между интеллектуальной интуицией и «неделимой формой», которую она схватывает, — неделимой сущностью и индивидуальной природой, которая тождественна с ее причинами, — см. «Вторая аналитика», 72b 24, 77а 4, 85а 1, 88b 35. См. также «Вторая аналитика», 90а 31: «Знать, что именно есть, и знать, почему есть» (т. е. причину) «означает… одно и то же», и 93b 21: «Суть некоторых [вещей] не опосредствована, и, стало быть, она начало».
Относительно аристотелевского утверждения о том, что мы где-то должны остановиться в регрессе доказательств, или демонстраций, и принять определенные принципы без доказательства, см., к примеру, «Метафизика», 1006а 7: «Для всего без исключения доказательства быть не может, ведь иначе приходилось бы идти в бесконечность…» См. также «Вторая аналитика», II, 3, 90b 18-27.
Следует упомянуть, что мой анализ теории определений у Аристотеля в основном согласуется с анализом Дж. Гроута, но частично расходится с анализом У. Росса. Самое большое различие между интерпретациями этих двух авторов может быть охарактеризовано при помощи двух цитат, заимствованных из глав их сочинений, посвященных анализу «Второй аналитики» Аристотеля (книга II). «Во второй книге Аристотель обращается к рассмотрению доказательств как инструментов, при помощи которых образуются определения» (W. Ross. Aristotle. 2nd ed., p. 49). Этому можно противопоставить: «Определение никогда не может быть доказано, поскольку оно только разъясняет сущность субъекта… тогда как доказательство предполагает сущность уже известной…» (G. Grote. Aristotle. 2nd ed., p. 241; см. также pp. 240-241. Ср. конец прим. 29 к настоящей главе.)
Аристотель. «Метафизика» 1031b 7 и 1031b 20. См. также 996b 20: «Мы обладаем знанием чего-либо… когда нам известно, что оно такое».
«Определение есть речь, обозначающая суть бытия (вещи]» (Аристотель. «Топика», I, 5, 101b 36; VII, 3, 153а, 153а 15; см. также «Метафизика», 1042а 17). — «Определение выражает суть [вещи]» («Вторая аналитика», II, 3, 91а 1). — «Под определением разумеют речь о сути [вещи]» («Вторая аналитика», П, 10, 93b 28). — «Быть определенным нечто свойственно лишь сущностям» («Метафизика», 1030а 5 и след.). — «Суть бытия каждой вещи, обозначение которой есть ее определение, также называется ее сущностью» («Метафизика», 1017b 21) — «Итак, совершенно очевидно, что определение есть обозначение сути бытия вещи…» («Метафизика», 1031а 13).
Рассматривая эти принципы, т. е. начала или базисные посылки доказательств, мы должны различать два вида таких начал: (1) Логические принципы (см. «Метафизика», 996b 25 и след.) и (2) Посылки, из которых должно исходить доказательство и которые, в свою очередь, не могут быть доказаны, если мы хотим избежать регресса в бесконечность (см. прим. 27 к настоящей главе). Посылки представляют собой определения: «Определения суть начала доказательств» («Вторая аналитика», II, 3, 90b 23; ср. 89а 17, 90а 35, 90b 23). См. также W. Ross. Aristotle, p. 45-46, в частности его комментарий по поводу «Второй аналитики», I, 4, 20-74а 4: «Начала науки, — пишет Росс (р. 46), — будут, нам говорят, per se в смысле (а) или (b)». А на предшествующей странице мы узнаем, что некая посылка необходима per se (или существенно необходима) в смысле (а) или (b), если она основывается на определении.
«И для всего остального, если оно имеет имя, будет обозначение, указывающее, что то-то присуще тому-то», — говорит Аристотель («Метафизика», 1030а 14, см. также 1030b 24) и объясняет, что не всякое обозначение имени есть определение, но если имя представляет собой один из видов некоторого рода, то его обозначение будет определением.
Важно заметить, что при моем способе использования термина «определение» (а я следую здесь современному использованию этого термина) определение всегда относится к целому предложению-определению, тогда как Аристотель (и другие, кто в этом следуют за ним, например, Гоббс) иногда использует это слово также как синоним «дефиниенса».
Не бывает определений единичных вещей. Определения всегда относятся только к универсалиям (см. «Метафизика», 1036а 28) и только к сущностям, т. е. к тому, что является видом некоторого рода (т. е. последним видовым отличием — см. «Метафизика», 1038а 19) и неделимой формой (см. «Вторая аналитика», II, 13, 97b 6 и след.).