Похоже, тут не все поняли смысл выражения "из ложного следует любое". Речь не идет о софистике. Софистика направлена на то, чтобы скрыть ошибку в логическом построении. Речь же идет о том, чтобы доказать утверждение, не нарушая законы логики. В случае с римским папой законы логики не нарушаются.
Утверждение типа "слоны не летают" или "слоны летают" вообще изначально не связано с формальной логикой. Просто берем два утверждения "слоны не летают" и "слоны летают" , переводим в численную форму 0=1 и приводим к любым другим противоположным утверждениям.
Из истинного утверждения доказать ложное невозможно.
|