Formally Inferring Galileo Galilei Principle of Relativity of Motion in an Axiomatic System “Sigma+V” from a Triple of Nontrivial Assumptions

作     者：Vladimir Olegovich Lobovikov Vladimir Olegovich Lobovikov

作者机构：Laboratory for Applied System Investigations Ural Federal University Yekaterinburg Russia 

出 版 物：《Journal of Applied Mathematics and Physics》 (应用数学与应用物理（英文）)

年 卷 期：2022年第10卷第8期

页      面：2459-2498页

学科分类：07[理学] 070201[理学-理论物理] 0702[理学-物理学] 

主　　题：Galileo-Galilei-Principle-of-Relativity-of-Motion Formal-Axiomatic-Theory-Σ+V Two-Valued-Algebraic-System-of-Metaphysics-as-Formal-Axiology Formal-Inference-from-Assumptions Pure-a-Priori--Knowledge 

摘      要：The present paper submits a result of applying a hitherto unknown logically formalized axiomatic axiology-and-epistemology theory “Sigma+V to the relativity principle formulated by Galileo Galilei. By this application, the author has continued checking the remarkable (paradigm-breaking) hypothesis that formal-axiological interpreting strictly universal laws of classical theoretical mechanics could have a heuristic value for the theory proper. Along with systematical studying proper algebraic structure of formal axiology of nature, the axiomatic (hypothetic-deductive) method is used in this research as well. The investigation accomplishments are the followings. Galileo Galilei principle of relativity of motion has been represented in a two-valued algebraic system of formal axiology by a wonderful formal-axiological equation which could be called a “formal-axiological analog of Galileo relativity principle. A precise definition of that algebraic system is given. The remarkable formal-axiological equation has been created (and checked) in that algebraic system by attentive computing relevant compositions of evaluation-functions. Precise definitions of the relevant evaluation-functions are accomplished by tables. The remarkable formula modeling Galileo Galilei principle of relativity of motion (given the appropriate interpretation of the formal theory) has been formally-logically inferred within Sigma+V from a couple of nontrivial assumptions, namely, 1) a precisely defined assumption of a-priori-ness of knowledge, 2) the above-mentioned formal-axiological analog of the relativity principle by Galileo Galilei. A not-manifest but quite exact axiomatic definition of “a-priori-ness of knowledge is provided. The formal-logical inference is performed in perfect accordance with the mathematical rigor norms formulated within the formalism doctrine by D. Hilbert, therefore, examining the formal deductive inference submitted in the paper can be accomplished easily. Being a no