Объективное знание. Эволюционный подход - Поппер Карл Раймунд (книги онлайн TXT) 📗
Сегодня все это почти слишком тривиально для упоминания. Но все еще полно философов, считающих, что любое понятие, например понятие истины, логически законно только в том случае, если существует критерий, позволяющий нам решить, подходит ли некоторый предмет под данное понятие, или нет. Например, в третьем томе «Философской энциклопедии» ("Encyclopedia of Philosophy") 1967 года есть статья [296] в которой мой взгляд, что нет общего критерия истинности научных теорий, резюмируется в виде краткого, но совершенно искажающего этот взгляд положения, в котором мне приписывается мнение, будто «истина сама есть всего лишь иллюзия». А во втором томе этой же энциклопедии нам сообщают, что в поздних работах Витгенштейна предполагается, «что понятие пусто (vacuous), если не существует критерия его применения» [297].
Термин «позитивизм» имеет много значений, но этот (витгенштейнианский) тезис, что «понятие пусто, если не существует критерия его применения», по-моему, выражает самую суть позитивистских тенденций. (Эта идея очень близка к позиции Юма). Если принять эту интерпретацию позитивизма, то позитивизм опровергается современным развитием логики и особенно теорией истины Тарского, которая содержит теорему: для достаточно богатых языков не может быть общего критерия истинности. Эта теорема, конечно, имеет величайший интерес, если вспомнить классический спор между стоиками (а позднее картезианцами) с одной и скептиками с другой стороны. Это один из редких примеров того, как классический философский спор решается, можно сказать, с помощью теоремы, принадлежащей логике или металогике. Но нельзя сказать, что этот пример широко известен среди философов или достойно оценен ими.
Однако я не собираюсь вступать здесь в полемику с философами, отрицающими философское значение теории истины Тарского. Я предпочитаю припомнить глубочайшую радость и облегчение, испытанные мною в 1935 году, когда я осознал, что из теории истины Тарского вытекают следующие выводы:
(1) что это понятие определимо в логических терминах, которые никто еще не ставил под сомнение, и потому логически законно,
(2) что оно применимо к любому недвусмысленно сформулированному (замкнутому) высказыванию (любого не-универсалистского языка), если только оно не применимо к его отрицанию, и потому очевидным образом не пусто, невзирая на то,
(3) что оно не связано ни с каким общим критерием, хотя всякое предложение, выводимое из истинного предложения или из истинной теории, доказуемо (demonstrably) истинно,
(4) что класс истинных предложений образует дедуктивную систему, и
(5) что эта дедуктивная система неразрешима, если только рассматриваемый язык достаточно богат (в связи с этим результатом Тарский ссылается на Гёделя).
Как было упомянуто ранее, я познакомился с Тарским в июле 1934 в Праге. В начале 1935 я снова встретился с ним в Праге на коллоквиуме Карла Менгера, участниками которого были Тарский и Гёдель и на котором я познакомился также с такими великими людьми как Сколем и Абрахам Вальд. Именно тогда я попросил Тарского объяснить мне его теорию истины, что он и сделал в течение двадцатиминутной лекции на скамейке (незабываемая скамейка!) в венском Народном саду (Volksgarten). Он также позволил мне посмотреть гранки немецкого перевода своей великой работы о понятии истины, которые он только что получил от редактора "Studia Philosophica". Никакими словами нельзя описать, как много я из всего этого узнал, и никакими словами нельзя выразить мою благодарность. Хотя Тарский был лишь немногим старше меня и хотя в то время мы были с ним в довольно близком знакомстве, я относился к нему как к единственному человеку, которого по праву мог считать своим учителем в философии. Никогда и ни у кого я столькому не научился, как у него.
Тем не менее есть отдельные второстепенные пункты, по которым я, возможно, расхожусь с ним. Я всегда был философом здравого смысла и реалистом в духе здравого смысла [298]. Моя позиция состояла в том, что здравый смысл (common sense) требует признать, что здравый смысл часто ошибается — быть может, чаще, чем оказывается прав, но ясно, что в философии мы должны исходить из здравого смысла, хотя бы только для того, чтобы обнаружить, путем критики, где он ошибается. Меня интересовал реальный мир, космос, и я решительно противостоял всякого рода идеализму, позитивизму и даже нейтрализму в философии. Если не было бы реального мира, столь же богатого или даже еще более богатого, чем тот, который мы столь поверхностно знаем в нашей повседневной жизни, и если бы исследование этого мира не было главной задачей философии, то философия мне была бы не интересна. Я так и не выяснил точно, как относился Тарский к реализму. Похоже, что на него произвел впечатление «реизм» Котарбинского, но также и венский позитивизм, и он подчеркивал нейтральность своего понятия истины.
Будучи критическим реалистом в духе здравого смысла и сознавая, что тем самым я придерживаюсь «метафизической» теории [299] я не мог не интересоваться тем, что представлялось мне реалистическим аспектом теории истины Тарского — аспектом, само существование которого он, как я подозреваю, мог бы отрицать [300].
Теория Тарского, как вы все знаете и как он первый подчеркивал, является реабилитацией и развитием классической теории, согласно которой истина есть соответствие фактам; и мне кажется, что это значит поддерживать метафизический реализм. В то же самое время теория Тарского есть реабилитация и развитие некоторых моментов классической критики этой теории соответствия, поскольку она показывает, в какой мере были правы те, кто подозревал теорию соответствия в парадоксальности. Последнюю проблему по существу решает учение Тарского о том, что семантика (L1) некоторого языка-объекта (L0)— иначе говоря, метаязык, содержащий понятие «истинно в L0» как определимое понятие — должна быть существенно богаче (более высокого порядка), чем язык-объект (L0).
Язык-объект Lo, как нам известно, может содержать свой собственный синтаксис и, в частности, дескриптивные имена всех своих выражений. Но L0 не может, без риска породить антиномии, содержать специфически семантические термины, такие как обозначение (denotation), удовлетворение (satisfaction) или истина, то есть понятия, соотносящие имена выражений L0 с фактами или объектами, на которые эти выражения ссылаются.
Все это дало мне материал для размышлений, продолжавшихся много лет. Далее я изложу некоторые из этих мыслей.
II
Если, как предполагает теория Тарского, истина есть соответствие фактам, давайте на время вообще оставим слово «истина» и вместо него будем говорить только о «соответствии высказываний фактам, которые они описывают».
Я думаю, именно кажущаяся невозможность раскрыть или описать это соответствие и делала все теории истины как соответствия до Тарского столь подозрительными — подозрительными даже в глазах людей вроде меня, ценивших теорию соответствия просто за ее реалистический характер, соответствующий здравому смыслу [301].
А теперь проявим смелость и всерьез примем, что есть высказывания, которые соответствуют фактам. Любая теория, имеющая дело с подобной ситуацией, должна иметь возможность говорить: (1) о высказываниях некоторого языка, который мы назовем рассматриваемым языком, или языком-объектом [302] и (2) о фактах или предполагаемых фактах.
