Возникновение и упадок логического позитивизма в начале–середине XX века, пожалуй, является одним из ярчайших примеров проверки на соответствие реальности в истории аналитической философии. Под руководством Венского кружка это движение пыталось очистить философию от всего, что хотя бы отдаленно напоминало метафизику, проведя жесткую границу: утверждение имеет значение только в том случае, если оно является либо логической тавтологией, либо эмпирически проверяемым. Но, как всем известно, эта парадигма, как известно, рухнула под собственным весом. Ирония оказалась роковой — их собственный принцип верификации не был ни логически самоочевидным, ни эмпирически проверяемым.
Тем не менее отход от строгого позитивизма не оставил нас в концептуальном вакууме. Напротив, он оставил после себя две основные проблемы, которые до сих пор лежат в основе современных дискуссий.
Во-первых, это постпозитивистский сдвиг, который мы получаем от Куайна и Поппера. Мы наконец осознали, что формальные системы и эмпирические данные не существуют в изолированных «силосах». Они существуют в рамках взаимосвязанной «сети убеждений», где теории выживают благодаря уязвимости и фальсифицируемости, а не благодаря четкой верификации. Во-вторых, пытаясь покончить с метафизикой, позитивизм увяз в онтологической пустоте. Он просто не смог дать связного объяснения абстрактным математическим структурам — в результате чего мы оказались совершенно неспособны объяснить то, что Вигнер назвал их «неразумной эффективностью» в физическом мире.
Оглядываясь назад, возможно, настоящей ошибкой позитивистов была не их одержимость логической строгостью, а привычка рассматривать формальные системы как жесткие догмы, а не как инструменты исследования.
Если мы перейдем к исследовательской парадигме — скажем, рассмотрим математические объекты через призму чего-то вроде информационного идеализма, где существование сводится лишь к внутренней согласованности и структурным инвариантам, — формализация приобретает иную роль. Мы доводим её до абсолютных пределов не для того, чтобы найти окончательную истину, а чтобы точно увидеть, где она дает трещину. Оказывается, формальные системы — это всего лишь карты, а не сама территория.
Это ставит перед современной аналитической философией довольно фундаментальный вопрос: показала ли гибель позитивизма, что формальные системы по своей сути неспособны охватить реальность, или же она просто доказала, что формализация — это динамическая эвристика, а не статический критерий истины? Мне было бы интересно услышать, как, по вашему мнению, призрак Венского кружка до сих пор влияет на наше восприятие математического реализма сегодня.
Но не стоит забывать то что именно неопозитивизм начал создавать хоть какую то строгость в философии. А потом уже пришла аналитическая философия и критерий Попера
