Парадокс Гильберта-Бернейса - Hilbert–Bernays paradox - Wikipedia

В Парадокс Гильберта-Бернейса это отличительный парадокс принадлежность к семье парадоксов ссылка (подобно Парадокс Берри ). Он назван в честь Дэвид Гильберт и Пол Бернейс.

История

Парадокс проявляется у Гильберта и Бернейса. Grundlagen der Mathematik и используется ими, чтобы показать, что достаточно сильная непротиворечивая теория не может содержать свой собственный эталонный функтор.[1] Хотя в течение ХХ века он оставался практически незамеченным, недавно он был заново открыт и оценен за характерные трудности, которые он представляет.[2]

Формулировка

Так же, как семантический собственностью правда похоже, управляется наивной схемой:

(T) Предложение ′п′ Истинно тогда и только тогда, когда п

(где одинарные кавычки относятся к лингвистическому выражению внутри кавычек), семантическое свойство ссылки, по-видимому, регулируется наивной схемой:

(R) Если а существует референт имени ′а′ Идентичен а

Однако рассмотрите имя час для (натуральных) чисел, удовлетворяющих:

(ЧАС) час совпадает с '(референт час) +1′

Предположим, что для некоторого числа п:

(1) Референт час совпадает с п

Тогда, конечно, референт час существует, и то же самое (референт час) +1. Тогда из (R) следует, что:

(2) Референт '(референт час) +1 ′ совпадает с (референт час)+1

а значит, в силу (H) и принципа неразличимость идентичностей, это тот случай, когда:

(3) Референт час совпадает с (референт час)+1

Но опять же из-за неразличимости тождества (1) и (3) дают:

(4) Референт час совпадает с п +1

и, по транзитивность из личность, (1) вместе с (4) дает:

(5) п совпадает с п+1

Но (5) абсурден, поскольку никакое число не идентично своему преемнику.

Решения

Поскольку каждая достаточно сильная теория должна будет принимать что-то вроде (H),[требуется разъяснение ] абсурда можно избежать, только отвергнув принцип наивной ссылки (R) или отвергнув классическая логика (что подтверждает абсурдность рассуждений (R) и (H)). При первом подходе обычно все, что говорят о Парадокс лжеца переносится плавно к парадоксу Гильберта – Бернейса.[3] Вместо этого парадокс отличительные трудности для многих решений, придерживающихся второго подхода: например, решений парадокса Лжеца, которые отвергают закон исключенного среднего (который нет использованный парадоксом Гильберта-Бернейса) отрицали существование такой вещи, как референт час;[4] решения для Парадокс лжеца которые отвергают закон непротиворечивости (что также нет используется парадоксом Гильберта-Бернейса) утверждали, что час относится к более чем одному объекту.[5]

Рекомендации

  1. ^ Гильберт, Дэвид; Бернейс, Пол (1939). Grundlagen der Mathematik. Берлин: Springer. С. 263–278.
  2. ^ Священник, Грэм (2005). К небытию. Оксфорд: Издательство Оксфордского университета. С. 156–178.
  3. ^ Кейт Симмонс (2003). «Справка и парадокс». В Beall, JC (ред.). Лжецы и кучи. Оксфорд: Издательство Оксфордского университета. С. 230–252.
  4. ^ Поле, Хартри (2008). Спасение истины от парадокса. Оксфорд: Издательство Оксфордского университета. С. 291–293.
  5. ^ Священник, Грэм (2005). К небытию. Оксфорд: Издательство Оксфордского университета. С. 156–178.