Кондильяк, однако, как и мыслители XVII в., видит в математике идеал подлинного знания и убежден, что ее методы могут и должны быть перенесены во все науки. Он много внимания уделяет исследованию математических методов и пишет большой труд о языке исчислений. Учитывая взаимосвязь всех отраслей математики и рассматривая любое математическое доказательство как цепь предложений, лишь повторяющих в различных выражениях смысл исходной дефиниции, Кондильяк не останавливается перед тем, чтобы заявить: вся математика, эта обширнейшая научная дисциплина, заключена в идее, содержащейся в одном слове (см. 16, 3, 22). Эту рационалистическую концепцию, гипертрофирующую роль тождества в познании, Кондильяк даже распространяет на все наши знания.
Философ подчеркивал неудовлетворительность интеллектуальной интуиции как критерия истины. Он писал, что ни Декарт, ни его последователи не могли вразумительно объяснить, как отличить очевидное положение от неочевидного (см. 16, 2, 50). Имея в виду одного из авторов «Логики Пор-Рояля» (где дается описание признаков очевидности с точки зрения учения Декарта), Кондильяк подчеркивает, что разъяснения этого «знаменитого картезианца» и признаки, по которым, согласно его взглядам, можно распознать очевидность разума, неопределенны. Но сам Кондильяк к очевидности чувства и очевидности факта требует также присоединять очевидность разума и довольно обстоятельно разъясняет, почему для приобретения истинных знаний необходимо сочетать все эти три очевидности. При этом оказывается, что «наилучшим образом доказанные самые достоверные истины подчас оказываются в противоречии с тем, что мы считаем убедительным…» (16, 3, 182). И философ призывает не верить тому, что мы видим, сомневаться в том, что всегда казалось нам вне сомнений, все проверять. А проверка (в том числе и выдвижение гипотез, и проведение экспериментов) обязательно требует рассуждений, логическая безупречность которых всецело покоится на очевидности разума. Получается, что для приобретения истинных знаний необходимо опираться не только на чувственную интуицию, но и на интуицию интеллектуальную; и само истинное знание может оказаться не только отличным от того, что «очами видно», но даже противоположным непосредственному чувственному впечатлению.
Что же такое очевидность разума? «…Очевидность разума, — отвечает на этот вопрос Кондильяк, — относится исключительно к тождеству идей» (там же, 23). Такой очевидностью обладают предложения очевидные сами по себе и предложения, являющиеся очевидными следствиями из самоочевидных предложений[9]. А очевидно само по себе любое тождественное предложение, т. е. предложение, которое можно свести к форме: данное нечто есть данное нечто. Аналогичным образом характеризуется очевидность следования одних предложений из других. Предложение Б есть самоочевидное следствие предложения А тогда и только тогда, когда смысл предложения Б полностью заключен в смысле предложения А; при этом смысл предложения А может быть шире смысла предложения Б, но смысл последнего ни в коем случае не может быть шире смысла предложения А. Таким образом, в основе следования одного предложения из другого лежит тождественность их смыслов. Любое рассуждение состоит из звеньев, каждое из которых есть выведение очевидного следствия из ранее доказанного предложения. Так как предложение является очевидным следствием другого предложения, когда смысл обоих совершенно идентичен, то «очевидность рассуждения состоит исключительно в тождественности» (там же, 11). На примере доказательства теоремы о площади треугольника Кондильяк старается показать, что, как бы много звеньев ни содержало в себе рассуждение, различия между ними носят чисто словесный характер. Все промежуточные звенья привлекаются лишь для того, чтобы обнаружить самоочевидность тождества смысла первого и последнего звеньев.
Анализом Кондильяк называет не только описанное выше расчленение и соединение элементов познаваемого, но и действия ума по выявлению посредством привлечения промежуточных предложений идентичности доказываемого тезиса и предложения, с которого начинается доказательство. Придавая такое большое значение очевидности разума и различая предложения очевидные сами по себе (интеллектуальная интуиция) и очевидные следствия этих предложений (дедукция), Кондильяк явно следует за Декартом. В целом же его интерпретация самоочевидных истин, рассуждений и доказательств воспроизводит мысли Лейбница. Последний давал истинам разума «название тождественных, так как они, по-видимому, повторяют только то же самое…» (18, 369). Эти истины типа «А есть А» Лейбниц считал самоочевидными, поскольку их доставляет интуитивное познание, имеющее место тогда, «когда дух замечает соответствие двух идей непосредственно по ним самим…» (там же, 368). А о демонстративном познании Лейбниц писал: «Часто дух не может соединить между собой, сравнить или непосредственно приложить друг к другу идеи, и это заставляет его пользоваться для открытия искомого соответствия или несоответствия другими, опосредствующими (одной или несколькими) идеями. Это называют рассуждением», при этом «каждый шаг разума при доказательстве представляет собой интуитивное познание или простую очевидность…» (там же, 374–375).
Разумеется, Кондильяк ставит в начале цепи предложений, образующих доказательство, предложение, выражающее идею, удостоверенную «очевидностью факта», т. е. наблюдением, чувственным опытом. В этом кардинальном вопросе позиция автора «Трактата об ощущениях» диаметрально противоположна позиции Декарта и Лейбница, которые усматривали источник идей, образующих фундамент демонстративного познания, не в опыте, а в самом разуме.
Могут возразить, замечает Кондильяк, следующее: если рассуждение лишь выявляет тождество смысла исходного предположения, всех промежуточных предложений и заключений, не означает ли это бессодержательность, бесполезность рассуждения, ведь мы в таком случае остаемся на том месте, с какого начали? Возможность обвинения в том, «что мы тратим время на составление пустых предложений и что все тождественные истины ничего не стоят» (там же, 370), предвидел и Лейбниц. Чтобы продемонстрировать несостоятельность этого возражения, Лейбниц показал решающую роль принципа тождества при доказательстве второй, третьей и четвертой фигур силлогизма и аксиом математики. Аргументация немецкого философа здесь остается всецело в рамках логики, т. е. в пределах мышления.