Введение
Верификационизм, также известный как принцип верификации или критерий проверяемости смысла, – это философское учение, утверждающее, что высказывание имеет смысл только если оно либо эмпирически проверяемо (то есть подтверждено посредством чувственного опыта), либо является логической истиной (например, тавтологией). Верификационизм отвергает утверждения метафизики, теологии, этики и эстетики как когнитивно бессмысленные. Такие высказывания могут быть значимы в плане воздействия на эмоции или поведение, но не в плане передачи истинности, информации или фактического содержания. Верификационизм был центральной темой логического позитивизма – направления в аналитической философии, возникшего в 1920-х годах среди философов, стремившихся объединить философию и науку под общей натуралистической теорией познания.
Verificationism, also known as the verification principle or the verifiability criterion of meaning, is the philosophical doctrine which asserts that a statement is meaningful only if it is either empirically verifiable (i. e. confirmed through the senses) or a truth of logic (e. g., tautologies). Verificationism rejects statements of metaphysics, theology, ethics, and aesthetics, as cognitively meaningless. Such statements may be meaningful in influencing emotions or behavior, but not in terms of conveying truth value, information, or factual content. Verificationism was a central theme of logical positivism, a movement in analytic philosophy that emerged in the 1920s by philosophers who sought to unify philosophy and science under a common naturalistic theory of knowledge.
Происхождение
Хотя более ранние философские принципы, стремящиеся обосновать научную теорию в некотором проверяемом опыте, можно найти в работах американского прагматика К. С. Пирса и французского конвенционалиста Пьера Дюхема, проект верификационизма был разработан логическими позитивистами, возникшими в 1920-х годах в Берлинском и Венском кругах. Они стремились к такой эпистемологии, при которой философский дискурс, по их мнению, был бы столь же авторитетным и осмысленным, как и эмпирическая наука. Логические позитивисты заимствовали критерий верифицируемости когнитивной значимости из философии языка Людвига Витгенштейна, представленной в его книге 1921 года «Tractatus», и под руководством Бертрана Рассела стремились переформулировать аналитико-синтетическое различие таким образом, чтобы свести математику и логику к семантическим конвенциям. Это имело решающее значение для верификационизма, поскольку в противном случае логика и математика были бы классифицированы как синтетическое априорное знание и признаны «бессмысленными» с точки зрения верификационизма. Ориентируясь на эмпиризм Дэвида Юма, Огюста Конта и Эрнста Маха – а также на позитивизм последних двух – они заимствовали некоторые идеи у Иммануила Канта и считали общей теорией относительности Альберта Эйнштейна образцом науки.
Переработки
Логические позитивисты Венского круга быстро осознали, что критерий верификации был излишне строгим. Особенно важно, что универсальные обобщения эмпирически не верифицируемы, и, следовательно, при верификационизме обширные области науки и разума, такие как научные гипотезы, оказались бы лишены смысла. Рудольф Карнап, Отто Нейрат, Ханс Хан и Филипп Франк возглавили группу, стремившуюся сделать критерий верификации более инклюзивным, положив начало движению, которое они назвали «либерализацией эмпиризма». Мориц Шлик и Фридрих Вайсман возглавили «консервативное крыло», придерживавшееся строгого верификационизма. В то время как Шлик стремился свести универсальные обобщения к системе «правил», из которых можно вывести верифицируемые утверждения, Хан утверждал, что критерий верификации должен учитывать неполную верифицируемость. Среди других идей, продвигаемых движением либерализации, были физикализм (в противовес феноменализму Маха), когерентизм (в противовес фундаментализму), а также прагматизм и фаллибилизм. В 1936 году Карнап предпринял попытку перейти от верификации к подтверждению. В том же году была опубликована работа А.Дж. Айера «Язык, истина и логика», в которой он предложил два типа верификации: сильную и слабую. Эта система поддерживала окончательную верификацию, но допускала вероятностное включение в случаях, когда верификация не является окончательной. Айер также различал практическую и теоретическую верифицируемость. Согласно последней, предложения, которые невозможно верифицировать на практике, все же могут быть осмысленными, если они верифицируемы в принципе.
Критика
Верификационизм подвергся критике со стороны некоторых философов, таких как Карл Поппер, еще один выпускник Венского университета, хотя и не входивший в Венский круг. Поппер выделил три основных проблемы верификационизма:
Верификационизм отвергает универсальные обобщения, такие как «все лебеди белые», как бессмысленные. Поппер утверждает, что, хотя универсальные утверждения нельзя верифицировать, их можно фальсифицировать. Более того, Поппер утверждает, что универсалии могут быть научно полезными. Верификационизм допускает классификацию некоторых явно ложных экзистенциальных утверждений, таких как «существуют оборотни», как научно значимых, поскольку теоретически можно найти их где-то, где их еще не искали. По своей собственной логике верификационизм бессмыслен, поскольку его нельзя эмпирически верифицировать. В книге «Логика научного исследования» (1959) Поппер предложил фальсифицируемость как предпочтительный метод определения научной природы гипотезы, хотя ее часто ошибочно понимали как пересмотр верификационизма. Под влиянием контрастных подходов Альберта Эйнштейна и Зигмунда Фрейда Поппер предложил фальсифицируемость как стандарт, специфичный для науки, а не как теорию значения. Поппер считал, что научные гипотезы никогда не могут быть полностью верифицированы, а также не «подтверждены» в смысле тезиса Рудольфа Карнапа. Именно псевдоученые приходят к заключению и ищут информацию для верификации своих утверждений. Ученые же используют гипотезу для обозначения наиболее вероятного объяснения, основанного на текущих данных, и стремятся опровергнуть гипотезу, чтобы продолжить обучение. В 1958 году Норвуд Хансон объяснил, что даже прямые наблюдения должны собираться, сортироваться и представляться с учетом руководства и ограничений теории, которая задает горизонт ожиданий и интерпретации, показывая, что наблюдательные отчеты никогда не бывают нейтральными и нагружены теорией. Знаковая книга Томаса Куна 1962 года «Структура научных революций», в которой были определены научные парадигмы, свергнутые революционной наукой в фундаментальной физике, критически подорвала уверенность в научном фундаментализме – теории, которую обычно, хотя и ошибочно, приписывают верификационизму. В 1967 году Джон Пассмор, ведущий историк философии XX века, написал: «Логический позитивизм мертв, или настолько мертв, насколько может быть философское течение». Падение логического позитивизма ознаменовало наступление постпозитивизма, когда возвысился взгляд Поппера на человеческое знание как на гипотетическое, постоянно растущее и открытое для изменений; его спросили, какие основные недостатки он видит в нем, и он ответил, что «почти все это было ложно».