Истинность и ложность

Наше знание истин, в отличие от знания вещей, имеет свою противоположность, а именно ошибку. Что касается вещей, мы можем знать их и не знать, но не существует позитивного состояния ума, которое может быть описано как ошибочное знание вещей, во всяком случае, если мы ограничимся знанием-знакомством. С чем бы мы ни были знакомы, оно должно быть чем-то. Мы можем сделать неверные выводы из нашего знакомства, но само знакомство не может быть обманчивым. Таким образом, в отношении знакомства не существует дуализма. Но дуализм существует в отношении знания истин. Мы можем верить в то, что ложно, как и в то, что истинно. Мы знаем, что по поводу многих предметов разные люди имеют различные и несовместимые мнения: поэтому некоторые представления должны быть ошибочными. Так как ошибочных представлений часто придерживаются столь же упорно, как и истинных, отличение истинных представлений от ложных становится трудной проблемой. Откуда мы знаем в каком-либо конкретном случае, что наше представление не является ошибочным? Это чрезвычайно трудный вопрос, и на него невозможен полностью удовлетворительный ответ. Есть, однако, предварительный, менее трудный вопрос: что мы имеем в виду под истиной и ложью? В данной главе мы рассмотрим этот предварительный вопрос.

Не будем здесь спрашивать, откуда я могу знать, является ли вера во что-либо истинной или ложной: мы спрашиваем, что подразумевается при вопросе, является ли вера истинной или ложной. Есть надежда, что ясный ответ на этот вопрос может помочь нам в вопросе о том, какие веры являются истинными, но пока мы можем спросить только " что есть истина? " и " что есть ложь? ", а не " какие веры истинны? " и " какие веры ложны? ". Очень важно разделить эти вопросы, так как любая путаница тут может привести к ответу, который не будет приложим к любому из этих отдельных вопросов.

При попытке раскрыть природу истины любая теория должна удовлетворять трем требованиям.

(1) Наша теория истины должна допускать противоположность истинности, а именно ложность. Очень многие философы не сумели адекватно удовлетворить это требование: они конструировали теории, согласно которым все наше мышление должно быть истинным, и затем сталкивались с величайшей трудностью в нахождении места для ложности. В этом отношении наша теория веры должна отличаться от нашей теории знакомства, так как в случае знакомства нет необходимости принимать во внимание какую-либо противоположность.

(2) Кажется совершенно ясным, что если бы не было вер, тогда не было бы ложности, да и истины тоже, в том смысле, в котором истина соотносится с ложностью. Если вообразить мир простой материи, то в таком мире не должно быть места ложности, и, хотя он содержит то, что можно было бы назвать " фактами", он не содержал бы никаких истин в том смысле, в каком истинность является такого же рода вещью, как ложность. На самом деле истинность и ложность суть свойства вер и утверждений: поэтому мир простой материи, поскольку в нем нет ни вер, ни утверждений, не должен содержать также ни истинности, ни ложности.

(3) Однако в противоположность тому, что мы только что утверждали, следует заметить, что истинность или ложность веры всегда зависит от того, что находится вне самой веры. Если я верю, что Карл Первый умер на эшафоте, моя вера истинна, но не благодаря тому, что это свойство внутренне присуще моей вере и может быть обнаружено простым ее рассмотрением, но благодаря историческому событию, случившемуся два с половиной века назад. Если же я верю, что Карл Первый умер в своей постели, моя вера ложна: никакая степень живости моей веры или осторожность при подходе к такой вере не предотвратят ее ложности, и опять-таки по причине события, происшедшего много лет назад, а не по причине внутренне присущего моей вере свойства. Следовательно, хотя истинность и ложность являются свойствами веры, это такие свойства, которые зависят от отношения веры к другим вещам, а не от внутренне присущих вере качеств.

Третье из этих требований приводит нас к взгляду (который является достаточно общим для многих философов), что истинность заключается в некоторого рода соответствии между верой и фактом. Однако это никоим образом не облегчает открытия такой формы соответствия, которая не вызывала бы неопровержимых возражений. Частично по этой причине — и частично за счет ощущения, что, если истинность заключается в соответствии мысли чему-то за ее пределами, мыслью никогда нельзя постичь, когда же достигается истина, — многие философы пришли к выводу, что надо найти некоторое определение истины, в соответствии с которым она не заключается в отношении к чему-то вне веры. Наиболее важная попытка определения подобного рода дается в теории, согласно которой истина заключается в согласованности. Говорят, что ложность есть отсутствие согласования в совокупности вер, а сущность истины состоит в том, что она является часть полностью замкнутой системы, которая и есть Истина.

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

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

