88. Вопрос

88. Вопрос

Действительно ли Утверждение 1 и Утверждение 2 следуют из теории Черного Короля?

— Теперь, когда ты усвоила доказательства первого и второго утверждений, — продолжал Король, — ты готова, наконец, воспринять доказательство того, что я в настоящий момент не сплю.

ДОКАЗАТЕЛЬСТВО ЧЕРНОГО КОРОЛЯ

— Я докажу три суждения, — начал Король, — а именно:

1. Я принадлежу к Типу А;

2. Я не сплю;

3. Моя теория верна.

Прежде всего, тебе придется принять как предпосылку, что я убежден во всех трех суждениях. Ты это допускаешь?

— О, конечно! — ответила Алиса, — я ничуть не сомневаюсь, что вы в них убеждены, единственный вопрос, который я себе задаю — истинны ли эти суждения!

— Из самого факта, что я в них убежден, — сказал Король, — следует, что они должны быть истинны!

— Что?! — воскликнула Алиса в изумлении. — Вы хотите сказать, что если кто-то в чем-то убежден, это обязательно должно быть истинно?!

— Разумеется, нет! — воскликнул Король. — Я не хуже тебя знаю, что просто потому, что кто-то в чем-то убежден, это «что-то» вовсе не обязательно должно быть истинно. Тем не менее, именно эти три суждения имеют замечательное свойство — убежденность во всех трех делает их истинными!

— Как такое возможно? — недоумевала Алиса.

— Вот это я и собираюсь тебе доказать! — заявил Король. — Слушай же внимательно, дитя мое: поскольку я убежден в том, что я бодрствую, значит, я должен принадлежать к Типу А.

— Это следует из Утверждения 1, — подтвердила Алиса.

— Совершенно верно! — воскликнул Король. — А согласно Утверждению 2, раз я считаю, что принадлежу к Типу А, следовательно, я сейчас должен бодрствовать.

— Да, — согласилась Алиса.

— Превосходно, — заключил Король торжествующим голосом. — Поскольку я одновременно бодрствую и принадлежу к Типу А, значит, все мои убеждения в настоящий момент должны быть истинны. Раз мои убеждения в настоящий момент истинны и я верю в предложенную мной теорию, значит, моя теория верна! Какое еще доказательство тебе требуется?!