Дилогия атеизма

Дунс Скот против противоречий

Развитие некоторых отраслей науки уже вполне завершено. Например, вышеупомянутой формальной логики. Одно из ее достижений нам пригодится. Английский францисканский монах, богослов Иоанн Дунс Скот (1265–1308) сказал: из любого ложного утверждения можно строго логически вывести любое утверждение — как ложное, так и истинное. При этом совершенно не важно, связаны ли эти утверждения содержательно: по классическому примеру, если дважды два — пять, то существуют ведьмы. В рамках формальной логики закон Дунса Скота неоспорим.

Из первой теоремы Гёделя ясно: если какая-то система полна, она противоречива. Из закона Дунса Скота видно: если в системе выводима хотя бы одна пара противоречивых утверждений, то можно вывести и любое утверждение, сколь угодно бессмысленное. Таким образом, с практической точки зрения, противоречивая аксиоматика вполне равноценна заведомо ложному утверждению.