Другие возражения против такого определения истины состоят в том, что оно предполагает известным значение " согласованности", в то время как на самом деле " согласованность" предполагает истинность законов логики. Два суждения согласованны, когда оба могут быть истинными, и несогласованны, когда по крайней мере одно должно быть ложным. Но для того чтобы узнать, могут ли два суждения быть ложными, мы должны знать такую, например, истину, как закон противоречия. Например, два суждения: " это дерево — береза" и " это дерево — не береза" — не являются согласованными как раз в соответствии с законом противоречия. Однако если закон противоречия сам требует проверки на согласованность, мы должны заключить, что если решим считать его ложным, тогда ничто не будет не согласованным ни с чем. Таким образом, законы логики служат той основой или структурой, в рамках которой возможна проверка на согласованность, но сами они не могут быть установлены в результате этой проверки.

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

В соответствии с нашими тремя требованиями мы должны искать такую теорию истины, которая: (1) позволяет истине иметь ее противоположность, а именно ложь, (2) делает истину свойством веры, (3) делает это свойство полностью зависимым от отношения веры к внешним вещам.

Необходимость дозволения ложности делает невозможным такой взгляд на веру, когда она считается отношением ума к единому объекту, полагаемому тем, чем он является согласно вере. Если веру считать именно такой, мы обнаружим, что, подобно знакомству, она не должна допускать противоположности истины и лжи и должна всегда быть истинной. Это обстоятельство может быть ясно из примеров. Отелло ложно верил, что Дездемона любила Кассио. Мы не можем сказать, что эта вера заключается в отношении к единичному объекту — " любви Дездемоны к Кассио", потому что при наличии такого объекта вера должна была бы быть истинной. На самом деле такого объекта не существует, и, следовательно, Отелло не может иметь никакого отношения к такому объекту. Поэтому его вера не может заключаться в отношении к такому объекту.

Можно было бы сказать, что его вера есть отношение к другому объекту, а именно: " что Дездемона любит Кассио". Но предполагать существование таких объектов, как этот, весьма трудно, когда Дездемона не любит Кассио, и столь же трудно, как предполагать, что существует " любовь Дездемоны к Кассио". Поэтому лучше искать такую теорию, согласно которой вера не заключается в отношении ума к единичному объекту.

Принято думать, что отношения существуют между двумя терминами, но на самом деле это не всегда так. Некоторые отношения требуют трех терминов, некоторые — четырех и т.д. Возьмем, например, отношение " между". Пока в рассмотрении участвуют только два термина, отношение " между" невозможно: тут требуются как минимум три термина. Йорк находится между Лондоном и Эдинбургом, но если бы Лондон и Эдинбург были единственными городами в мире, не было бы такого, который можно было бы поместить между ними. Подобным же образом ревность требует трех человек: не может быть такого отношения, если нет по крайней мере трех терминов. Такое суждение, как " А хочет, чтобы Б способствовал женитьбе В на Г", включает отношение четырех терминов, т.е. А, Б, В и Г, и отношение это не может быть выражено никаким другим образом, кроме как с участием четырех терминов. Примеры можно умножать бесконечно, но сказанного уже до-статочно для демонстрации того, что имеются отношения, которые требуют больше двух терминов.

Отношение, которое имеет место в суждении или вере, если допускается ложь, должно быть отношением между несколькими терминами, а не только между двумя. Когда Отелло верит, что Дез-демона любит Кассио, он не должен иметь перед своим умом единичный объект — " любовь Дездемоны к Кассио" или " что Дездемона любит Кассио", потому что при этом непременно должна была бы существовать объективная ложь, не зависящая от любых умов. Такой теории, хотя она неопровержима логически, следует избегать любой ценой. Таким образом, легче найти объяснение ложности, если мы будем считать суждение отношением, в которое входят ум и различные объекты. Таким образом, Дездемона, любовь и Кассио должны быть терминами отношения, которое существует, когда Отелло верит, что Дездемона любит Кассио. Следовательно, это отношение есть отношение четырех терминов, так как Отелло — также один из терминов этого отношения. Когда мы говорим, что это отношение четырех терминов, мы не имеем в виду, что Отелло имеет определенное отношение к Дездемоне и имеет то же самое отношение к любви и к Кассио. Это может быть истинным для какого-то другого отношения, нежели вера, но вера, очевидно, не есть отношение, которое Отелло имеет к каждому из трех терминов, — это отношение всех четырех терминов. В нашем примере связываются воедино все четыре термина. Таким образом, действительное событие в момент, когда Отелло приобретает свою веру, есть отношение, называемое " верой", которое увязывает воедино все четыре термина — Отелло, Дездемону, любовь и Кассио. То, что называется верой или суждением, есть не что иное, как отношение состояния веры или суждения, соотносящее ум с другими вещами. Акт веры или суждения есть событие, включающее определенные термины в некоторое конкретное время, т.е. событие, состоящее в отношении веры и суждения.

