1On the Nature of Truth". Proc.Arist.Soc., (1907). Перепечатано с некоторыми изменениями в Philosofical Essays под заголовком -The Monistic Theory of Truth".
использовать и слово 'денотация', поскольку последнее слишком уподобляет пропозиции именам и дескрипциям Но я буду говорить. что пропозиция "указывает на' ['refers to'] свой объективный коррелят Таким образом, когда мы рассматриваем образные пропозиции, Оказывание на' занимает место 'значения' С другой стороны, об образных пропозициях в простых случаях можно говорить как о 'значении' словесных пропозиций, которые также 'указывают на' объективный коррелят
Согласно теории пропозиций, предполагаемой в предыдущем разделе, было бы ошибочно рассматривать истинность и ложность как отношения 'идеального' к 'реальному'. Пропозиции являются фактами в точности в том же самом смысле, в котором фактами являются их объективные корреляты Отношение пропозиции к своему объективному корреляту' не является отношением чего-то воображаемого к чему-то действительному, оно представляет собой отношение между двумя равным образом прочными и равным образом действительными фактами Один из них, пропозиция, составлен из образов с возможной примесью ощущений; другой -может быть составлен из чего угодно
Вопрос о том. можно ли в каком-либо смысле образы, являющиеся совсем простыми, назвать истинными или ложными, я не буду обсуждать То. что я рассматриваю, суть пропозиции и их истинность и ложность, вопрос о том, существуют ли какая-то другая истинность или ложность, можно оставить открытым.
В отношении истинности и ложности существует два различных вопроса, один из которых можно назвать формальным, а другой -материальным Формальный вопрос связан с отношениями между формой пропозиции и формой ее объективного коррелята в соответствующих случаях истинности и ложности, материальный вопрос, который специально подчёркивается прагматистами, связан с действием истинного и ложного убеждения соответственно. Настолько. насколько люди хотят быть убеждёнными истинно (что, как я говорил, иногда случается), это происходит потому, что истинные убеждения по предположению, как правило, обладают лучшим значением для реализации желаний, чем ложные убеждения. Если не вспоминать материальный вопрос, схематическая трактовка формального вопроса может показаться совершенно бесплодной и схоластической Тем не менее я предполагаю обратиться к формальному вопросу
Простейшая возможная схема соответствия между пропозицией и объективным коррелятом предоставляется такими случаями, как визуальные образы памяти Я вызываю образ комнаты, которая мне известна, и у меня образ окна находится слева от камина. Я придаю данному образу ту разновидность убеждения, которую мы называем 'воспоминанием' Когда комната была представлена чувственно, окно на самом деле находилось слева от камина В этом случае я обладаю комплексным образом, который для наших целей мы в состоянии разложить на (а) образ окна, (в) образ камина, (с) отношение, при котором (а) находится слева от (в). Объективный коррелят состоит из окна и камина с тем же самым отношением между ними. В таком случае объективный коррелят пропозиции состоит из значений его конституентных образов, находящихся (или, что тоже может быть, не находящихся) в том же самом отношении, как и то, что имеет место между конституентными образами в пропозиции. Когда объективный коррелят заключает то же самое отношение, пропозиция является истинной; когда объективный коррелят не заключает того же самого отношения, пропозиция является ложной. В соответствии с тем, что говорилось об отрицательных фактах в разделе I, всегда существует тот или другой из этих двух возможных объективных коррелятов, а стало быть, пропозиция всегда является либо истинной, либо ложной.
Но такая идиллическая простота корреспонденции бывает редко. Она отсутствует уже в словесных пропозициях, которые обозначают такие простые визуальные образные пропозиции. В фразе 'А находится слева от В' даже если мы трактуем 'находится-слева-от' как одно слово, у нас есть факт, состоящий из трёх членов с трехместным отношением, а не два члена с двухместным отношением. Лингвистический символ для отношения сам не является отношением, но является таким же прочным членом, как и другие слова предложения. Можно сконструировать язык так, что последнее не всегда будет иметь место; несколько особо важных отношений могут символизироваться отношением между словами. Например, 'АВ' может подразумевать 'А находится слева от В' Можно практиковать и то, что произнесение А на высоких нотах, а В - на низких, будет подразумевать, что А начальствует над В. Но практические возможности данного метода символизации отношений, очевидно, весьма ограничены, и в действительном языке отношения символизируются словами (главным образом глаголами и предлогами) или частями слов (флексиями)1. Следовательно, лингвистическое высказывание факта более комплексный факт, чем тот, который оно утверждает, и соответствие словесных пропози
1Эго не совсем верно для очень примитивных языков Но они так нечётки и двусмысленны, что часто о них нельзя сказать, обладают ли они каким-либо способом выражения одного отношения, а не некоторого количества других отношений, что равным образом может подразумеваться используемой фразой.
ций своему объективному корреляту никогда не является столь простым, как простейшее соответствие в случае образных пропозиций.
И снова, случай с отрицательными фактами и отрицательными пропозициями полон сложностей. Пропозиции, образные ли, словесные ли, сами всегда являются положительными фактами. В случае словесных пропозиций имеются различные положительные факты (фразы), из которых одна является истинной, когда объективный коррелят положителен, другая - когда он отрицателен; фразы 'А любит В' и 'А не любит В' сами обе являются положительными фактами. Мы не можем символизировать утверждение, что А не любит В, просто имея слова 'А' и 'В' без слова 'любит' между' ними, поскольку мы не в состоянии практически различить факт, что слово 'любит' не встречается между ними, от факта, что, например, слово 'ненавидит' не встречается между ними. Слова и фразы, предназначенные для коммуникации, должны быть чувственно воспринимаемы, а чувственное восприятие факта всегда является положительным. Таким образом, не существует тождества между различием положительных и отрицательных фактов и различием положительных и отрицательных словесных пропозиций; последние - и то и другое - сами являются положительными фактами, хотя и различаются отсутствием или наличием слова 'не'.
В случае образных пропозиций вновь утрачивается параллелизм с отрицательными фактами, но иного рода. Образные пропозиции не только всегда являются положительными, но даже не существует двух видов положительных образных пропозиций, как это имеет место со словесными пропозициями. 'Не' отсутствует в образных пропозициях; 'не' относится к чувству, а не к содержанию пропозиции. Можно быть убеждённым, или нет, в образной пропозиции; это различное чувство в отношении одинакового содержания. а не одинаковое чувство в отношении различных содержаний. Способ визуализации 'А-не-находится-слева-от-В' отсутствует. Рассматривая последнюю пропозицию, мы находим себя визуализирующими 'А-не-находится-слева-от-В'' или нечто подобное. Это одна из сильных причин нежелания принять отрицательные факты
Таким образом, в отношении оппозиции положительного и отрицательного мы имеем следующие различные типы двойственности:
(1) Положительные и отрицательные факты.
(2) Образные пропозиции, в которых можно быть убеждённым или нет. но которые не дотекают какой-либо двойственности содержания, соответствующего положительным и отрицательным фактам.
(3) Словесные пропозиции, которые всегда являются положительными фактами, но которые распадаются на два вида: один верифицируется положительным объективным коррелятом, другой - негативным объективным коррелятом.
Таким образом, простейшие виды параллелизма между пропозицией и фактом должны рассматриваться только в случае позитивных фактов и пропозиций. Там, где факт является негативным. соответствие необходимо становится более сложным. Отчасти ошибка в осознании утраты параллелизма между отрицательными фактами и отрицательными словесными пропозициями суть то, что сделало корректную теорию отрицательных фактов такой трудной для того, чтобы её открыть или чтобы в неё поверить.
Вернёмся теперь к положительным фактам и убеждениям в образных пропозициях. В случае пространственных отношений мы обнаружили, что для отношений конституентных образов возможно быть одинаковыми с отношениями конституент объективного коррелята. В моей визуализации того, что А находится слева от В, мой образ А находится слева от моего образа В. Встречается ли тождество отношения, такое как между образной пропозицией и его объективным коррелятом, где-то кроме случая пространственных отношений?
Случай, который естественно рассмотреть следующим, - это случай с временными отношениями. Предположим, я убеждён, что А предшествует В. Может ли это убеждение иметь в качестве своего содержания образ А, предшествующий образу В? На первый взгляд, большинство людей без колебаний отвергнут такую гипотезу. Мы так часто говорили, что идея последовательности не является последовательностью идей, что почти автоматически считаем понимание последовательности чем-то таким, в чём более ранние и более поздние части последовательности должны присутствовать одновременно. По-видимому, стремление изменить эту точку зрения в общем рассматривается как несомненное, и тем не менее я не могу сопротивляться серьёзным сомнениям в его истинности. Конечно, факт в том, что мы часто обладаем последовательностью образов без убеждённости в том, что их прототипы имеют тот же самый временной порядок. Но это ничего не доказывает, поскольку в любом случае убеждение является чем-то таким, что должно быть добавлено к образной пропозиции. Очевидно ли то, что мы не можем обладать образом А, за который следует образ В и переходить к убеждению в этой последовательности? И не может ли это быть убеждением в том, что А предшествует В? Я не вижу причины, почему бы этому не иметь место. Когда, например, я воображаю человека, высказывающего предложение, или когда в связи с этим я действительно слышу, что он его высказывает, по-видимому, как вопрос эмпирического факта, отсутствует какой-либо момент, в который всё предложение представлено воображению или чувству, и однако, чем бы ни было обычное значение фразы, я могу 'понять предложение как целое'. Я слышу слова упорядочению, но никогда не слышу всё предложение сразу; однако я понимаю предложение в целом в том смысле, что оно оказывает на меня направленное действие, каким бы оно ни было. Вы подходите ко мне и говорите: 'Ваша крыша обвалилась, и дождь протекает прямо в комнату, разрушая всю вашу обстановку'. Я понимаю то, что вы говорите, поскольку выражаю ужас, звоню владельцу дома, пишу в страховую компанию, и вереница фургонов вывозит мои вещи. Однако из этого ни в коей мере не следует, что всё предложение было имагинативно представлено мне в какой-то один момент. Моё убеждение в вашем высказывании является каузальным единством и, по предположению, представляет собой единое событие. Но в ментальных делах каузальное единство вполне может быть несколькими событиями в различные моменты времени. Последнее является частью точки зрения Бергсона* на повторяемость; оно также предполагается законом привычки. Оно вполне может быть преобразовано в одно из фундаментальных различий между физикой и психологией. Таким образом, нет хорошей причины тому, чтобы, когда мы убеждены в последовательности, существовал бы какой-то один момент, в рамках которого существует всё содержание убеждения. Убеждение в последовательности само вполне может быть последовательностью. Если это так, временные отношения, как и пространственные, допускают простейший тип соответствия, при котором отношение в образной пропозиции совпадает с отношением в объективном корреляте. Но я только хочу предложить эту точку зрения как возможную; я не чувствую себя готовым сказать с какой-либо уверенностью, что фактически это истинно.
Соответствие пропозиции и факта неизмеримо усложняется, когда мы переходим к более сложным типам пропозиций: пропозициям о существовании, общим пропозициям, дизъюнктивным и гипотетическим пропозициям и т.д. Эта тема важна и способна, я уверен, пролить много нового света на логику; но я не буду продолжать её здесь.
Общую природу формального соответствия, создающего истинность или ложность, можно видеть из простейшего случая: случая двухместного отношения, которое одинаково в факте и в образной пропозиции. У вас есть образ А, находящийся слева от вашего образа В; последнее обстоятельство является образной пропозицией. Если А находится слева от В, пропозиция является истинной, если А не находится слева от В, она является ложной. Фраза 'А находится слева от В' обозначает образную пропозицию и является истинной, когда последняя истинна, и ложной, когда последняя ложна; с другой стороны, фраза 'А не находится слева от В' является истинной, когда образная пропозиция является ложной, и ложной, когда последняя истинна. Таким образом, для простейшего случая мы получили формальное определение истинности и ложности как для образных пропозиций, так и для словесных пропозиций. Легко видеть, что тот же самый вид определения может быть распространён на более сложные случаи.
Заметим, что истинность и ложность в их формальном смысле первично являются свойствами пропозиций, а не убеждений. Производно мы называем убеждение истинным, когда оно представляет собой убеждение в истинной пропозиции, а неверие называем истинным, когда оно относится к ложной пропозиции; но первично формальные значения 'истинности' и 'ложности' приложимы к пропозициям.
Но когда мы переходим к тому, что придаёт важное значение истинности и ложности в противоположность тому, что конституирует их формальное определение, важны убеждения, а не пропозиции. Убеждения влияют на действия и, я говорю, влияние истинных убеждений приятны более, чем влияния ложных убеждений. Попытка определить истину таким способом кажется мне ошибочной. Но поскольку мы ограничиваемся формальным определением истины, затруднительно видеть, почему этим способом интересуются. Поэтому важно помнить о связи убеждения с действием. Но я не думаю, что приятные влияния убеждения сами по себе являются удовлетворительной его верификацией, или что эта верификация может быть использована для определения истины. Существуют, например, истинные пропозиции о прошлых состояниях дел, которые не могут быть верифицированы. Формальное определение истины посредством соответствия пропозиции и её объективного коррелята, по-видимому, единственно теоретически адекватно. Дальнейшее исследование, независимо от того, если наше определение корректно, есть ли что-нибудь такое, что может стать известным, я не могу теперь предпринимать; но если результат такого исследования будет неблагоприятным, я не рассматривал бы его как предоставляющий какое-либо теоретическое возражение на предложенное определение.
использовать и слово 'денотация', поскольку последнее слишком уподобляет пропозиции именам и дескрипциям Но я буду говорить. что пропозиция "указывает на' ['refers to'] свой объективный коррелят Таким образом, когда мы рассматриваем образные пропозиции, Оказывание на' занимает место 'значения' С другой стороны, об образных пропозициях в простых случаях можно говорить как о 'значении' словесных пропозиций, которые также 'указывают на' объективный коррелят
Согласно теории пропозиций, предполагаемой в предыдущем разделе, было бы ошибочно рассматривать истинность и ложность как отношения 'идеального' к 'реальному'. Пропозиции являются фактами в точности в том же самом смысле, в котором фактами являются их объективные корреляты Отношение пропозиции к своему объективному корреляту' не является отношением чего-то воображаемого к чему-то действительному, оно представляет собой отношение между двумя равным образом прочными и равным образом действительными фактами Один из них, пропозиция, составлен из образов с возможной примесью ощущений; другой -может быть составлен из чего угодно
Вопрос о том. можно ли в каком-либо смысле образы, являющиеся совсем простыми, назвать истинными или ложными, я не буду обсуждать То. что я рассматриваю, суть пропозиции и их истинность и ложность, вопрос о том, существуют ли какая-то другая истинность или ложность, можно оставить открытым.
В отношении истинности и ложности существует два различных вопроса, один из которых можно назвать формальным, а другой -материальным Формальный вопрос связан с отношениями между формой пропозиции и формой ее объективного коррелята в соответствующих случаях истинности и ложности, материальный вопрос, который специально подчёркивается прагматистами, связан с действием истинного и ложного убеждения соответственно. Настолько. насколько люди хотят быть убеждёнными истинно (что, как я говорил, иногда случается), это происходит потому, что истинные убеждения по предположению, как правило, обладают лучшим значением для реализации желаний, чем ложные убеждения. Если не вспоминать материальный вопрос, схематическая трактовка формального вопроса может показаться совершенно бесплодной и схоластической Тем не менее я предполагаю обратиться к формальному вопросу
Простейшая возможная схема соответствия между пропозицией и объективным коррелятом предоставляется такими случаями, как визуальные образы памяти Я вызываю образ комнаты, которая мне известна, и у меня образ окна находится слева от камина. Я придаю данному образу ту разновидность убеждения, которую мы называем 'воспоминанием' Когда комната была представлена чувственно, окно на самом деле находилось слева от камина В этом случае я обладаю комплексным образом, который для наших целей мы в состоянии разложить на (а) образ окна, (в) образ камина, (с) отношение, при котором (а) находится слева от (в). Объективный коррелят состоит из окна и камина с тем же самым отношением между ними. В таком случае объективный коррелят пропозиции состоит из значений его конституентных образов, находящихся (или, что тоже может быть, не находящихся) в том же самом отношении, как и то, что имеет место между конституентными образами в пропозиции. Когда объективный коррелят заключает то же самое отношение, пропозиция является истинной; когда объективный коррелят не заключает того же самого отношения, пропозиция является ложной. В соответствии с тем, что говорилось об отрицательных фактах в разделе I, всегда существует тот или другой из этих двух возможных объективных коррелятов, а стало быть, пропозиция всегда является либо истинной, либо ложной.
Но такая идиллическая простота корреспонденции бывает редко. Она отсутствует уже в словесных пропозициях, которые обозначают такие простые визуальные образные пропозиции. В фразе 'А находится слева от В' даже если мы трактуем 'находится-слева-от' как одно слово, у нас есть факт, состоящий из трёх членов с трехместным отношением, а не два члена с двухместным отношением. Лингвистический символ для отношения сам не является отношением, но является таким же прочным членом, как и другие слова предложения. Можно сконструировать язык так, что последнее не всегда будет иметь место; несколько особо важных отношений могут символизироваться отношением между словами. Например, 'АВ' может подразумевать 'А находится слева от В' Можно практиковать и то, что произнесение А на высоких нотах, а В - на низких, будет подразумевать, что А начальствует над В. Но практические возможности данного метода символизации отношений, очевидно, весьма ограничены, и в действительном языке отношения символизируются словами (главным образом глаголами и предлогами) или частями слов (флексиями)1. Следовательно, лингвистическое высказывание факта более комплексный факт, чем тот, который оно утверждает, и соответствие словесных пропози
1Эго не совсем верно для очень примитивных языков Но они так нечётки и двусмысленны, что часто о них нельзя сказать, обладают ли они каким-либо способом выражения одного отношения, а не некоторого количества других отношений, что равным образом может подразумеваться используемой фразой.
ций своему объективному корреляту никогда не является столь простым, как простейшее соответствие в случае образных пропозиций.
И снова, случай с отрицательными фактами и отрицательными пропозициями полон сложностей. Пропозиции, образные ли, словесные ли, сами всегда являются положительными фактами. В случае словесных пропозиций имеются различные положительные факты (фразы), из которых одна является истинной, когда объективный коррелят положителен, другая - когда он отрицателен; фразы 'А любит В' и 'А не любит В' сами обе являются положительными фактами. Мы не можем символизировать утверждение, что А не любит В, просто имея слова 'А' и 'В' без слова 'любит' между' ними, поскольку мы не в состоянии практически различить факт, что слово 'любит' не встречается между ними, от факта, что, например, слово 'ненавидит' не встречается между ними. Слова и фразы, предназначенные для коммуникации, должны быть чувственно воспринимаемы, а чувственное восприятие факта всегда является положительным. Таким образом, не существует тождества между различием положительных и отрицательных фактов и различием положительных и отрицательных словесных пропозиций; последние - и то и другое - сами являются положительными фактами, хотя и различаются отсутствием или наличием слова 'не'.
В случае образных пропозиций вновь утрачивается параллелизм с отрицательными фактами, но иного рода. Образные пропозиции не только всегда являются положительными, но даже не существует двух видов положительных образных пропозиций, как это имеет место со словесными пропозициями. 'Не' отсутствует в образных пропозициях; 'не' относится к чувству, а не к содержанию пропозиции. Можно быть убеждённым, или нет, в образной пропозиции; это различное чувство в отношении одинакового содержания. а не одинаковое чувство в отношении различных содержаний. Способ визуализации 'А-не-находится-слева-от-В' отсутствует. Рассматривая последнюю пропозицию, мы находим себя визуализирующими 'А-не-находится-слева-от-В'' или нечто подобное. Это одна из сильных причин нежелания принять отрицательные факты
Таким образом, в отношении оппозиции положительного и отрицательного мы имеем следующие различные типы двойственности:
(1) Положительные и отрицательные факты.
(2) Образные пропозиции, в которых можно быть убеждённым или нет. но которые не дотекают какой-либо двойственности содержания, соответствующего положительным и отрицательным фактам.
(3) Словесные пропозиции, которые всегда являются положительными фактами, но которые распадаются на два вида: один верифицируется положительным объективным коррелятом, другой - негативным объективным коррелятом.
Таким образом, простейшие виды параллелизма между пропозицией и фактом должны рассматриваться только в случае позитивных фактов и пропозиций. Там, где факт является негативным. соответствие необходимо становится более сложным. Отчасти ошибка в осознании утраты параллелизма между отрицательными фактами и отрицательными словесными пропозициями суть то, что сделало корректную теорию отрицательных фактов такой трудной для того, чтобы её открыть или чтобы в неё поверить.
Вернёмся теперь к положительным фактам и убеждениям в образных пропозициях. В случае пространственных отношений мы обнаружили, что для отношений конституентных образов возможно быть одинаковыми с отношениями конституент объективного коррелята. В моей визуализации того, что А находится слева от В, мой образ А находится слева от моего образа В. Встречается ли тождество отношения, такое как между образной пропозицией и его объективным коррелятом, где-то кроме случая пространственных отношений?
Случай, который естественно рассмотреть следующим, - это случай с временными отношениями. Предположим, я убеждён, что А предшествует В. Может ли это убеждение иметь в качестве своего содержания образ А, предшествующий образу В? На первый взгляд, большинство людей без колебаний отвергнут такую гипотезу. Мы так часто говорили, что идея последовательности не является последовательностью идей, что почти автоматически считаем понимание последовательности чем-то таким, в чём более ранние и более поздние части последовательности должны присутствовать одновременно. По-видимому, стремление изменить эту точку зрения в общем рассматривается как несомненное, и тем не менее я не могу сопротивляться серьёзным сомнениям в его истинности. Конечно, факт в том, что мы часто обладаем последовательностью образов без убеждённости в том, что их прототипы имеют тот же самый временной порядок. Но это ничего не доказывает, поскольку в любом случае убеждение является чем-то таким, что должно быть добавлено к образной пропозиции. Очевидно ли то, что мы не можем обладать образом А, за который следует образ В и переходить к убеждению в этой последовательности? И не может ли это быть убеждением в том, что А предшествует В? Я не вижу причины, почему бы этому не иметь место. Когда, например, я воображаю человека, высказывающего предложение, или когда в связи с этим я действительно слышу, что он его высказывает, по-видимому, как вопрос эмпирического факта, отсутствует какой-либо момент, в который всё предложение представлено воображению или чувству, и однако, чем бы ни было обычное значение фразы, я могу 'понять предложение как целое'. Я слышу слова упорядочению, но никогда не слышу всё предложение сразу; однако я понимаю предложение в целом в том смысле, что оно оказывает на меня направленное действие, каким бы оно ни было. Вы подходите ко мне и говорите: 'Ваша крыша обвалилась, и дождь протекает прямо в комнату, разрушая всю вашу обстановку'. Я понимаю то, что вы говорите, поскольку выражаю ужас, звоню владельцу дома, пишу в страховую компанию, и вереница фургонов вывозит мои вещи. Однако из этого ни в коей мере не следует, что всё предложение было имагинативно представлено мне в какой-то один момент. Моё убеждение в вашем высказывании является каузальным единством и, по предположению, представляет собой единое событие. Но в ментальных делах каузальное единство вполне может быть несколькими событиями в различные моменты времени. Последнее является частью точки зрения Бергсона* на повторяемость; оно также предполагается законом привычки. Оно вполне может быть преобразовано в одно из фундаментальных различий между физикой и психологией. Таким образом, нет хорошей причины тому, чтобы, когда мы убеждены в последовательности, существовал бы какой-то один момент, в рамках которого существует всё содержание убеждения. Убеждение в последовательности само вполне может быть последовательностью. Если это так, временные отношения, как и пространственные, допускают простейший тип соответствия, при котором отношение в образной пропозиции совпадает с отношением в объективном корреляте. Но я только хочу предложить эту точку зрения как возможную; я не чувствую себя готовым сказать с какой-либо уверенностью, что фактически это истинно.
Соответствие пропозиции и факта неизмеримо усложняется, когда мы переходим к более сложным типам пропозиций: пропозициям о существовании, общим пропозициям, дизъюнктивным и гипотетическим пропозициям и т.д. Эта тема важна и способна, я уверен, пролить много нового света на логику; но я не буду продолжать её здесь.
Общую природу формального соответствия, создающего истинность или ложность, можно видеть из простейшего случая: случая двухместного отношения, которое одинаково в факте и в образной пропозиции. У вас есть образ А, находящийся слева от вашего образа В; последнее обстоятельство является образной пропозицией. Если А находится слева от В, пропозиция является истинной, если А не находится слева от В, она является ложной. Фраза 'А находится слева от В' обозначает образную пропозицию и является истинной, когда последняя истинна, и ложной, когда последняя ложна; с другой стороны, фраза 'А не находится слева от В' является истинной, когда образная пропозиция является ложной, и ложной, когда последняя истинна. Таким образом, для простейшего случая мы получили формальное определение истинности и ложности как для образных пропозиций, так и для словесных пропозиций. Легко видеть, что тот же самый вид определения может быть распространён на более сложные случаи.
Заметим, что истинность и ложность в их формальном смысле первично являются свойствами пропозиций, а не убеждений. Производно мы называем убеждение истинным, когда оно представляет собой убеждение в истинной пропозиции, а неверие называем истинным, когда оно относится к ложной пропозиции; но первично формальные значения 'истинности' и 'ложности' приложимы к пропозициям.
Но когда мы переходим к тому, что придаёт важное значение истинности и ложности в противоположность тому, что конституирует их формальное определение, важны убеждения, а не пропозиции. Убеждения влияют на действия и, я говорю, влияние истинных убеждений приятны более, чем влияния ложных убеждений. Попытка определить истину таким способом кажется мне ошибочной. Но поскольку мы ограничиваемся формальным определением истины, затруднительно видеть, почему этим способом интересуются. Поэтому важно помнить о связи убеждения с действием. Но я не думаю, что приятные влияния убеждения сами по себе являются удовлетворительной его верификацией, или что эта верификация может быть использована для определения истины. Существуют, например, истинные пропозиции о прошлых состояниях дел, которые не могут быть верифицированы. Формальное определение истины посредством соответствия пропозиции и её объективного коррелята, по-видимому, единственно теоретически адекватно. Дальнейшее исследование, независимо от того, если наше определение корректно, есть ли что-нибудь такое, что может стать известным, я не могу теперь предпринимать; но если результат такого исследования будет неблагоприятным, я не рассматривал бы его как предоставляющий какое-либо теоретическое возражение на предложенное определение.