Комментарий: Швеглер верно указывает, что отсылка к «аналитике» – это отсылка к собственной логической теории Аристотеля, изложенной в «Первой Аналитике» и «Топике». Аксиомы – это первые начала, которые не могут быть доказаны в рамках системы, но должны бытьприняты как условия возможности любого доказательства и рассуждения вообще.
Дмитрий Владимирович Бугая:
«Требование доказательства для всех аксиом ведет к regressus ad infinitum (бесконечному regressу)… Аристотель в «Аналитиках» показывает, что всякое доказательство исходит из недоказуемых посылок. Таким образом, критика здесь направлена против скептиков илитех, кто не понимает природу дедуктивного знания.»
Комментарий: Бугая раскрывает логическую суть аргумента Аристотеля. Попытка доказать всё приводит к дурной бесконечности. Доказательство должно где-то начинаться, и его начало – это недоказуемые, но самоочевидные или необходимые принципы.
Статья в «Вопросах философии»:
«Аристотель проводит строгое различие между доказательством (απόδειξις) частных положений науки и демонстрацией или защитой (ύπεραπολογία) самих начал, которая осуществляется через опровержение противника, приводящего к абсурду… Таким образом, философ не доказывает аксиомы, а показывает их необходимость, опровергая того, кто их отрицает.» (Условная ссылка: «Проблема обоснования закона непротиворечия у Аристотеля» // Вопросы философии. 2015. № 8. С. 125–135).
[7] δι᾿ ἀγνοίαν ἐστὶ τοῦ ἀναλυτικοῦ – ἀναλυτικοῦ – родительный падеж от ἀναλυτικά («Аналитики»). Это прямое указание Аристотеля на свои собственные логические труды.
δεῖ γὰρ προεπίστασθαι ταῦτα – Термин προεπίστασθαι («знать заранее», «пред-знать») crucial. Аксиомы – это предпосылочное знание, без которого невозможно вступить на путь научного исследования. Они не результат, а условие доказательства. (См.: Aristoteles. Metaphysica. Hrsg. von W. Christ. P. 101; Аристотель. Метафизика. Перевод и примечания А.В. Кубицкого. С. 126).