Глава 17

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

К числу наиболее независимых современных логиков принадлежит Карл Поппер, хотя и на него сильное влияние оказал Тарский. Логические работы Поппера выходили до сих пор лишь в виде статей. Свою работу «Новые основания логики» («Mind», 1947)26 он начинает с рассмотрения проблемы, которую считает фундаментальной для логики: как отличить корректные выводы от корректных. Следуя Тарскому, он определяет корректный вывод как построенный таким образом, что в любой интерпретации при истинности его посылок будет истинно и его заключение. Так, например, вывод если р и q, то р является корректным, поскольку при подстановке любых истинных высказываний вместо переменных р и q в формуле р и q заключение р, в той же самой интерпретации, также будет истинным.

В этом случае корректность вывода тривиальна; мы могли бы возразить, что формула если р и q, то р «вовсе не является выводом». Но Поппер целенаправленно выбирает тривиальные примеры, поскольку в его задачу входит выполнить программу, которую он в своем выступлении на Х Международном философском конгрессе (1948) назвал «тривиализацией математической логики». Предыдущие попытки придать логике тривиальный характер с помощью таблиц истинности потерпели крах; Поппер выбирает совсем другое направление для атаки. Он прежде всего намерен показать, что все основные понятия математической логики можно определить на основе одного исходного понятия — транзитивного и рефлексивного отношения выводимости. По мнению Поппера, он может определить с помощью выводимости даже квантификацию и тождество, которые не поддаются определению таблично-истинностным методом. Затем, не используя ничего, кроме тривиальных выводов, из этих определений можно, считает он, вывести всю сложную структуру математической логики и таким образом построить, говоря его языком, «логику без допущений». Она не содержит аксиом, поскольку в качестве исходного пункта оказывается достаточным одно общее понятие выводимости.

Логика, семантика и методология

==315

Вначале Поппер приобрел известность в англоязычных странах благодаря своей книге «Открытое общество и его враги» (1945), которая произвела почти сенсацию своей ожесточенной критикой Платона и Гегеля, но эта книга, хотя в ней по ходу дела обсуждаются разнообразные логические и методологические вопросы, в основном выходит за рамки наших интересов. Его «Логика научного открытия» (1935) была опубликована в (значительно расширенном) английском варианте только в 1959 г., а до этого в течение многих лет ее было нелегко найти. Тем не менее основные идеи Поппера оказали значительное влияние на работы по методологии британских авторов 27.

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

Хотя Поппер никогда не был членом Венского кружка, он поддерживал тесные контакты с ним, и его «тезис опровержимости» часто истолковывался, например Карнапом, как измененный вариант верификационной теории значения 28. Его тезис понимали так: «нет, не принципиальная верифицируемость, а принципиальная опровержимость является критерием осмысленности». Однако на самом деле Поппер был убежден, что «проблема значения» не имеет реальной важности; по его мнению, попытки позитивистов найти «критерий осмысленности» не дали положительных результатов, а лишь привели к принятию совершенно произвольных допущений. Опровержимость в его понимании — это не критерий значения, а метод разграничения науки и того, что имеет только видимость науки.

Иногда утверждают, что научной является гипотеза, которая может быть подтверждена; иногда считают научной гипотезу, если она имеет высокую степень вероятности или если она «объясняет все, что может произойти». Тезис опровержимости направлен против всех этих точек зрения. Согласно Попперу, если гипотеза «объясняет» любую возможность, она не объясняет ничего; объясняя одни данные наблюдения, она должна быть несовместимой с некоторыми другими возможными данными наблюдения. На этом основании Поппер отвергает претензии марксизма на научность. Согласно марксисту, что бы ни произошло, оно должно подтверждать его гипотезы относительно хода социального развития, но если это так, марксист никогда не сможет объяснить, почему что-то произошло так, а не иначе; следовательно, его «гипотезы» являются совершенно ненаучными по характеру.

Далее, совсем нетрудно придумать гипотезу, имеющую «высокую степень вероятности». Все, что для этого нужно, — это высказать некоторое тривиальное или пустое предположение; чем меньше то, к чему оно нас обязывает, тем более вероятным оно является. Так, если нам нужно объяснить, почему у кого-то повышенная температура, то в этом случае объясне-

==316