Проверяемые и непроверяемые высказывания¶

Проверяемые и непроверяемые — классификация высказываний по критерию возможности их эмпирической проверки, то есть по возможности подтвердить или опровергнуть их фактами. Проверяемое высказывание (также «эмпирически проверяемое») — это утверждение, истинность которого в принципе может быть установлена наблюдением, измерением или логическим выводом из проверяемых посылок. Непроверяемое высказывание — утверждение, для которого принципиально невозможна ни подтверждающая, ни опровергающая проверка: его нельзя ни доказать, ни опровергнуть эмпирическими средствами. Различие между двумя типами высказываний является одним из ключевых в логике, философии науки, теории познания и лингвистике.

¶История вопроса

Понятие проверяемости получило широкое распространение в философии XX века. Критерий верификации, сформулированный Венским кружком (Рудольф Карнап, Мориц Шлик, Ганс Рейхенбах и др.), утверждал, что высказывание имеет смысл лишь в том случае, если оно в принципе проверяемо опытом. Согласно этому критерию, метафизические утверждения («абсолютный дух развивается в истории», «сущность вещей недоступна познанию») лишены когнитивного смысла, поскольку не могут быть верифицированы.

Карл Поппер в работе «Логика научного исследования» (1934) предложил альтернативный критерий — фальсифицируемость. По Попперу, научным является не то, что можно подтвердить, а то, что в принципе может быть опровергнуто опытом. Невозможность опровержения, по Попперу, — признак псевдонаучности. Так, утверждение «все лебеди белы» проверяемо, поскольку достаточно найти одного чёрного лебедя, чтобы его опровергнуть, а утверждение «все лебеди белы или чёрны» практически неопровергаемо.

Впоследствии идея жёсткого критерия проверяемости подвергалась критике. Уильям Куайн в статье «Два догмы эмпиризма» (1951) показал, что граница между проверяемыми и непроверяемыми высказываниями размыта: любое утверждение можно защитить от опровержения, пересматривая вспомогательные допущения. Тем не менее различение проверяемых и непроверяемых высказываний остаётся полезным аналитическим инструментом.

¶Критерии разграничения

Высказывание считается проверяемым, если:

• для него в принципе существует процедура наблюдения или измерения, результат которой подтверждает или опровергает утверждение;
• оно допускает однозначную интерпретацию в терминах наблюдаемых величин;
• его можно вывести из уже проверенных утверждений логическим путём.

Высказывание считается непроверяемым, если:

• его предмет лежит вне сферы эмпирического опыта (например, утверждения о сверхъестественном);
• оно сформулировано так, что любые факты совместимы с ним;
• его условия истинности неопределённы.

¶Виды непроверяемых высказываний

Непроверяемые высказывания делятся на несколько типов.

Аналитические (тавтологические) высказывания истинны по определению и не требуют проверки опытом: «все холостяки неженаты», «квадрат имеет четыре стороны». Их истинность устанавливается логически, а не эмпирически.

Метафизические высказывания утверждают нечто о сверхчувственной реальности и не поддаются эмпирической проверке: «мир сотворён из ничего», «всё в мире подчинено закону причинности».

Теологические высказывания о существовании и свойствах Бога традиционно относят к непроверяемым: доказательства бытия Божьего (онтологическое, космологическое, телеологическое) не являются эмпирическими и не могут быть опровергнуты опытом.

Нормативные высказывания («нельзя лгать», «справедливость — высшая ценность») описывают не фактическое положение дел, а должное и потому не проверяются опытом.

Теоретические высказывания научных теорий (о строении атома, о природе гравитации) в отдельных формулировках могут быть непроверяемыми напрямую, но проверяются косвенно — через следствия, которые из них выводятся.

¶Проверяемость в естественных науках

В естественных науках проверяемость выступает одним из основных критериев научности. Физические теории формулируются так, чтобы из них можно было вывести проверяемые прогнозы. Так, общая теория относительности Эйнштейна была подтверждена в 1919 году наблюдением отклонения света звёзд вблизи Солнца во время затмения. Гипотеза о существовании нейтрино, предложенная Вольфгангом Паули в 1930 году, была подтверждена экспериментально лишь в 1956 году — но она была проверяемой, поскольку предсказывала конкретные следствия.

Вместе с тем в физике существуют и принципиально непроверяемые на практике положения — например, утверждения о событиях за горизонтом событий чёрной дыры или о состоянии Вселенной до Большого взрыва. Такие положения допускаются в научных теориях, но считаются второстепенными по сравнению с проверяемыми следствиями.

¶Проверяемость в гуманитарных науках

В гуманитарных науках (истории, социологии, лингвистике) проверяемость имеет свои особенности. Исторические утверждения («битва при Курске произошла в июле 1943 года») проверяемы по документам и свидетельствам. Социологические гипотезы проверяются статистическими данными и опросами. Лингвистические утверждения о законах языка проверяются на корпусах текстов.

Вместе с тем ряд гуманитарных утверждений остаётся непроверяемым — например, интерпретации художественных произведений, оценки культурного значения событий, прогнозы развития цивилизации.

¶Значение различения

Различение проверяемых и непроверяемых высказываний имеет практическое значение в нескольких областях:

• В науке — как критерий отбора гипотез и отделения научного знания от псевдонаучного.
• В образовании — при формировании критического мышления и навыков оценки информации.
• В юриспруденции — при оценке доказательств: показания свидетелей, заключения экспертов и иные данные должны быть проверяемыми.
• В журналистике — при верификации фактов и отделении утверждений, подтверждаемых источниками, от домыслов.

¶Критика

Критики жёсткого критерия проверяемости указывают, что он ведёт к сужению науки до эмпирических дисциплин и лишает смысла теоретические построения, которые сами по себе непроверяемы, но необходимы для объяснения проверяемых фактов. Другие авторы отмечают, что граница между проверяемым и непроверяемым не абсолютна и зависит от уровня развития техники и методов исследования: то, что было непроверяемым вчера, становится проверяемым сегодня.

¶Источники

• Карнап Р. Значение и необходимость. — М.: Изд-во иностр. лит., 1959.
• Поппер К. Логика научного исследования. — М.: Прогресс, 1983.
• Куайн У. Два догмы эмпиризма // Вопросы философии. — 1991. — № 4.
• Фейерабенд П. Против метода. — М.: АСТ, 2004.
• Стёпин В. С. Теоретическое знание. — М.: Прогресс-Традиция, 2003.