Abstract: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”.

There is no argue in a cycle in the law of inertia--Talking from Einstein's discussion of law of inertia and inertial frames

Forced Changes Only: A New Take on the Law of Inertia

Inertia in 4D-mechanics

A Note on the Origin of Inertia

On the linear transformation between inertial frames

The unevadable inertial force

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

Inertial Frames and Clock Rates

The Intrinsic Rigid Reference Frame with Constant Acceleration Moving along a Straight Line

Non-inertial frames that can mimic gravitational fields

Is the principle of equivalence a principle?

A categorical view on the principle of relativity

Explore Inertial Frame of Reference

The general invariance of physical laws

The origin of inertia and the nature of inertial rest mass

On the relativistic origin of inertia and zero-point forces

ON THE LOW SPEED LIMITS OF LORENTZ'S TRANSFORMATION - HOW RELATIVISTIC EFFECTS RETAIN OR VANISH IN ELECTROMAGNETISM

Localization of Lorentz transformation and its induced local Lorentz invariance

Laws of Physics

Generalized dynamics equation with causal symmetry