Истина и верификация

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

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

В значительной части эти две теории тождественны. Все, ис- · тинное в эпистемологической теории также истинно в логической ? теории, но не наоборот. Все базисные суждения эпистемологической теории также являются базисными в логической теории, и опять », обратное не имеет места. Синтаксические отношения базисных | суждений с другими истинными суждениями одни и те же в обеих с теориях. Суждения, которые могут быть познаны эмпирически, ; одни и те же в обеих теориях. Однако имеются различия в отношении логики; в логической теории все суждения либо истинные, либо ложные, в то время как в эпистемологической теории суждения не являются ни истинными, ни ложными, если нет свидетельств за или против них. Другими словами, закон исключенного третьего является истинным в логической теории, но не в эпистемологи- ι: ческой теории. В этом заключается наиболее важное различие Ϊ между ними. I

Можно заметить, что соответствие, используемое в обеих тео- | риях при определении «истины», может быть обнаружено только | в случае базисных суждений. Такое суждение, как «Все люди смертны», если предположить его истинность, приобретает истинность