A Formal Deductive Inference of the Law of Inertia in a Logically Formalized Axiomatic Epistemology System Sigma from the Assumption of Knowledge A-Priori-Ness

摘要

The general purpose of the research —systematical clarifying and explicating the too vague proper philosophical concepts of space, void, matter, motion, inertia, for making a logical harmony between them and the corresponding notions of proper physics. The special purpose of the research —invention (construction) of a formal inference of the well-known Newton’s first law of mechanics within a logically formalized axiomatic epistemology system from a set of precisely defined presumptions. For realizing this aim the following work has been done : a two-valued algebraic system of metaphysics as formal axiology has been applied to philosophical epistemology and philosophy of nature; a formal axiomatic theory called Sigma has been applied to physics for realizing the above-indicated special purpose of the research. Thus, constructing a discrete mathematical model of relationship between universal epistemology and philosophy of physics has been done. Research results : The main hitherto not published significantly new nontrivial scientific result of applied investigations presented in this article is a formal inference of the well-known Newton’s first law of mechanics within the formal axiomatic epistemology system Sigma from conjunction of the formal-axiological analog of the proper-law-of-mechanics (which analog is the formal-axiological law of two-valued algebra of metaphysics) and the assumption of a-priori-ness of knowledge. For obtaining this main research result, a set of accessory nontrivial novelties has been used, for instance; a precise algorithmic definition is given for the notion “law of metaphysics ” in the algebraic system of metaphysics as formal axiology; a formal-axiological equivalence in the algebraic system is defined precisely. Precise tabular definitions are given for relevant evaluation-functions determined by evaluation-arguments, for example; “movement of (what, whom) x ”; “speed of x ”; “vector of x ”; “velocity of x ”; “magnitude of x ”; “finiteness (definiteness) of x ”; “dynamical closed-ness (isolated-ness) of x ”; “constant-ness, immutability, conservation of x ”.