Мы сейчас в состоянии понять, что отличает истинное суждение от ложного. Для этого примем некоторые определения. В каждом акте суждения есть ум, производящий суждения, и есть термины, составляющие предмет суждения. Мы будем называть ум субъектом суждения, а остающиеся термины — его объектами. Таким образом, когда Отелло полагает, что Дездемона любит Кассио, Отелло есть субъект, а Дездемона, любовь и Кассио — объекты. Субъект и объект называются конституентами суждения. Следует заметить, что отношение суждения имеет то, что называется " смыслом" или " направлением". Метафорически мы можем сказать, что этим определяется порядок, в котором расположены объекты, и этот порядок мы можем указать с помощью порядка слов в предложении. (В языках, в которых используются окончания, порядок устанавливается этими окончаниями, например с помощью различия между именительным и винительным падежа-ми.) Суждение Отелло, что Кассио любит Дездемону, отличается от его суждения, что Дездемона любит Кассио, вопреки тому фак-

что эти два суждения имеют одни и те же конституенты, потому что отношение суждения устанавливает различный порядок этих конституент. Это свойство обладания " смыслом" или " направлением" является одним из тех свойств, которые отношение суждения разделяет со всеми другими отношениями. " Смысл" отношения есть окончательный источник порядка и присутствует в математических концепциях, но мы не будем здесь останавливаться на этих вопросах.

Мы говорили, что отношение " суждения" или " веры" увязывает в единый комплекс субъект и объект. С этой точки зрения суждение полностью идентично любому другому отношению. Всякий раз, когда между двумя или большим числом терминов устанавливается отношение, оно соединяет термины в целое. Если Отелло любит Дездемону, имеется целое — " любовь Отелло к Дездемоне". Термины, соединяемые отношением в целое, сами могут быть сложными, а могут быть и простыми, но целое, получаемое в результате соединения, должно быть сложным. Всякий раз, когда имеется отношение, соотносящее определенные термины, имеется сложный объект, образованный единством этих терминов, и, наоборот, всякий раз, когда имеется сложный объект, есть отношение, которое соотносит его конституенты. При совершении акта веры наличествует комплекс, в котором " вера" есть объединяющее отношение, а субъект и объект расположены в определенном порядке благодаря смыслу отношения веры. Среди объектов, как мы видели при рассмотрении суждения " Отелло верит, что Дездемона любит Кассио", должно присутствовать отношение — в Данном случае отношение " любит". Но это отношение, хотя оно присутствует в акте веры, не есть отношение, которое создает единство целого, состоящего из субъекта и объектов. Отношение " любит", хотя оно входит в акт веры, является одним из объектов — это кирпич здания, а не цемент. Цемент здесь — это отношение " верит". Когда вера истинна, имеется другой единый комплекс, в котором отношение, которое было одним из объектов веры, соотносит другие объекты. Таким образом, например, если Отелло истинно верит, что Дездемона любит Кассио, тогда имеется единый комплекс " любовь Дездемоны к Кассио", который состоит исключительно из объектов веры, в том же самом порядке, какой они имели в вере, и отношения, которое было одним из объектов, а сейчас выступает в качестве цемента, скрепляющего другие объекты веры. С другой стороны, когда вера ложна, не существует такого единого комплекса, составленного только из объектов веры. Если Отелло ложно верит, что Дездемона любит Кассио, тогда не существует такого единого комплекса, как " любовь Дездемоны к Кассио".

Таким образом, вера истинна, когда она соответствует определенному ассоциированному комплексу, и ложна, когда такого соответствия нет. Предположим ради определенности, что объектами веры являются два термина и отношение, а термины поставлены в определенный порядок " смыслом" веры. Тогда, если два термина в этом порядке объединены отношением в комплекс, вера истинна; если не объединены, тогда она ложна. Это и составляет определение истинности и ложности веры, которое мы ищем. Суждение или вера представляют собой определенный единый комплекс, конституентой которого является ум; если оставшиеся конституенты, взятые в том порядке, который они имели в вере, образуют единый комплекс, тогда вера истинна; если нет, она ложна.

Таким образом, хотя истина и ложь являются свойствами вер, они все же в некотором смысле являются внешними свойствами, потому что условия истинности веры есть нечто, не включающее веру, или — более обще — не включающее ум вообще, а только объекты веры. Ум верит истинно, когда имеется соответствующий комплекс, не включающий ум, а включающий только его объекты. Это соответствие и приводит к истинности, а его отсутствие — к ложности. Здесь и находится объяснение для двух фактов о вере: (а) вера зависит от умов в своем существовании, (б) вера не зависит от умов в своей истинности.

Мы можем кратко сформулировать нашу теорию следующим образом. Если мы возьмем такую веру, как " Отелло верит, что Дездемона любит Кассио", мы назовем Дездемону и Кассио объект-терминами, а любовь — объект-отношением. Если существует единый комплекс " любовь Дездемоны к Кассио", состоящий из объект-терминов, соотносящихся через объект-отношение в том же самом порядке, какой они имели в вере, тогда этот единый комплекс называется фактом, соответствующим реальности. Таким образом, вера истинна, когда имеется соответствующий факт, и ложна, когда нет соответствующего факта.

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

Разрешив вопрос, что мы имеем в виду под истинностью и ложностью суждений и верований, мы должны далее рассмотреть вопрос о способах распознавания того, является ли та или иная вера истинной или ложной. Этим мы займемся в следующей главе.