Уже в теории Фреге принималась дуальность доказательства и понимания, поскольку «значение» раздвоилось на «смысл» и собственно «значение» (das Sinn и die Bedeutung). Фреге представил этим понятиям точные формулировки, удобные для математических теорий. Значение переменной, как результат математической операции (действия), есть объект (например, число), тогда как само действие или операция является смыслом написанных на бумаге знаков. Из этих идей исходили и Рассел, и Гуссерль, но намеченные ими пути разошлись. Продолжая труд Фреге по логическому анализу основ математики, Рассел, логики-математики и философы логического позитивизма явно или неявно исходили из представления о значении как совокупности обозначенных объектов. Дело в том, что логика и математика по возможности опираются на экстенсиональные (объемные) характеристики выражений. Для них, в частности, «истина» является не метафизическим понятием, а просто множеством всех истинных утверждений; соответственно «определить понятие истины» означает прозаичную вещь – указать каким-то образом совокупность всех истин (то есть объектов, которые называются «истинными предложениями»). На этом пути теоретики сумели создать прекрасную теорию доказательства.
Гуссерль, феноменология, а затем и экзистенциализм отталкивались от туманной идеи смысла как субъективной данности, как репрезентации мира в человеческом духе и интеллекте.
Феноменологию Гуссерля интересует именно интенсиональная (содержательная) сторона мышления, мыслительный процесс как понимание и операция над смыслами.
Философия логического позитивизма, принципы которой сформировались в межвоенной Австрии («Венский кружок»), стала чрезвычайно авторитетной в научной среде в 1940–1950-е гг., в первую очередь в США, куда преимущественно эмигрировали австро-немецкие и польские либеральные ученые. Она хорошо согласовывалась с формалистической трактовкой математики и эмпирическим и чисто инструментальным толкованием достижений новейшей физики, развитым, в частности, Копенгагенской школой. Взгляд на научную теорию как на всего лишь орудие для предсказания результатов наблюдения и эксперимента не удовлетворяет многих ученых, но имеет свои практические преимущества. Развитие математической физики столь бурное, что уверенность в истинности ее построений благодаря все более тонким математическим доказательствам и все более изобретательным экспериментам достигается намного раньше, чем понимание смысла научных открытий. В эмпирических науках вообще в этот период все более широкое применение приобретает понятие вероятности, а в квантовой механике предсказания вероятности результатов эксперимента просто вытесняет классическое причинное объяснение. Место нерушимой объективной причины занимает математическое ожидание, а следовательно, разрушается вся привычная схема научного объяснения природных явлений. Для определения того, приемлема физическая теория или нет, достаточно вычислений, математических доказательств и экспериментальной проверки. Физика стремится вообще отказаться от таинственного «смысла», ограничившись так называемым «физическим смыслом» формул как результатом их соотношения с опытным материалом через ряд промежуточных гипотез и вычислений. Главное же – содержание того, что рассказывает нам о реальном мире абстрактная теория языком математики, – остается при этом (по крайней мере на первых стадиях развития теории) за пределами понимания.
Когда-то кардинал Беллармин был готов согласиться с Галилеем, лишь бы только ученый признал свою гелиоцентрическую гипотезу не более чем математическим инструментом для вычислений. Сегодня, кажется, сама наука для удобства избирает взгляды инквизиции.
Что скрывалось за релятивистским «отказом от объективной истины» в математизированном природоведении? Наука XX века, в сущности, ни на минуту не отказывалась от максимализма своих давних борцов за истину. Самый радикальный релятивизм и конвенционализм не отдал скептикам ни одной формулы. Однако непримиримой осталась защита истины только как защита научной обоснованности отстаиваемых тезисов процедурами доказательства, верификации и фальсификации гипотез. Что же касается смысла научных утверждений, то здесь точные науки готовы были признать безграничную готовность к компромиссам. Теоретическое природоведение вырвалось на безграничное пространство таких высоких абстракций, что им невозможно найти соответствия в нашем чувственном опыте, как невозможно представить бесконечность или ультрафиолетовый цвет. Староверский «диалектический материализм» упрямо пытался держаться за наглядно представляемые предметы, но уместить свои абстракции в мире вещей, которые можно увидеть, потрогать и лизнуть, наука давно не может.
В этом и заключался отказ позитивистски настроенной науки от универсальности и объективности истины. И источники такой познавательной установки – в природе научного прогресса, который смог освободить мышление теоретика от пут ошибочной «наглядности» и «очевидности». А альтернативу «действительного смысла» и «правильного понимания» вне мира непосредственно наблюдаемых или хотя бы воображаемых вещей найти не удалось.
Однако развитие исследований и последующая их техническая специализация не привели к утверждению рационализма в новейшей логико-позитивистской форме. Сосредоточиваясь на экстенсиональных характеристиках мира, теряя контакт со смысловыми его характеристиками, рационализм в форме аналитической философии-науки оказался в роли философски-логической секты и во второй половине XX века потерял серьезное влияние на духовную историю.
Связь логико-математического и структурно-лингвистического формализма с вычислительной техникой, которая начала бурно развиваться в 1950-х гг., поддерживала авторитет аналитической философии.
На протяжении 1930–1960-х гг. реализация программы логического анализа дедуктивных наук принесла выдающиеся результаты и позволила по крайней мере сказать, какие задачи проекта являются разрешимыми. В целом попытка отобразить всю конструкцию науки в стройной системе дедуктивных построений оказалась максималистской и неисполнимой. Но для гуманитариев, по-видимому, существеннее всего не открытие принципиальной неполноты дедуктивных построений, а отказ от попыток радикального устранения «абстрактных объектов». Первичный замысел Рассела заключался в том, чтобы любой разговор о классах или множествах перевести в разговор об индивидуальных вещах и их свойствах. Нет абстрактной сущности «сладость», а есть множество сладких вещей. Нет класса «пролетариат», а есть конкретные рабочие, которые зарабатывают на хлеб своими руками. Конечно, построение удобной математической модели, которая обходилась бы без таких абстрактных объектов как классы, не привела бы к справедливости либерального индивидуализма, потому что жизнь не является математикой. Но все же с победой номинализма либеральное мировоззрение получило бы определенную поддержку. Однако интенсивные поиски номиналистических решений в логике и метаматематике в 1940–1950-х гг. закончились в конечном итоге неудачей.
Более существенным для всего европейского сознания вопрос заключается в том, принадлежат ли идеи и цели, которые являются бесконечными и воплощаются в интеллектуальных, моральных и правовых нормах, совокупному общественному сознанию, в частности, реализуются в целях нации и государства, – или же цели должны преследоваться только отдельными людьми, а дело государства и других общенациональных институций – следить за соблюдением норм, и не больше. Приоритет национально-государственнической идеологии означал бы также принятие за исходный принцип потребности не отдельных индивидов, а «общества в целом» или «социальных классов в целом», то есть абстрактных объектов – социальных фантомов, которые противостоят реальным людям.
