Принцесса или тигр   ::   Смаллиан Рэймонд

Вместо символа Р мы будем использовать символ В (в силу определенных психологических причин — каких именно, станет ясно из дальнейшего). Определение «утверждения» остается тем же, что и раньше, только на этот раз символ Р везде заменяется на символ В. Таким образом, наши утверждения принимают теперь вид: В-X, NB-X, ВА-X, NBA-X. Все утверждения, как и прежде, делятся на две группы — истинные и ложные, причем нам не известно, какие именно из утверждений истинны, а какие — ложны. Далее, вместо машины, печатающей различные утверждения, у нас теперь имеется ученый-логик, который верит одним утверждениям и не верит другим. Когда мы говорим, что наш логик не верит какому-то утверждению, мы вовсе не имеем в виду, что он обязательно сомневается в нем или отвергает его; просто неверно, что он верит в это утверждение. Другими словами, он либо считает его ложным, либо вообще не имеет о нем никакого мнения. Таким образом, символ В (от англ. believe — верить) означает «то, во что верит логик». Тогда для любого выражения X у нас есть четыре интерпретации выражений, содержащих X:

В1: утверждение В-X истинно тогда и только тогда когда логик верит в X;

В2: утверждение NB-X истинно тогда и только тогда когда логик не верит в X;

В3: утверждение ВА-X истинно тогда и только тогда когда логик верит в X–X;

В4: утверждение ВА-X истинно тогда и только тогда, когда логик не верит в X–X.