Априорность знания как условие для логического вывода «предписано» из «есть»
Лобовиков В.О. Априорность знания как условие для логического вывода «предписано» из «есть» // Двенадцатые Смирновские чтения по логике. Материалы международной научной конференции 24-26 июня 2021 года. М.: Издательство РОИФН, 2021. С. 109-111.
В формальной аксиоматической теории Сигма построено формальное доказательство такой схемы теорем, которая означает в стандартной интерпретации формальной теории Сигма, что при допущении априорности знания, нормативные суждения логически выводимы из соответствующих суждений о том, что есть. Эта теорема точно определяет (ограничивает) сферу уместной применимости Гильотины Юма и оправдывает кажущееся парадоксальным утверждение И. Канта о предписывании физиком чисто априорных законов природе.
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
