Введение

Вариации парадокса лжеца

В Средние века вариации парадокса лжеца изучались под названием инсолюбилия ("неразрешимые").

Обзор

Хотя парадокс лжеца был хорошо известен в античности, интерес к нему, по-видимому, угас до XII века, когда он, кажется, был изобретен заново независимо от античных авторов. Средневековый интерес мог быть вызван фрагментом из «Софистических опровержений» Аристотеля. Хотя «Софистические опровержения» последовательно цитируются средневековыми логиками в ранних трудах о неразрешимых проблемах (insolubilia), средневековые исследования insolubilia выходят далеко за рамки Аристотеля. Другие античные источники, которые могли намекать на парадокс лжеца, включая святого Августина, Цицерона и цитату Эпименида, встречающуюся в Послании к Титу, не упоминались в дискуссиях об insolubilia. Адам из Балшама вскользь упомянул некоторые парадоксальные высказывания (датированные 1132 годом), но не заострял внимания на сложностях, которые они порождают. Александр Некхэм, писавший позднее в XII веке, явно признал парадоксальную природу insolubilia, но не пытался разрешить противоречивые следствия этого парадокса. Первое решение было предложено анонимным автором в конце XII или начале XIII века. К 1320 году сложилась литература по этой теме, когда Фома Брэдвардин начал свое обсуждение insolubilia с представления девяти распространенных точек зрения. Интерес к insolubilia сохранялся на протяжении всего XIV века, особенно благодаря Жану Буридану. Средневековая литература об insolubilia, по-видимому, рассматривает эти парадоксы как сложные, но не по-настоящему «неразрешимые», и, хотя они интересны и заслуживают изучения, не являются центральными для изучения логики. Это можно противопоставить современным исследованиям самореферентных парадоксов, таких как парадокс Рассела, в которых эти проблемы рассматриваются как принципиально неразрешимые и основополагающие для основ логики.