Lobovikov, V.O. (2005) “Prolegomena” by I. Kant and Impossibility of Perpetuum Mobile as a Principle of Pure A-Priori Knowledge of Nature (A Discrete Mathematical Model of Metaphysics in General and of Metaphysics of Nature Especially) [“Prolegomeny” I. Kanta i nevozmozhnost’ vechnogo dvigatelya kak apriornyj princip chistogo estestvoznaniya (Diskretnaya matematicheskaya model’ metafiziki voobshche i metafiziki prirody v osobennosti]. Scientific Yearbook of the Institute of Philosophy and Law of the Ural Branch of Russian Academy of Sciences [Nauchnyj ezhegodnik Instituta filosofii i prava Ural'skogo otdeleniya Rossijskoj akademii nauk], 5, 82-115. (In Russian)

has been cited by the following article:

• TITLE: Formal Inferring the Law of Conservation of Energy from Assuming A-Priori-ness of Knowledge in a Formal Axiomatic Epistemology System Sigma

  AUTHORS: Vladimir O. Lobovikov

  KEYWORDS: Law of Conservation of Energy, law of Two Valued Algebra of Formal Axiology, Formal Axiomatic Epistemology System Sigma, Apriori Knowledge, Formal Deductive Inference

  JOURNAL NAME: Journal of Applied Mathematics and Physics, Vol.9 No.5, May 26, 2021

  ABSTRACT: The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy within a logically formalized axiomatic epistemology-and-axiology theory Sigma from a precisely defined assumption of a-priori-ness of knowledge. For realizing this aim, the following work has been done: 1) a two-valued algebraic system of formal axiology has been defined precisely and applied to proper-philosophy of physics, namely, to an almost unknown (not-recognized) formal-axiological aspect of the physical law of conservation of energy; 2) the formal axiomatic epistemology-and-axiology theory Sigma has been defined precisely and applied to proper-physics for realizing the above-indicated purpose. Thus, a discrete mathematical model of relationship between philosophy of physics and universal epistemology united with formal axiology has been constructed. Results: 1) By accurate computing relevant compositions of evaluation-functions within the discrete mathematical model, it is demonstrated that a formal-axiological analog of the great conservation law of proper physics is a formal-axiological law of two-valued algebra of metaphysics. (A precise algorithmic definition of the unhabitual (not-well-known) notion “formal-axiological law of algebra of metaphysics” is given.) 2) The hitherto never published significantly new nontrivial scientific result of investigation presented in this article is a formal logical inference of the law of conservation of energy within the formal axiomatic theory Sigma from conjunction of the formal-axiological analog of the law of conservation of energy and the assumption of a-priori-ness of knowledge.