Случайно наткнулся на любопытную публикацию: On Henotheism. Beyond polytheism & monotheism: an invitation to gnosis

Чел утверждает, что монотеизм основан на фрегевской логике, а политеизм - на антифрегевской, а генотеизм - на нефрегевской:

( Цитата )

Самое загадочное в нефрегевской логике - что именно понимается под "нефрегевостью". Вот Сушко сначала рассматривает нефрегевскую аксиому в трех формулировках:

(1) (p ↔ q) → (p=q)
(2) p=1 ∨ p=0
(3) (p ↔ q) → □(p↔q)

где (1), если утрировать, говорит о свойствах тождества, (2) о бивалентности, а (3) о свойствах необходимости. А потом сам начинает бороться ( Read more... )