Объективное знание. Эволюционный подход

9. Правдоподобность и поиск истины

Возьмем квадрат, представляющий класс всех высказываний, и разделим его на две равные подобласти — истинных высказываний (T) и ложных высказываний (F):

Изменим теперь немного нашу диаграмму, собрав класс истинных высказываний вокруг центра квадрата.

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

Очень важно, чтобы в качестве предположений (conjectures) мы пытались выдвигать истинные теории. Однако истинность — не единственное важное свойство наших предположительных теорий, поскольку мы не очень заинтересованы в том, чтобы предлагать тривиальности или тавтологии. «Все столы — столы», несомненно, истина — более несомненная истина, чем ньютоновская или эйнштейновская теория тяготения, но она интеллектуально не волнует. Вильгельм Буш как-то сочинил то, что я назвал стихами для эпистемологической детворы [56] :

56

Из Busch W.Schein und Sein, 1909. Немецкий текст следующий:

Zweimal zwei gleich vier ist Wahrheit, Schade, dass sie leicht und leer ist. Derm ich wollte lieber Klarheit Uber das, was voll und schwer ist.

Cm. C.&R. P230, прим. 16, и Nagel lb., Suppes P., TarskiA Logic, Methodology and Philosophy of Science. Stanford UP., 1962. P290.

Дважды два четыре — верно, Только пусто и легко. Интереснее безмерно То, что тяжко и полно.

Другими словами, мы ищем не просто истину — мы ищем интересную и просвещающую истину, мы ищем теории, предлагающие решения интересных проблем.Если это вообще возможно, то мы ищем глубокие теории.

Мы не просто пытаемся попасть в точку внутри нашей мишени T, мы хотим покрыть как можно более широкую и интересную область нашей мишени. Дважды два четыре, хотя это и истинно, не является в том смысле, который мы здесь имеем в виду, «хорошим приближением к истине» просто потому, что сообщает слишком малую часть истины, чтобы покрыть цель науки или даже ее существенную часть. Теория Ньютона является гораздо «лучшим приближением к истине», даже если она ложна (что правдоподобно), в силу громадного количества интересных и информативных истинных следствий, которые она содержит: ее истинностное содержаниеочень велико.

Существует бесконечное число истинных высказываний, и они имеют очень разную ценность (value). Один из способов их оценки — логический: мы оцениваем размер, или меру, их содержания(которое в случае истинных высказываний — но не ложных высказываний — совпадает с их истинностным содержанием). Высказывание, передающее больше информации, имеет большее информативное, или логическое, содержание — это лучшее (из двух сравниваемых) высказывание. Чем больше содержание истинного высказывания, тем лучше оно как приближение к нашей цели T _tто есть к истине(точнее, к классу всех истинных высказываний). Ведь мы стремимся узнать не только то, что столы — это столы. Когда мы говорим о подходе, или приближении, к истине, мы имеем в виду «ко всей истине», то есть ко всему классу истинных высказываний — классу T.

Если высказывание ложно, ситуация аналогична. Всякое недвусмысленное высказывание истинно или ложно (хотя мы можем и не знать, какая из этих двух возможностей фактически имеет место). Логика, которую я использую [57] , имеет только эти два истинностные значения, и третьей возможности не дано. Однако одно ложное высказывание может показаться ближе к истине, чем другое ложное высказывание: «Сейчас 9.45 утра» кажется ближе к истине, чем «Сейчас 9.40 утра», если это замечание высказано в 9.48.

57

Существуют «многозначные» системы логики, имеющие более двух истинностных значений, но они слабее двузначных систем, особенно с принятой здесь точки зрения (см. Popper K.R.Conjectures and Refutations, 1963 и позднейшие издания, р. 64), согласно которой формальная логика есть органон критики.

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

Мы можем действовать следующим образом: первое высказывание заменяем высказыванием «Сейчас время между9.45 и 9.48 утра», а второе — высказыванием «Сейчас время между9.40 и 9.48 утра». Таким образом, мы заменяем каждое из наших высказываний таким, которое включает некоторую областьпоследовательных значений (values) — область ошибки.В этом случае два замещенных высказывания становятся сравнимыми (поскольку из первого следует второе), причем первое действительно оказывается более близким к истине, чем второе; и это должно иметь место для любой непротиворечивой функции меры содержания, такой как ctили ct _T – Поскольку в системе с функцией меры типа ct _Tнаши исходные высказывания сравнимы (в такой системе все высказывания в принципе сравнимы), мы можем заключить, что меру истинностного содержания можно определить так, чтобы ct _Tпервого высказывания действительно было по крайней мере не меньше, — или даже больше, — чем у второго, что в известной мере оправдывает нашу первоначальную интуицию.

Заметим, что слово междув замещаюших высказываниях можно интерпретировать так, чтобы оно либо включало, либо не включало любую из границ области ошибки. Если мы интерпретируем его так, чтобы оно включало верхнюю границу, то оба высказывания истинны, и для обоих выполняется равенство ct = ct _T.Они оба истинны, однако первое имеет большую правдоподобность, поскольку истинностное содержание у него больше, чем у второго. Если же мы интерпретируем междутак, чтобы исключить верхнюю границу, то оба высказывания становятся ложными (хотя их можно назвать «почти истинными»), но остаются сравнимыми (не в смысле меры), и мы все еще можем — во всяком случае, я так думаю [58] — утверждать, что правдоподобность первого больше, чем второго.

58

Добавление 1978 г,: Дэвид Миллер так не думает.

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

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

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

10. Истина и правдоподобность как цели

Формулировка «цель науки — правдоподобность» имеет важное преимущество перед, возможно, более простой формулировкой «цель науки — истина». Последняя может навести на мысль, что цель науки полностью достигается высказыванием неоспоримой истины, что все столы — столы или что 1+1=2. Очевидно, что оба эти высказывания истинны; столь же очевидно, что ни одно из них не может считаться каким бы то ни было научным достижением.

Более того, ученые имеют целью создание теорий, подобных теориям гравитации Ньютона и Эйнштейна — и хотя нас очень интересует вопрос об истинности этих теорий, последние сохраняют свой интерес, даже если у нас есть основания считать, что они ложны. Ньютон никогда не считал свою теорию действительно последним словом науки, а Эйнштейн свою теорию чем-то кроме как хорошим приближением к истинной теории — единой теории поля, которую он искал с 1916 года до своей смерти в 1955 году. Все это говорит о том, что идея «поиска истины» удовлетворительна только в том случае, если (а) под «истиной» мы понимаем множество всех истинных высказываний (класс в смысле Тарского всех истинных высказываний) и (b) мы готовы допустить в наш поиск истины ложные высказывания, если они не «слишком ложны» («имеют не слишком большое ложностное содержание») и имеют большое истинностное содержание.

Таким образом, поиск правдоподобности — более ясная и более реалистическая цель, чем поиск истины. Вместе с тем я хочу показать не только это. Я хочу показать, что в то время как в эмпирической науке мы никогда не можемиметь достаточно веские аргументы для притязания на то, что мы на самом деле достигли истины, мы можемиметь весомые и достаточно (reasonably) хорошие аргументы в пользу того, что мы, возможно, продвинулись к истине, то есть что теория Т ₂предпочтительнее своей предшественницы Т ₁,по крайней мере в свете всех известных нам рациональных аргументов.