Этьенн Бонно де Кондильяк

Что же такое очевидность разума? «…Очевидность разума, — отвечает на этот вопрос Кондильяк, — относится исключительно к тождеству идей» (там же, 23). Такой очевидностью обладают предложения очевидные сами по себе и предложения, являющиеся очевидными следствиями из самоочевидных предложений[9]. А очевидно само по себе любое тождественное предложение, т. е. предложение, которое можно свести к форме: данное нечто есть данное нечто. Аналогичным образом характеризуется очевидность следования одних предложений из других. Предложение Б есть самоочевидное следствие предложения А тогда и только тогда, когда смысл предложения Б полностью заключен в смысле предложения А; при этом смысл предложения А может быть шире смысла предложения Б, но смысл последнего ни в коем случае не может быть шире смысла предложения А. Таким образом, в основе следования одного предложения из другого лежит тождественность их смыслов. Любое рассуждение состоит из звеньев, каждое из которых есть выведение очевидного следствия из ранее доказанного предложения. Так как предложение является очевидным следствием другого предложения, когда смысл обоих совершенно идентичен, то «очевидность рассуждения состоит исключительно в тождественности» (там же, 11). На примере доказательства теоремы о площади треугольника Кондильяк старается показать, что, как бы много звеньев ни содержало в себе рассуждение, различия между ними носят чисто словесный характер. Все промежуточные звенья привлекаются лишь для того, чтобы обнаружить самоочевидность тождества смысла первого и последнего звеньев.

Анализом Кондильяк называет не только описанное выше расчленение и соединение элементов познаваемого, но и действия ума по выявлению посредством привлечения промежуточных предложений идентичности доказываемого тезиса и предложения, с которого начинается доказательство. Придавая такое большое значение очевидности разума и различая предложения очевидные сами по себе (интеллектуальная интуиция) и очевидные следствия этих предложений (дедукция), Кондильяк явно следует за Декартом. В целом же его интерпретация самоочевидных истин, рассуждений и доказательств воспроизводит мысли Лейбница. Последний давал истинам разума «название тождественных, так как они, по-видимому, повторяют только то же самое…» (18, 369). Эти истины типа «А есть А» Лейбниц считал самоочевидными, поскольку их доставляет интуитивное познание, имеющее место тогда, «когда дух замечает соответствие двух идей непосредственно по ним самим…» (там же, 368). А о демонстративном познании Лейбниц писал: «Часто дух не может соединить между собой, сравнить или непосредственно приложить друг к другу идеи, и это заставляет его пользоваться для открытия искомого соответствия или несоответствия другими, опосредствующими (одной или несколькими) идеями. Это называют рассуждением», при этом «каждый шаг разума при доказательстве представляет собой интуитивное познание или простую очевидность…» (там же, 374–375).

Разумеется, Кондильяк ставит в начале цепи предложений, образующих доказательство, предложение, выражающее идею, удостоверенную «очевидностью факта», т. е. наблюдением, чувственным опытом. В этом кардинальном вопросе позиция автора «Трактата об ощущениях» диаметрально противоположна позиции Декарта и Лейбница, которые усматривали источник идей, образующих фундамент демонстративного познания, не в опыте, а в самом разуме.

Могут возразить, замечает Кондильяк, следующее: если рассуждение лишь выявляет тождество смысла исходного предположения, всех промежуточных предложений и заключений, не означает ли это бессодержательность, бесполезность рассуждения, ведь мы в таком случае остаемся на том месте, с какого начали? Возможность обвинения в том, «что мы тратим время на составление пустых предложений и что все тождественные истины ничего не стоят» (там же, 370), предвидел и Лейбниц. Чтобы продемонстрировать несостоятельность этого возражения, Лейбниц показал решающую роль принципа тождества при доказательстве второй, третьей и четвертой фигур силлогизма и аксиом математики. Аргументация немецкого философа здесь остается всецело в рамках логики, т. е. в пределах мышления.