Подобные логические ограничения могут показаться далекими от современного научного метода, и в некотором смысле это так. Однако стремление Аристотеля построить науку на почве силлогизмов, я думаю, понятно любому современному ученому. Предполагаю, что “История животных”, будучи далекой от естественной истории или таксономии, служит поиску ассоциаций между признаками животных. Это, по сути, просеивание данных. Таким образом, силлогистика Аристотеля дает возможность закрепить ассоциации, показать, что они истинны. Истинные ассоциации, в свою очередь, требуют каузальных объяснений. Их также помогает найти силлогистика.
Можно проиллюстрировать этот метод примером из современной биологии. В заливах и эстуариях Северной Европы и Америки обитает трехиглая колюшка (
Все озерные колюшки лишены брюшных плавников.
Все колюшки, лишенные брюшных плавников, имеют мутацию энхансера гена
Следовательно, все озерные колюшки имеют мутацию энхансера гена
Правильность этого силлогизма гарантирована связью нескольких посылок: обитание в озере, отсутствие брюшных плавников и присутствие мутации энхансера гена
Трехиглые колюшки (
Я говорил о теории доказывания Аристотеля так, будто она одна. Он посвятил большую долю “Второй аналитики” описанному здесь методу. Однако Аристотель допускает и другие методы доказывания, хотя говорит о них неопределенно. В трактате “О частях животных” Аристотель утверждал, что в естественных науках доказательство отличается от такового в “теоретических” науках наподобие геометрии. В биологии, считал он, следует начать с
Несмотря на то, что доказательство – это двигатель научного метода Аристотеля, он признает недоказуемость некоторых фундаментальных утверждений, на которых построена наука. В их числе аксиомы его собственной силлогистики и некоторые неопределяемые понятия. Так, геометрии необходимо понятие о пространстве, арифметике – определение единицы. Аксиомы и неопределяемые понятия биологии не так очевидны. Но вот апофегма, которую Аристотель часто повторяет: “Природа ничего излишнего и напрасного не делает”. Он не стремился показать, как именно можно доказать подобное, и предполагал, что истинность таких утверждений легко устанавливается путем