3. «Следовательно, человек способен смеяться».
Поскольку мы начали с этой посылки и вернулись к ней же в заключении, это называется «круговым доказательством».
Таким образом, Аристотель опровергает и тех, кто отрицает доказательство, и тех, кто считает всё доказуемым, и утверждает истину: «для одних вещей доказательство есть, для других – нет».
Он указывает, что недоказуемы «непосредственные положения» (аксиомы), которые известны сами по себе лучше, чем через доказательство.
Если доказательство есть, то первые принципы необходимо знать заранее – но не через доказательство. Для опосредованных вещей доказательство необходимо, а для непосредственных (общих понятий) – нет: они познаются сами по себе, достовернее, чем через доказательство.
p. 72b47 «Ибо те, кто предположил, что вообще невозможно обладать знанием, требуют бесконечного восхождения».
«Те, говорит он, кто предположил, что доказательство вообще невозможно без предварительного знания первых [принципов] через другие, более ранние, требуют, чтобы те, кто утверждает существование доказательства, шли в бесконечность, если первые [принципы] обосновываются через другие, более ранние. Ибо иначе последующее нельзя познать, если предыдущее не гарантировано. Но если бесконечное невозможно пройти, то доказательство уничтожается. Это они говорили, предполагая ли, что вещи уходят в бесконечность, или принимая это гипотетически, если первые [принципы] всегда должны познаваться через другие, более ранние доказательства».
p. 72b10 «Они говорят правильно, ибо невозможно пройти бесконечное».
Почему правильно? Потому что без предварительного знания первых [принципов] вторые [принципы] не могут быть познаны. Это они говорили верно, и сам [Аристотель] в определении доказательства это принял. Однако они уже неверно предполагали, что эти [принципы] должны познаваться через доказательство.
p. 72b11 «Но если [принципы] останавливаются и существуют начала, то они неизвестны, поскольку нет их доказательства».
«Если, говорят они, вещи не уходят в бесконечность, но есть нечто первое, то необходимо знать его через доказательство. Но доказательство [осуществляется] через более ранние [принципы]. Следовательно, это невозможно познать. А если это не познано, то доказательство не сможет познать и то, что следует за ним».
p. 72b14 «Но гипотетически: если те [принципы] существуют».
«Абсолютно, говорят они, доказательства не будет из-за сказанного ранее, но гипотетически возможно обосновать нечто, что не является доказательством в строгом смысле. Например, если два – это пять, то и пять – это два, или если земля крылата, то у нее, конечно, есть крылья».
p. 72b15 «Другие же соглашаются, что знание [возможно], ибо оно существует только через доказательство, но ничто не мешает, чтобы для всего было доказательство».
«Эти, говорит он, соглашаются, что доказательство существует, но [требуют], чтобы первые [принципы] были познаны через доказательство, основанное на предварительном знании. Однако первые