Согласно решению этой проблемы, предложенному Витгенштейном, такое разделение достигается с помощью использования понятий «значение» или «смысл»: каждое осмысленное, или имеющее значение, предложение должно быть функцией истинности «атомарных» предложений, то есть должно быть полностью логически сводимо к сингулярным высказываниям наблюдения или выводимо из них. Если некоторое утверждение, претендующее на роль научного высказывания, не поддается такому сведению, то оно «не имеет значения», «бессмысленно», является «метафизическим» или просто «псевдопредложением». В итоге метафизика оказывается бессмысленной чепухой.
Может показаться, что, проведя такую линию демаркации, позитивисты достигли более полного успеха в уничтожении метафизики, чем все предшествующие антиметафизики. Однако этот метод приводит к уничтожению не только метафизики, но также и самого естествознания, ибо законы природы столь же несводимы к высказываниям наблюдения, как и рассуждения метафизиков. (Вспомним проблему индукции!) Если последовательно применять критерий значения Витгенштейна, то законы природы окажутся «бессмысленными псевдопредложениями», следовательно, «метафизическими» высказываниями. Поэтому данная попытка провести линию демаркации терпит крах.
Догму значения или смысла и порождаемые ею псевдопроблемы можно устранить, если в качестве критерия демаркации принять критерий фальсифицируемости, то есть, по крайней мере, асимметричной или односторонней разрешимости. Согласно этому критерию, высказывания или системы высказываний содержат информацию об эмпирическом мире только в том случае, если они обладают способностью прийти в столкновение с опытом, или — более точно — если их можно систематически проверять, то есть подвергнуть (в соответствии с некоторым «методологическим решением») проверкам, результатом которых может быть их опровержение.
Таким образом, признание односторонне разрешимых высказываний позволяет нам решить не только проблему индукции (заметим, что существует лишь один тип умозаключения, осуществляемого в индуктивном направлении, а именно — дедуктивный
Поэтому, перефразировав и обобщив хорошо известное замечание Эйнштейна, эмпирическую науку можно охарактеризовать следующим образом: в той степени, в которой научное высказывание говорит о реальности, оно должно быть фальсифицируемо, а в той степени, в которой оно не фальсифицируемо, оно не говорит о реальности.
Логический анализ может показать, что роль (односторонней) фальсифицируемости как критерия эмпирической науки с формальной точки зрения аналогична той роли, которую для науки в целом играет непротиворечивость. Противоречивая система не выделяет никакого собственного подмножества из множества всех возможных высказываний. Аналогичным образом нефальсифицируемая система не в состоянии выделить никакого собственного подмножества из множества всех возможных «эмпирических» высказываний (всех сингулярных синтетических высказываний).
Анри Пуанкаре
О науке
Книга I
Ученый и наука
Глава I
Выбор фактов
Граф Толстой где-то объясняет, почему «наука для науки» в его глазах представляется идеей, лишенной смысла. Мы не можем знать
Ясно, что для него слово «польза» не имеет того значения, какое ему обычно приписывают деловые люди, а за ними и большая часть наших современников. Он мало озабочен применением науки к промышленности, чудесами электричества или автомобильного спорта, на которые он смотрит скорее как на препятствие к моральному прогрессу; полезным является исключительно то, что делает человека лучшим.