Оба вопроса, в конечном счете, сходятся. Они представляют собой
Ближайшей отправной точкой для решения как логического аспекта проблемы, так и проблемы в целом, является то положение, что в необходимом, доказательном рассуждении мы соотносим между собой не суждения и понятия, а предметы этих понятий, применяя к ним суждения, входящие в умозаключения в качестве их посылок.
Поясним это положение на примере геометрического доказательства. В геометрическом доказательстве существенную роль играют построения; построения – душа, нерв геометрического доказательства. Но что, собственно, представляют собой построения?
При таком определении построения ясно, что наше положение, согласно которому построение новых объектов и оперирование с ними является существенно необходимым звеном доказательства, конечно, никак не означает, что доказательство совершается не путем рассуждения, а путем черчения. Оно означает только, что само рассуждение есть соотнесение его объектов, определенных в понятиях, а не этих последних самих по себе, объектов, которые имеют не только общие признаки, фиксированные в определении соответствующих понятий, но и частные признаки, посредством которых они соотносятся друг с другом.
Подстановка частных значений, без которых невозможно никакое доказательство, это и есть не что иное, как логическое выражение того положения, что в теоретическом рассуждении, в ходе которого мы выводим (дедуцируем) новые положения, мы, рассуждая в понятиях, оперируем над объектами этих понятий. Рассуждение – самое общее – возможно только, пока общее содержание понятий, фиксированное в соответствующих дефинициях, не оторвано от частных определений соответствующих объектов. Как только эта связь разрывается, всякая возможность рассуждения, доказательства, теоретического познания, при котором движение мысли приводит к познанию его объекта, обрывается[182]
. Именно в неотрывной связи мысли с ее объектом заложена возможность выводить новые познания.Известно, что именно рассуждение, приводящее к образованию дедуктивной системы положений, было использовано для того формалистического представления, будто мышление независимо от своего объекта[183]
. «Формалистическая» трактовка мышления неразрывно связана с дуалистической трактовкой соотношения мышления и бытия. Формализм – следствие и логический эквивалент дуализма. Отрицание формализма не означает, конечно, отрицания того, что у мышления есть своя форма, отличная от его содержания – так же как признание этого очевидного факта не может служить основанием для формализма. Одна и та же форма может оказаться применимой к разному содержанию, поскольку оно имеет и нечто общее, выступающее в его форме. Это не значит, что форма независима от содержания, от объектов мысли: это значит только, что она есть результат далеко идущего обобщения и потому независима от частных особенностей объектов мысли.