Правильность этого силлогизма гарантирована связью нескольких посылок: обитание в озере, отсутствие брюшных плавников и присутствие мутации энхансера гена Pitx1. Демонстративный силлогизм предполагает такую каузальную связь, которая может быть выражена в определении. Мы обычно думаем об определении как о разъяснении смысла слова – и это, собственно, номинальное определение: озерная колюшка – это колюшка, не имеющая брюшных плавников. Однако Аристотель указал бы на средний термин (часть) силлогизма (который касается мутации энхансера гена Pitx1) как на каузальную связь: “Озерная колюшка – это колюшка, не имеющая брюшных плавников из-за мутации энхансера гена Pitx1”. Это доказательство, сказал бы он; это наука. Такие доказательства являются logos – “сущностью”, “формулой” вещей. Таким образом, его научный метод заключается в способе описания сущности вещей через фундаментальную причинность, лишенную случайных, а потому науке не интересных, признаков.

Трехиглые колюшки (Gasterosteus aculeatus)

Сверху: морская (проходная) морфа из Калифорнии

Снизу: озерная (пресноводная) морфа из оз. Пакстон, Британская Колумбия

Я говорил о теории доказывания Аристотеля так, будто она одна. Он посвятил большую долю “Второй аналитики” описанному здесь методу. Однако Аристотель допускает и другие методы доказывания, хотя говорит о них неопределенно. В трактате “О частях животных” Аристотель утверждал, что в естественных науках доказательство отличается от такового в “теоретических” науках наподобие геометрии. В биологии, считал он, следует начать с конца – с телеологической цели животного, и, двигаясь к началу, дедуктивным путем установить, как части животного служат конечной цели. Если подобные доказательства видоизменить, их можно привести к силлогизмам.

Несмотря на то, что доказательство – это двигатель научного метода Аристотеля, он признает недоказуемость некоторых фундаментальных утверждений, на которых построена наука. В их числе аксиомы его собственной силлогистики и некоторые неопределяемые понятия. Так, геометрии необходимо понятие о пространстве, арифметике – определение единицы. Аксиомы и неопределяемые понятия биологии не так очевидны. Но вот апофегма, которую Аристотель часто повторяет: “Природа ничего излишнего и напрасного не делает”. Он не стремился показать, как именно можно доказать подобное, и предполагал, что истинность таких утверждений легко устанавливается путем индукции (epagōgē), но, тем не менее, рассуждал, необходимы ли они для зарождения науки.

Он совершенно прав. И в наше время есть те, кто считает науку лишь одной из систем верований. Аристотелю приходилось иметь дело с такими людьми. Некоторые, писал он, утверждают, будто научное знание невозможно, поскольку любое умозаключение должно опираться на предыдущее умозаключение, предыдущее – на то, что ему предшествовало, и так до бесконечности, и поэтому мы не можем знать ничего. Другие, продолжал он, говорят о существовании возможности доказать все, что угодно: все есть истина, следовательно – и ложь.

Аристотель признавал, что оба допущения исключают возможность науки. Не существует бесконечной череды выводов, невозможно и доказательство всего на свете, ведь все наши аргументы так или иначе начинаются с аксиом и с наблюдения. Он говорил об этом воинственно – ему приходилось так поступать. Он должен был показать оппонентам – не только Платону, но и софистам с их диалектикой, – что получение истинного знания о мире, воспринимаемом при помощи чувств, возможно. Нам остается лишь догадываться, преуспел ли он. Современная наука зависит от аксиом не меньше, чем во времена Аристотеля, и ученые по большей части оправдывают это тем, что его аксиомы работают. Но Аристотель едва ли мог доказать свою правоту так, как современные ученые, буквально щелкнув выключателем