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

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

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

An explanation for the law of inertia from the perspective of falsificationism

Inertia in 4D-mechanics

Comparing Classical and Relativistic Kinematics in First-Order Logic

Constructive Axiomatics in Spacetime Physics Part II: Constructive Axiomatics in Context

A logico-linguistic inquiry into the foundations of physics: Part I

The construction of mechanics. A new path to Newton's equations

Axiomatization of Special Relativity in First Order Logic

Synthesizing Normal and Non-Normal Modal Logics in Philosophical Epistemology Axiomatic System Modeled by the Logic Square and Hexagon of Opposition

The non-standad logic of physics: the case of the Boltzmann-Sinai hard-sphere system

First-Order Logic Investigation of Relativity Theory with an Emphasis on Accelerated Observers

Ontology of the Theory of Relativity

A dialectical view of the variational principles of mechanics

Positivism in Newtonian Mechanics: The Ousia or a Historical Liability?

Statistical Patterns in the Equations of Physics and the Emergence of a Meta-Law of Nature

The ontological identity of empirical indiscernibles: Leibniz's methodological principle and its significance in the work of Einstein

The Interpretation of Inertial Force and The Existence of Absolute Background

How Hegels’s Cognitive Semantics Undergirds Newton’s “Rule 4 of Experimental Philosophy” and thus Undermines van Fraassen’s “Constructive Empiricism”

Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems

A neo-Kantian explanation of the applicability of mathematics to physics