ДААН спрашивает: быть может, Бог желает именно выбора между верой и логикой; быть может, акт веры как раз и должен быть отречением от логики в знак абсолютного доверия к Богу?
АДАН: если допустить, что логическая реконструкция чего-либо (бытия, теодицеи, теогонии и т. д. ) _может_ быть внутренне противоречивой хотя бы в одном пункте, то тогда можно доказать буквально все, что захочется. Вдумайтесь: ведь это значит наделить творение логикой, и логикой вполне определенной, а после потребовать принести ее в жертву как доказательство веры в Творца. Чтобы оставаться непротиворечивым, это допущение требует какой-то металогики, какого-то совершенно иного типа умозаключений, нежели те, что свойственны логике сотворенного. В этом проявляется если не прямая ущербность Творца, то во всяком случае, черта, которую я бы назвал математической неэлегантностью, неупорядоченностью (некогерентностью) акта творения.
ДААН настаивает на своем: возможно, Творец поступает так именно потому, что желает остаться непостижимым для сотворенных, невыводимым по правилам логики, которую он для них создал. Иначе говоря, он требует логику подчинить вере.
АДАН отвечает ему: понимаю. Разумеется, это возможно, но если даже и так, несогласуемость веры и логики порождает крайне неприятную дилемму морального свойства. На каком-то этапе рассуждений нам приходится отказываться от логики в пользу неясной догадки, то есть догадку
предпочесть _логической достоверности_, - и все это во имя безграничного доверия. Мы попадаем в circulus vitiosus [порочный круг (лат.)] , ибо существование того, кому мы так слепо должны доверять, есть следствие умозаключений, в исходном пункте _логически правильных_. Возникает логическое противоречие; подчас его берут с положительным знаком и нарекают "тайной бытия Бога". Такое решение с конструктивной точки зрения никуда не годится, а с точки зрения этики - сомнительно. Понятие Тайны может быть в достаточной мере оправдано неисчерпаемостью мироздания (ведь бытие бесконечно) . Оправдывать же его при помощи внутреннего противоречия - дело весьма сомнительное с точки зрения любого конструктора. Ревнители веры не отдают себе в этом отчета и к некоторым частям богословия применяют обычную логику, а к другим - нет. По-моему, если верить в противоречие [credo quia absurdum est: верую, ибо (это) абсурдно (лат. ) - примечание профессора Добба в тексте] , то _уже только_ в противоречие, а не в логику и противоречие попеременно.
(с) Станислав Лем
Вы бы развернули мыль, ибо она непонятна чуть более, чем совсем. Можно подобрать систему аксиом под любую теорему, но от этого она не станет иметь какое-то отношение к действительности.
И я сомневаюсь, что термин "линейная логика" был употреблен уместно.