Попытки рассматривать истину в терминах уверенного полагания или правдоподобия (credibility), как некоторой кодификации полагания — в терминах начального правдоподобия вместе с выводом, подтверждением, вероятностью, и т. д.[109] — оказываются перед очевидным возражением, состоящим в том, что наиболее вероятные утверждения часто оказываются ложными, а наименее вероятные — истинными. Правдоподобие, таким образом, не предстает мерой даже близости к истине. Но это препятствие не так уж непреодолимо. Рассмотрим понятие постоянства — принимаемого здесь означающим вечную длительность после некоторого данного времени. Хотя мы никогда не можем установить постоянство предмета или материала, мы можем установить протяженность в различных степенях, не доходя до постоянства. Аналогичным образом, хотя мы никогда не можем установить полное и постоянное правдоподобие, мы можем установить силу и протяженность правдоподобия в различных степенях, не доходящих до этого полного правдоподобия. Идентифицируем ли мы тогда недосягаемое полное и постоянное правдоподобие с недосягаемой истиной? На контраргумент, что мы можем иметь полное и постоянное ложное полагание — т. е. на возражение, что полностью и постоянно правдоподобное может и не быть истинным — возможный ответ таков: до тех пор, пока полагание или правдоподобие действительно полно и постоянно, любое расхождение с истиной вообще не имеет для нас значения. Тогда, если имеется любое такое расхождение, то тем хуже для истины: оно пересматривается в пользу полного и постоянного правдоподобия. Но, как указал мне Хартри Филд, полное и постоянное правдоподобие едва ли может быть принято за необходимое условие истины, так как дизъюнкция может быть постоянно и полностью правдоподобна даже при том, что ни один из ее компонентов не таков.[110]
Боóльшим уважением, чем полезность или правдоподобие, в качестве определения истины пользуется когерентность, интерпретируемая различными способами, но всегда требующая непротиворечивости. Проблемы здесь также были огромны. Но классическое и пугающее возражение, заключающееся в том, что для любой когерентной мировой версии имеются одинаково когерентные конфликтующие версии, ослабевает, когда мы готовы принять обе конфликтующие версии как истинные. Трудность установления корреляции между внутренней когерентностью и внешним соответствием уменьшается, когда самое различие между 'внутренним' и 'внешним' ставится под вопрос. По мере того, как ослабевает различие между конвенцией и содержанием — между тем, что говорится, и тем, как это говорится, соответствие между версией и миром теряет свою независимость от таких признаков версий как когерентность. Конечно, когерентность, как бы она ни была определена, скорее не достаточна для истины, а действует совместно с суждениями начального правдоподобия в наших усилиях определить истину.[111] Но по крайней мере — и это третье из соображений, упомянутых в начале раздела — когерентность и другие так называемые внутренние признаки версий более не отвергаются как критерии проверки истины.
Итак, достаточно этого беглого представления истины и ее отношений с компаньонами и конкурентами. Теперь рассмотрим некоторые ясные случаи, где мы со значительным доверием и постоянством судим о правильности того, что не является ни истиной, ни ложью.
4. Правдивость и валидность
Среди наиболее явных и четких стандартов правильности — стандарты валидности дедуктивного аргумента. Валидность, конечно, отлична от истины в том, что посылки и выводы валидного (имеющего силу) аргумента могут быть ложны. Валидность состоит в соответствии с правилами вывода — правилами, которые кодируют дедуктивную практику в принятии или отклонении определенных выводов.[112] Хотя дедуктивная валидность и отличается от истины, все же в целом она не независима от нее, но так связывает утверждения, что имеющий силу вывод из истинных посылок дает истинные заключения. Действительно, первичная функция имеющего силу вывода должна связать истины с истинами. Кроме того, валидность — не единственное требование к правильному дедуктивному аргументу. Дедуктивный аргумент правилен в более полном смысле только тогда, когда посылки истинны, а выводы имеют силу. Таким образом, правильность дедуктивного аргумента, привлекая валидность, все же близко связана с истиной.
Теперь рассмотрим индуктивную валидность. Здесь также не требуется ни истины посылок, ни истины заключения; индуктивная, как и дедуктивная валидность состоит из соответствия с принципами, которые кодируют практику. Но индуктивная валидность на один шаг дальше от истины, чем дедуктивная, поскольку имеющий силу индуктивный вывод из истинных посылок не дает истинного заключения.
С другой стороны, в то время как индуктивная правильность, подобно дедуктивной правильности, требует истины посылок также, как и валидности, она также требует большего.[113] Прежде всего, правильный индуктивный аргумент должен быть основан не только на истинных посылках, но и на всех доступных подлинных очевидных свидетельствах. Индуктивный аргумент от положительных случаев гипотезы не является правильным, если отрицательные случаи опущены; все исследованные случаи должны быть приняты во внимание. На дедуктивный аргумент не накладывается никакое параллельное требование — он является правильным, если валидно следует из любых истинных посылок, даже неполных.
Однако индуктивная правильность не полностью характеризуется как индуктивная валидность плюс использование всех исследованных случаев. Если все исследованные случаи были исследованы ранее 1977 года, то аргумент, что все случаи вообще будут исследованы ранее 1977 года, тем не менее индуктивно неправилен; и даже если все исследованные изумруды были зиними, тем не менее индуктивный аргумент в пользу гипотезы, что все изумруды являются зиними, неправилен. Индуктивная правильность требует, чтобы и утверждения очевидности, и гипотеза были представлены в терминах 'подлинных' или 'естественных' родов — или, в моей терминологии, в терминах отображаемых (projectible) предикатов подобно «зеленый» и «синий» скорее, чем в терминах неотображаемых предикаты подобно «зиний» и «селеный». Без такого ограничения всегда могли бы быть найдены правильные индуктивные аргументы, дающие бесчисленные противоречивые заключения: что все изумруды являются зелеными, зиними, золтыми и т. д.
Итак, индуктивная правильность требует, чтобы аргумент вытекал из посылок, состоящих из всех истинных сообщений об исследованных случаях в терминах отображаемых предикатов. Таким образом, индуктивная правильность, при сохранении требования истины посылок, выдвигает и серьезные дополнительные требования. И хотя мы надеемся посредством индуктивного аргумента достичь истины, индуктивная правильность, в отличие от дедуктивной, не гарантирует истину. Дедуктивный аргумент неправилен, а его выводы не валидны, если он приходит к ложному заключению из истинных посылок, но индуктивный аргумент, который валиден и правилен во всех отношениях, может все же прийти к ложному заключению из истинных посылок. Это коренное различие вдохновило некоторые неистовые и бесполезные попытки оправдать индукцию, показав, что правильная индукция будет всегда (или в большинстве случаев) давать истинные заключения. Любое выполнимое обоснование индукции скорее должно показать, что правила вывода кодируют индуктивную практику — то есть осуществить взаимное регулирование между правилами и практикой — и различать отображаемые предикаты или индуктивно правильные категории от других.
Это приводит нас к вопросу о том, что является индуктивно правильными категориями, и таким образом к третьему роду правильности вообще: правильности классификации. Такая правильность еще на один шаг дальше от истины, поскольку, в то время как дедуктивная и индуктивная правильность все еще имеет отношение к утверждениям, имеющим истинностное значение, правильность классификации приложима к категориям или предикатам, или их системам, которые не имеют никакого истинностного значения.
109
Правдоподобие, хотя не идентично с доверием, принимается здесь объясняемой в этих терминах. Мы можем быть не слишком уверены в некоторых утверждениях, которые хорошо подтверждены, и упрямо уверены в других, которые плохо подтверждены; но подтверждение и вероятность — результаты усилий по кодификации и стандартизации наших полаганий. См. далее статью "Смысл и уверенность" ("Sense and Certainty", PP, pp. 60–68); также FFF, pp. 62–65.
110
Ср. статью Ч.С.Пирса "Фиксация полагания" (C.S.Peirce, "Fixation of Belief" in
112
Об этом и других вопросах, которые будут обсуждены в этом разделе, см. далее FFF: III и IV. Кстати, хотя валидность выше идентифицирована с соответствием правилам вывода, иногда даже в моих собственных работах она идентифицируется скорее с общей правильностью, которая включает удовлетворение также и других требований.
113
Сингулярное утверждение, полученное инстанциацией гипотезы, представляет собой положительный случай (инстанс), когда при рассмотрении оно определяется как истинное, и отрицательный — когда оно определяется как ложное.