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

Проблема начала доказательства сегодня также актуальна, как и две с половиной тысячи лет тому назад, ибо многие представители современной зарубежной философии ставят под сомнение объективность научного знания, причём делают это далеко не лучшим образом, нежели скептики периода античной Греции. Каждое доказательство у Аристотеля есть своего рода умозаключение, но не всякое умозаключение служит доказательством. Нахождение начал доказательства есть обоснование самого доказательства. Но начало как основа доказательства, со своей стороны, также требует своего последующего обоснования и т.д. Регресс же в бесконечность, по Аристотелю, не даёт положительного решения проблемы, так как при нём возможность обоснования всякого рода знания вообще исключена. Однако если существует какой-то факт знания, то существует и начало доказательства. Отрицание начала здесь просто логически невозможно, так как само отрицание, как своего рода доказательство, должно иметь своё начало. Таким образом, необходимость начала доказательства заключается в невозможности его отрицания.

Далее. Существует множество наук, следовательно – множество начал. Но так как науки сходны между собой по их логической основе, то они должны иметь общее начало. Вот перед какой трудностью встал Аристотель и, решая её, не смог быть до конца последовательным, из-за чего и заслужил, не без определённых на то оснований, критику скептиков в pих «новых тропах».

Положение о невозможности противоречия является, согласно Аристотелю, недоказуемой основой доказательства. Однако своим допущением невозможности противоречия он уже заранее использовал категорию противоречия и не подозревал, что подлинное начало доказательства надо искать не в сфере аксиом, а в системе категорий, что как раз и было осуществлено К. Марксом (См.: Джохадзе Д.В. Диалектика Аристотеля. Авт-т дисс. канд. филос. наук. – Тбилиси, 1977. – С. 32).

Проблема начала доказательства у Аристотеля выглядит сложнее, чем это кажется с первого взгляда. Это видно хотя бы из того, что он различает «доказательство того, почему это так» от «доказательства того, что это так». В последнем случае имеется в виду доказательство, убеждающее нас в верности положения, но не выясняющее его причин, а в первом – доказательство, убеждающее в правильности чего-либо с помощью выяснения его причины (См.: Розенфельд Б.А., Юшкевич А.П. Теория параллельных линий на средневековом Востоке IX—XIV вв. – М.: Наука, 1983. – С. 68).

Данное разграничение, введённое Аристотелем в общую логику доказательства, вытекает из анализа предпосылок теоремы о сумме углов треугольника, которая была известна уже в глубокой древности. Её доказательство при этом опиралось на описание параллельных линий. Но, так как Аристотель всегда стремился поставить вопрос о подлинном начале, т.е. о таком начале, относительно которого не может существовать двух разных мнений, то его, естественно, не могли полностью удовлетворять и доказательства вышеупомянутой нами теоремы. Так, в «Аналитике первой» он отмечает: «Пусть А означает два прямых угла, Б – треугольник, а В – равнобедренный. А присуще В через Б; А же присуще Б не через что-то другое, ибо треугольник сам по себе имеет в совокупности два прямых угла. Так что для посылки АБ, которая хотя и может быть доказана, не будет среднего термина» (Аристотель. Соч. в 4-х т.: Т. 1. – С. 188).