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

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

Пусть теперь житель Трансильвании утверждает, будто он упырь. Что из этого следует? Если, к примеру, это его заявление истинно, то, значит, он на самом деле упырь, однако мы знаем, что истинные суждения высказывают лишь упыри, лишенные рассудка Точно так же, если его утверждение ложно, тогда он человек, а поскольку ложные утверждения высказываются только людьми, лишившимися рассудка, то он безумен. Таким образом, каждый трансильванец, заявляющий, что он упырь, — сумасшедший.