В формальной аксиоматической теории Сигма построено формальное доказательство такой схемы теорем, которая означает в стандартной интерпретации формальной теории Сигма, что при допущении априорности знания, нормативные суждения логически выводимы из соответствующих суждений о том, что есть. Эта теорема точно определяет (ограничивает) сферу уместной применимости Гильотины Юма и оправдывает кажущееся парадоксальным утверждение И. Канта о предписывании физиком чисто априорных законов природе.

In a formal axiomatic theory Sigma, a formal proof of such a theorem-scheme is constructed which theorem-scheme affirms (in a standard interpretation of Sigma) that, under the assumption of a-priori-ness of knowledge, normative judgements are logically derivable from corresponding judgements of being. This surprising theorem-scheme precisely defines (limits) the sphere of relevant applicability of Hume-Guillotine and vindicates (justifies) seemingly paradoxical I. Kant’s statement of physicist’s prescribing pure-a-priori laws to nature.

Гильотина Юма, логически непреодолимая пропасть между фактами и нормами, формально-логический вывод нормативного утверждения из утверждения о бытии
Hume guillotine, logically unbridgeable gap between facts and norms, formal-logical deriving statement of norm from statement of being

Полный текст>>