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.
Highlights
The background of research presented in this paper has a long inner history [1]-[8]
A discrete mathematical model of relationship between philosophy of physics and universal epistemology united with formal axiology has been constructed
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 notion “formal-axiological law of algebra of metaphysics” is given.)
Summary
The background of research presented in this paper has a long inner history [1]-[8]. Arguments pro-et-contra the idea of perpetuum mobile can be found even in Ancient Greece, for example, in “Physics” and “Metaphysics” by Aristotle [9]. The proper formal-axiological aspect of finitism in philosophical foundations of physics has been formulated as such in general and exemplified by the law of conservation of energy in [11] [12] [13] [14] but yet it is almost unknown, probably, because the articles have been published in Russian language. From the ground-breaking viewpoint of formal axiology of physics, the “conservation (constant-ness) of finite energy of an isolated system” can have abstract positive value “good” What does this odd combination of words mean? (Being a necessary prerequisite of/for obtaining the main new result of this paper, the axiological analog of the physical law is introduced and justified by computations of evaluation-functions in paragraph 3 of the present article.)With respect to the already published in [11] [12] [13] [14] ( not well-known) axiological analog of the physical law, the following questions naturally arise. Let us start with extracting and investigating a proper algebraic aspect of formal axiology
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
