Комментарии к понятиям истины и правдоподобности

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

Странно, что этот тезис, исключительно важный для моей теории науки, могли не понимать. Как я часто подчеркивал, с моей точки зрения все оценки теорий суть оценки состояния их критического обсуждения. И потому я считаю ясность интеллектуальной ценностью, поскольку без нее критическое обсуждение невозможно. Вместе с тем точность или строгость сами по себе с моей точки зрения не являются интеллектуальными ценностями; напротив, нам никогда не следует пытаться быть более точными, чем того требует стоящая перед нами проблема (которая всегда есть проблема выбора между конкурирующими теориями). По этой причине я и подчеркивал, что меня не интересуют определения: так как в любом определении должны использоваться неопределяемые термины, то, как правило, неважно, используем ли мы некоторый термин как исходный или как определяемый.

Зачем же тогда я пытался показать, что правдоподобность можно определить, или свести к другим терминам (таким как истинностное содержание, ложностное содержание и, в конечном счете, логическая вероятность)?

Некоторые предполагали, что моей целью было что-то вроде точности или строгости, или даже применимости — что я надеялся найти

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

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

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

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

По моему мнению, тем самым он реабилитировал критическое использование неопределяемого понятия истины в неформализованных обычных, или обыденных (commonsense) языках (имеющих бесконечный порядок), если только мы делаем их слегка искусственными, тщательно избегая антиномий. Я назвал бы такой язык языком критического здравого смысла — я помню, как Тарский в 1935 году с большой силой подчеркивал, что при построении формализованного языка неизбежно использование естественного языка, хотя некритическое использование его и приводит к антиномиям. Так что мы должны, так сказать, реформировать обычный язык при его использовании, как в метафоре Нейрата о корабле, который мы должны перестроить, пытаясь при этом остаться в нем на плаву²⁵). Так в действительности обстоит дело с критическим здравым смыслом, как я его понимаю.