Мы не просто пытаемся попасть в точку внутри нашей мишени T, мы хотим покрыть как можно более широкую
и интересную область нашей мишени. Дважды два четыре, хотя это и истинно, не является в том смысле, который мы здесь имеем в виду, «хорошим приближением к истине» просто потому, что сообщает слишком малую часть истины, чтобы покрыть цель науки или даже ее существенную часть. Теория Ньютона является гораздо «лучшим приближением к истине», даже если она ложна (что правдоподобно), в силу громадного количества интересных и информативных истинных следствий, которые она содержит: ее истинностное содержание очень велико.
Существует бесконечное число истинных высказываний, и они имеют очень разную ценность (value). Один из способов их оценки логический: мы оцениваем размер, или меру, их содержания (которое в случае истинных высказываний но не ложных высказываний совпадает с их истинностным содержанием). Высказывание, передающее больше информации, имеет большее информативное, или логическое, содержание это лучшее (из двух сравниваемых) высказывание. Чем больше содержание истинного высказывания, тем лучше оно как приближение к нашей цели T tто есть к истине (точнее, к классу всех истинных высказываний). Ведь мы стремимся узнать не только то, что столы это столы. Когда мы говорим о подходе, или приближении, к истине, мы имеем в виду «ко всей истине», то есть ко всему классу истинных высказываний классу T.
Если высказывание ложно, ситуация аналогична. Всякое недвусмысленное высказывание истинно или ложно (хотя мы можем и не знать, какая из этих двух возможностей фактически имеет место). Логика, которую я использую , имеет только эти два истинностные значения, и третьей возможности не дано. Однако одно ложное высказывание может показаться ближе к истине, чем другое ложное высказывание: «Сейчас 9.45 утра» кажется ближе к истине, чем «Сейчас 9.40 утра», если это замечание высказано в 9.48.
Однако в такой форме наше интуитивное впечатление ошибочно: эти два высказывания несовместимы и, следовательно, несравнимы (если только мы не введем меру вроде ct). Но в этой ошибочной интуиции кроется зерно истины: если мы заменим эти два высказывания интервальными высказываниями (см. следующий раздел), то первое действительно будет ближе к истине, чем второе.
Мы можем действовать следующим образом: первое высказывание заменяем высказыванием «Сейчас время между 9.45 и 9.48 утра», а второе высказыванием «Сейчас время между 9.40 и 9.48 утра». Таким образом, мы заменяем каждое из наших высказываний таким, которое включает некоторую область последовательных значений (values) область ошибки. В этом случае два замещенных высказывания становятся сравнимыми (поскольку из первого следует второе), причем первое действительно оказывается более близким к истине, чем второе; и это должно иметь место для любой непротиворечивой функции меры содержания, такой как ct или ct T - Поскольку в системе с функцией меры типа ct T наши исходные высказывания сравнимы (в такой системе все высказывания в принципе сравнимы), мы можем заключить, что меру истинностного содержания можно определить так, чтобы ct T первого высказывания действительно было по крайней мере не меньше, или даже больше, чем у второго, что в известной мере оправдывает нашу первоначальную интуицию.
Заметим, что слово между в замещаюших высказываниях можно интерпретировать так, чтобы оно либо включало, либо не включало любую из границ области ошибки. Если мы интерпретируем его так, чтобы оно включало верхнюю границу, то оба высказывания истинны, и для обоих выполняется равенство ct = ct T. Они оба истинны, однако первое имеет большую правдоподобность, поскольку истинностное содержание у него больше, чем у второго. Если же мы интерпретируем между так, чтобы исключить верхнюю границу, то оба высказывания становятся ложными (хотя их можно назвать «почти истинными»), но остаются сравнимыми (не в смысле меры), и мы все еще можем во всяком случае, я так думаю утверждать, что правдоподобность первого больше, чем второго.
Таким образом, не нарушая исходного принципа двузначной логики («всякое