Логически формализованная аксиоматическая система эпистемологии Кси, моделирующая экстраординарное утверждение Канта о предписывании физиком априорных законов природе
УДК 16+11+17+51-7+512+510.687+510.82+531.62
Лобовиков В.О. Логически формализованная аксиоматическая система эпистемологии Кси, моделирующая экстраординарное утверждение Канта о предписывании физиком априорных законов природе // Научный журнал "Дискурс-Пи". 2021. Т. 18. № 2. С. 142-157. DOI: 10.17506/18179568_2021_18_2_142.
Предмет исследования – приложение логики и дискретной математики к философии физики, а именно к учению Канта о предписывании априорных законов природе. Метод – конструирование и исследование дискретных математических моделей: формальной аксиоматической теории знания, именуемой Кси; двузначной алгебраической системы метафизики как формальной аксиологии. Научная новизна: впервые даются качественно новые (а именно формально-аксиологические) интерпретация, уточнение, объяснение и оправдание странной идеи Канта о предписании физиком априорных законов природе. Упомянутая до сих пор неизвестная дискретная математическая модель предписывания априорных законов природе рассматривается на примере закона сохранения энергии. Согласно обсуждаемой идее Канта, если некто a-priori знает закон сохранения энергии, то этот некто предписывает данный закон природе, которая должна ему подчиняться. В системе эмпирического знания «есть» и «предписано (должно быть)» логически разделены «Гильотиной Юма». Если этот принцип логического разделения абсолютно универсален, то утверждение Канта, что «понимание предписывает априорные законы природе», является ложным. Вопреки такому выводу, с помощью формальной аксиоматической теории Кси и двузначной алгебраической системы метафизики как формальной аксиологии в данной статье дедуктивно доказывается, что идея Канта о предписывании физиком априорных законов природе совершенно адекватна. Это дедуктивное доказательство неожиданно и нетривиально; оно означает, что сфера применимости «Гильотины Юма» является не универсальной, а ограниченной; такой ограничивающий результат – важная инновация. Это вызов доминирующей парадигме, что, в логически непротиворечивой теории Кси, формально доказуема такая схема формул, которая означает логическую эквивалентность модальности «необходимо» и модальности «обязательно (предписано)» при условии, что знание является априорным. Будучи формально доказана в Кси, упомянутая схема формул является математической моделью и оправданием обсуждаемой загадочной идеи Канта.
The subject-matter – applying logic and discrete mathematicsto philosophy of physics, namely, to Kant’s conception of prescribing a-priori laws to nature. Method – constructing and investigating discrete mathematical models: a formal axiomatic theory-ofknowledge called “Ksi”; a two-valued algebraic system of metaphysics as formal axiology. Scientific novelty: for the first time, qualitatively new (namely, formal-axiological) interpretation, explication, explanation, and vindication are given for Kant’s odd idea of physicist prescribing a-priori laws to nature. The hitherto unknown discrete mathematical model of prescribing a-priori laws to nature is exemplified by the law of conservation of energy. According to Kant’s idea in question, if one a-priori knows the energy-conservation-law, then the one prescribes the law to nature which must obey the law. In empirical-knowledge system “is” and “is prescribed (must be)” are logically separated by “Hume-Guillotine”. If this logical-separation principle is absolutely universal, then Kant’s affirming that “the understanding prescribes a priori laws to nature” is wrong. Notwithstanding this conclusion, by means of the formal-axiomatic-theory Ksi and the two-valued algebraic system of metaphysics-as-formal-axiology, this article proves deductively that Kant’s idea of physicist’s prescribing a-priori-laws-to-nature is perfectly adequate. This deductive proof is surprising and nontrivial; it means that applicability domain of “Hume-Guillotine” is not universal but limited; such limiting-result is an important innovation. It is a challenge for the dominating paradigm that, in the consistent theory Ksi, such a formulascheme is formally provable which means logical equivalence of modality “necessary” and modality “obligatory (prescribed)” under the condition that knowledge is a-priori one. Being formally proved in Ksi the wonderful formula-scheme is a mathematical model and vindication of Kant’s enigmatic idea.
мультимодальная логика, алгебра метафизики, формально-аксиологический закон, формальная аксиоматическая теория, эпистемология, априорное знание, эмпирическое знание, философские основания физики, идея Канта о предписывании априорных законов природе, закон сохранения энергии
multimodal-logic, algebra-of-metaphysics, formal-axiology-law, formal-axiomatictheory, epistemology, a-priori-knowledge, empirical-knowledge, philosophical-grounds-ofphysics, Kant’s-idea-of-prescribing-a-priori-laws-to-nature, law-of-conservation-of-energy
