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

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

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

б) ложное (но не истинное) содержание T1 больше, чем T2. Если обозначить

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