Глава 11. Критика понятия истины в философии Поппера; понятие истины в исторической теории эмпирических наук

В основе философии Поппера лежит теория истины Тарского [189]. Однако формулировка Тарского "Р истинно, если и только если р" звучит у Поппера иначе: "Р соответствует фактам, если и только если р". Р - это языковое выражение, р - соответствующий факт. Вслед за Тарским Поппер также признает три минимальных условия, при которых данная формулировка возможна и непротиворечива: 1) она должна быть построена в метаязыке, на котором можно говорить о соответствующих выражениях объектного языка, в частности, о Р; 2) в этом метаязыке могут быть описаны все факты, которые находят свое выражение в объектном языке; например, р: 3) к этому метаязыку должны относиться семантические выражения, например, "соответствует фактам". При этом, в свою очередь, получает определение "реальный факт", то есть "р - реальный факт, если и только если Р - истинно".

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

Далее Поппер вводит определение содержания высказывания a. Его образует множество всех возможных логических следствий из a. Следовательно, если a - истинно, то это множество включает в себя только истинные высказывания. Но если a - ложно, то в это множество могут включаться как истинные, так и ложные высказывания. (Скажем, предложение "В воскресенье всегда идет дождь" - ложно, но его следствие, например, "В прошлое воскресенье шел дождь", может быть истинным). Под истинным содержанием высказывания a Поппер понимает множество истинных логических следствий из a, под ложным содержанием - множество ложных логических следствий из a.

Пусть две теории T₁ и T₂ совместимы. Тогда, считает Поппер, T₂ ближе к истине или лучше соответствует фактам, чем T₁, если и только если:

а) истинное (но не ложное) содержание T₂ больше, чем T₁;

б) ложное (но не истинное) содержание T₁ больше, чем T₂. Если обозначить - достигнутую степень истинного содержания a, - соответствующую степень ложного содержания a, то формула правдоподобия a, Vs(a) выглядит так:

.

(Позднее Поппер улучшил это определение, но для нас здесь это не будет иметь значения). Теория обладает максимальной правдоподобностью, если все высказывания, являющиеся ее логическими следствиями, соответствуют фактам, то есть если они истинны. В таком случае, согласно определению Поппера такая теория была бы абсолютно истинной. В действительности же теориям присуща лишь большая или меньшая степень правдоподобия, то есть можно говорить только о приближении к истине той или иной теории. Объективная истина, абсолютная истина и правдоподобие по Попперу - это регулятивные идеи.