Закон исключенного третьего

ние, мы предполагаем, что суждения, которые мы исследуем, явля- | ются истинными или ложными; мы можем либо найти свидетель- ? ства в их пользу, либо не найти. До изобретения спектроскопа казалось невозможным установить химическое строение звезд, но было бы ошибкой считать, что они ни содержали, ни не содержали известные нам химические элементы. В настоящее время нам неизвестно, существует ли где-нибудь еще жизнь во Вселенной, но мы обоснованно полагаем, что она либо существует, либо нет. Вот почему нам необходимо понятие «истины» в той же степени, как и .' «знание», потому что границы знания являются определенными, а " также потому, что без закона исключенного третьего мы не могли $ бы задавать вопросы, которые дают начало исследованиям. |

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

ГЛАВА XXI ИСТИНА И ВЕРИФИКАЦИЯ

В СОВРЕМЕННОЙ философии мы можем выделить четыре главных типа теорий в отношении «истины» или заменяющего ее понятия, которое мыслится более предпочтительным. Вот эти четыре теории:

I. Теория, подставляющая на место «истины» «оправданную утвер-ждаемостъ». Эта теория защищается д-ром Дьюи и его школой. П. Теория, подставляющая на место «истины» «вероятность». Эта теория защищается профессором Рейхенбахом.

III. Теория, определяющая «истину» как «когерентность». Этой теории придерживаются гегельянцы и некоторые логические позитивисты.

IV. Корреспондентная теория истины, в соответствии с которой истинность базисных суждений зависит от их отношения к некоторому событию, истинность других суждений зависит от их синтаксических отношений с базисными суждениями.

Что касается меня, я до сих пор твердо придерживался последней теории. Однако она существует в двух формах, выбор одной из которых не является легким решением. В первой форме базисные суждения должны выводиться из опыта, и поэтому те суждения, которые не могут быть подходящим образом связаны с опы-

fi