_{1}

^{*}

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

To begin with, let us introduce the research background. In times of Aristotle, substantial differences between physics and metaphysics had been not recognized; in many significant aspects his “Physics” had repeated his “Metaphysics” [

The present article submits a psychologically unexpected (surprising) and, therefore, hitherto not-well known formal-axiological interpretation of the law of inertia in classical mechanics. The formal-axiological interpretation of Newton’s first law is a ground-breaking interpretation as it contradicts to the dominating paradigm in philosophy of science. With respect to the still dominating paradigm, it seems quite obvious that metaphysics and physics (especially metaphysics and mechanics) are incompatible. Modern mechanics is a respectable part of physics based on observations, facts and measurements. Nowadays, in perfect accordance with the still dominating paradigm, plenty of physicists believe that metaphysics and axiology have nothing to do with observations and experiments, facts and measurements [

This algebra makes up an indispensable aspect of the research background to be defined precisely in the next paragraph. Contents of the paragraph 2, namely, precise definitions of basic notions of two-valued algebraic system of metaphysics as formal axiology are already published, for instance, in [

With respect to applying discrete mathematics to philosophical grounds of physics, it is worth mentioning here that in the present article the following evaluation-functions determined by one evaluation-argument are considered: “movement of (what, whom) x”; “speed of (what, whom) x”; “vector of (what, whom) x”; “velocity of (what, whom) x”; “quantity of x”; “finiteness (definiteness) of x”; “dynamical isolated-ness of x”; “constant-ness (immutability) of x”. The functions are precisely defined in the mentioned algebraic system by tables. It is demonstrated in this article that by accurate computing compositions of the relevant evaluation-functions anyone can establish (and scrutinize) such a law of algebra of metaphysics which (law) is a formal-axiological analog of Newton’s-first-law-of-mechanics. During long time the word-combination “law of metaphysics” has been considered as a verbal representation of an “absolutely dark (necessarily unclear, obscure vague)” concept or as a term possessing no meaning at all [

As the main significantly novel nontrivial scientific result is obtained (in the paragraphs 3 and 7 of this article) within the framework of a qualitatively new paradigm, which scientists and philosophers are not used to, they have to have exact definitions of all the novel basic notions at their disposal before: 1) starting to construct, read, and understand formal deductive proofs and to examine them at syntax level; 2) interpreting the formally proved theorems and discussing the interpretations. The precise definitions necessary and sufficient for complete understanding and rigorous scrutinizing perfectly new contents of the paragraph 3 are given in the paragraph 2. The exact definitions and formal proofs necessary and sufficient for complete understanding and rigorous scrutinizing contents of the paragraphs 7 and 8, which have been never published elsewhere, are given in the paragraphs 2, 4 - 6. The paragraph 6 makes up another necessary aspect of the research background by repeating the formal proof of the theorem-scheme published in [

According to the contemporary abstract notion of algebra, generally speaking, algebra may be based upon any set of objects having any nature. The habitual sets (of numbers, quantity relations, space forms, etc.) are implied by the well-known habitual concrete applications of algebra to the concrete (fixed) objects for solving the concrete (fixed) classes of problems of human life. For instance, originally, Boolean two-valued algebra of logic had broken the habitual paradigm of algebra as a mathematical apparatus for operating exclusively with numbers. Boolean algebra of logic is based upon the set of thoughts, which are either true of false ones. Numbers and thoughts have qualitatively different nature but it does not matter if one talks of abstract algebra in general. Consequently, from the universal algebra standpoint, one can create an algebraic system based on a set of any (even very unhabitual, extraordinary, odd) objects. Hence, in principle, nowadays it is possible rationally to talk of constructing and investigating even such an algebraic system which is based upon a set of objects having either proper ethical (moral) or proper metaphysical nature as well [

The odd (unhabitual) algebraic system mentioned in the title of this paragraph is based upon the set Δ. By definition, elements of Δ are such (and only such) either existing or not-existing objects, namely, things, processes, persons (individual or collective ones—it does not matter), which are either good, or bad ones from the standpoint of a valuator V, who is a person (individual or collective one—it does not matter), in relation to which all valuations are generated. Here the terms “good” and “bad” have abstract axiological meanings which are more universal in comparison to the particular ones exploited in ethics: in the present article, “good” means abstract positive value in general; “bad” means abstract negative value in general. Certainly, V is a variable: changing values of the variable V can result in changing valuations of concrete elements of Δ. However, if a value of the variable V is fixed, then valuations of concrete elements of Δ are quite definite.

Algebraic operations defined on the set Δ are abstract-valuation-functions (in particular, moral-value-ones). Abstract-valuation-variables of these functions take their values from the set {g, b}. Here the symbols “g” and “b” stand for the abstract values “good” and “bad”, respectively. The functions take their values from the same set. The symbols: “x” and “у” stand for axiological-forms of elements of Δ. Elementary axiological-forms deprived of their contents are independent abstract-valuation-arguments. Compound axiological-forms deprived of their contents are abstract-valuation-functions determined by these arguments.

In this article, talking of evaluation-functions determined by (a finite integer of)evaluation-arguments means talking of the following mappings (in the proper mathematical meaning of the word “mapping”): {g, b} → {g, b}, if one talks of the valuation-functions determined by one valuation-argument; {g, b} ´ {g, b} → {g, b}, where “´” stands for the Cartesian product of sets, if one talks of the valuation-functions determined by two valuation-arguments; {g, b}^{N} → {g, b}, if one talks of the valuation-functions determined by N valuation-arguments, where N stands for a finite positive integer. To exemplify the above-defined general notion, let us introduce and define precisely by tables the following evaluation-functions determined by one argument. This is not merely an exemplification as the below-introduced one-placed functions are to be exploited essentially for obtaining the main new nontrivial scientific result of this article.

Glossary for _{1}x—“change, flow of (what, whom) x”. P_{1}x—“place, position (unique location in space), special room, own territory of (what, whom) x”. R_{1}x—“rest (nonbeing of mechanical movement) of (what, whom) x”. M_{1}x—“mechanical movement of (what, whom) x”. U_{1}x—“uniform (what, who) x”, or “uniformity of (what, whom) x”. S_{1}x—“straightforward (what, who) x”, or “straightforwardness of (what, whom) x”. S_{2}x—“speed, quickness of (what, whom) x”. D_{1}x—“immanent direction (own inner vector) of (what, whom) x”. V_{1}x—“velocity of (what, whom) x”. P_{2}x—“part of x”. N_{1}x—“nonbeing, nonexistence of x”. N_{2}x—“absolute nonbeing of x”. These evaluation-functions are precisely defined by the below-submitted

Glossary for _{1}x—“being, existence, life of (what, whom) x”. B_{2}x—“absolute being of (what, whom) x”. G_{1}x—“God (what, who) x”. Z_{1}x—“thing (what, who) x”. O_{1}x—“opposite of/for (what, whom) x”. E_{1}x—“extent, extension, length of (what, whom) x”. F_{1}x—“finite, definite (what, who) x” or “finiteness, definiteness of (what, whom) x”. I_{1}x—“infinite, indefinite (what, who) x”, or “infiniteness, indefiniteness of (what, whom) x”. M_{2}x—“magnitude (quantity) of (what, whom) x”. R_{2}x—“relativity of (what, whom) x”, or “relative (what, who) x”. V_{2}x—“void, vacuity, emptiness of (what, whom) x”, or “empty, vacuous (what, who) x”. V_{3}x—“absolute void (absolute vacuum) of x”. These functions are defined by

Glossary for _{3}x—“metaphysical space of (what, whom) x”. S_{4}x—“physical space of (what, whom) x”. S_{5}x—“absolute space of x”. S_{6}x—“space of x in general”. P_{3}x—“property of (what, whom) x”. A_{1}x—“attribute of (what, whom) x”. B_{3}x—“body of (what, whom) x”. C_{2}x—“(dynamically) closed, isolated, protected (what, who) x”, or “dynamical closedness, isolated-ness, protected-ness of (what, whom) x”. H_{1}x—“flesh of x”. M_{3}x—“matter, material, materialness of (what, whom) x. M_{4}x—“matter, material for (what, whom) x. These functions are defined by

x | C_{1}x | P_{1}x | R_{1}x | M_{1}x | U_{1}x | S_{1}x | S_{2}x | D_{1}x | V_{1}x | P_{2}x | N_{1}x | N_{2}x |
---|---|---|---|---|---|---|---|---|---|---|---|---|

g | b | g | g | b | g | g | g | g | g | b | b | b |

b | g | b | b | g | b | b | b | b | b | g | g | b |

x | B_{1}x | B_{2}x | G_{2}x | Z_{1}x | O_{1}x | E_{1}x | F_{1}x | I_{1}x | M_{2}x | R_{2}x | V_{2}x | V_{3}x |
---|---|---|---|---|---|---|---|---|---|---|---|---|

g | g | g | g | g | b | g | b | g | g | b | b | b |

b | b | g | g | b | g | b | g | b | b | g | g | b |

x | S_{3}x | S_{4}x | S_{5}x | S_{6}x | P_{3}x | A_{1}x | B_{3}x | C_{2}x | H_{1}x | M_{3}x | M_{4}x |
---|---|---|---|---|---|---|---|---|---|---|---|

g | g | b | g | g | g | g | g | g | b | b | g |

b | b | g | g | b | b | b | b | b | g | g | b |

Glossary for _{7}x—“sensation of (what, whom) x as an object,i.e. x’s being an object of sensation”. M_{5}x—“measurement of (what, whom) x as an object, i.e. x’s being an object of measurement”. P_{4}x—“possibility of (what, whom) x”. I_{2}x—“impossibility of (what, whom) x”. N_{3}x—“necessity of (what, whom) x”. C_{3}x—“constant-ness, immutability, conservation of (what, whom) x”. W_{1}x—“struggle, war for (what, whom) x”. A_{2}x—“action on (what, whom) x”, or “application of a force to (what, whom) x”. M_{6}x—“many-ness (multitude) of x”. F_{2}x—“form of x”. F_{3}x—“form for x”. These evaluation-functions are defined by

Now, let us turn from the evaluation-functions determined by one evaluation-argument to evaluation-functions determined by two evaluation-arguments.

Glossary for ^{2}xy stands for the two-placed evaluation-function “being of y with x”, or “joint being of x and y”, or “x’s and y’s being together”. The symbol W^{2}xy means “being of y without x”, or “joint being of y and nonbeing of x”, or “y’s being together with x’s nonbeing”. E^{2}xy—“equalizing (identifying values of) x and y”, or “axiological coincidence (identity) of x and y”. R^{2}xy—“x’s being related to y”, or “being of x in relation to y”, or simply “(what, who) x in relation to y”. T^{2}xy—“y’s terminating, annihilating (what, whom) x”, or “x’s being terminated, annihilated by y”. P^{2}xy—“preservation, conservation of x by y”. D^{2}xy—“defense, protection of x by y”. A^{2}xy—“y’s action on (what, whom) x”, or “y’s application of force to x”, or “violating (what, whom) x by y”. The mentioned two-placed evaluation-functions are defined precisely by the following

Glossary for ^{2}xy—“matter, material, materialness of (what, whom) x for (what, whom) y. U^{2}xy—“reduction of (what, whom) x to (what, whom) y. C^{2}xy—“being of y in x”. I^{2}xy—“y’s independence from x”, or “y independent of x”. F^{2}xy—“form, formalness of (what, whom) y for (what, whom) x. V^{2}xy—“movement, change of (what, whom) x by (what, whom) y”, or “y’s being a mover (moving cause) of/for x”. O^{2}xy—“y’s being an outer, external (transcendent) cause of/for x”. Y^{2}xy—“y’s being an inner, internal (immanent) cause of/for x”. The mentioned two-placed evaluation-functions are defined precisely by the following

The notions: “formal-axiological equivalence”; “formal-axiological contradiction”; “formal-axiological law”(or, which is the same, “law of metaphysics”) in the two-valued algebraic system of metaphysics as formal axiology are precisely defined as follows.

x | S_{7}x | M_{5}x | P_{4}x | I_{2}x | N_{3}x | C_{3}x | W_{1}x | A_{2}x | M_{6}x | F_{2}x | F_{3}x |
---|---|---|---|---|---|---|---|---|---|---|---|

g | b | b | g | b | g | g | g | b | b | g | b |

b | g | g | b | g | b | b | b | g | g | b | g |

x | y | К^{2}xy | W^{2}xy | E^{2}xy | R^{2}xy | T^{2}xy | P^{2}xy | D^{2}xy | A^{2}xy |
---|---|---|---|---|---|---|---|---|---|

g | g | g | b | g | b | b | g | g | b |

g | b | b | b | b | b | b | g | g | b |

b | g | b | g | b | g | g | b | b | g |

b | b | b | b | g | b | b | g | g | b |

x | y | M^{2}xy | U^{2}xy | C^{2}xy | I^{2}xy | F^{2}xy | V^{2}xy | O^{2}xy | Y^{2}xy |
---|---|---|---|---|---|---|---|---|---|

g | g | b | b | g | b | b | b | b | g |

g | b | b | b | b | b | b | b | b | b |

b | g | g | g | g | g | g | g | g | g |

b | b | b | b | g | b | b | b | b | g |

Definition DEF-1 of thetwo-placed relation called “formal-axiological-equivalence”: in the algebraic system of formal axiology, any evaluation-functions Ξ and Θ are formally-axiologically equivalent (this is represented by the expression “Ξ=+=Θ”), if and only if they acquire identical axiological values (from the set {g (good), b (bad)}) under any possible combination of the values of their evaluation-variables.

Definition DEF-2 of the notion “formal-axiological law”: in algebra of formal axiology, any evaluation-function Θ is called formally-axiologically (or necessarily,or universally)good one, or a law of algebra of formal axiology (or a “law of algebra of metaphysics”), if and only if Θ acquires the value g (good) under any possible combination of the values of its evaluation-variables. In other words, the function Θ is formally-axiologically (or constantly)good one, iff Θ=+=g(good).

Definition DEF-3 of the notion “formal-axiological contradiction”: in algebra of formal axiology, any evaluation-function Θ is called “formally-axiologically inconsistent”one, or a “formal-axiological contradiction”, if and only if Θ acquires the value b (bad) under any possible combination of the values of its evaluation-variables. In other words, the function Θ is formally-axiologically (or necessarily,or universally)bad one, iff Θ=+=b (bad).

Definition DEF-4 of thetwo-placed relation called “formal-axiological-entailment”: in the algebraic system of formal axiology, for any evaluation-functions Ξ and Θ, it is true that “Θ formally-axiologically follows from Ξ”, iff C^{2}ΞΘ=+=g (good).

Now, being equipped with the set of necessary and sufficient definitions of evaluation-functions and formal-axiological notions relevant to the theme of present article, let us begin generating a list of such formal-axiological equations of algebra of metaphysics which (equations) are directly connected with the indicated theme. First of all, let us begin with introducing and discussing a finitism in philosophical foundations of empirical physics by analogy with the finitism in philosophical foundations of mathematics.

The finitism in philosophical foundations of mathematics is well-known [

However, the finitism in philosophical foundations of physics is not completely reduced to its formal-axiological aspect. There is a strong theoretical need formally-logically (deductively) to derive Newton’s first law from its formal-axiological analog in some formal axiomatic system of metaphysics (probably, under some special epistemological assumption). Such formal-logical (deductive) deriving Newton’s first law from its formal-axiological analog in a formal axiomatic system Σ (under the epistemological assumption of a-priori-ness of knowledge) is realized in the present article for the first time. Hitherto this article has not been published elsewhere. However, to make the mentioned new scientific result available (understandable and examinable) for readers, it is necessary to make the readers acquainted with the formal-axiological analog of Newton’s first law of mechanics by constructing this analog. To make this acquaintance by constructing the formal-axiological analog, let us begin generating the following list of formal-axiological equations relevant to the theme of this paper by accurate computing compositions of evaluation-functions according to the precise definitions given above in the paragraph 2.

1) S_{6}x=+=M_{6}P_{4}F_{1}P_{1}x: space of x is a multitude (many-ness) of possible definite places (positions) of x.

2) P_{1}x=+=F_{1}P_{2}S_{6}x: place (position) of (what, whom) x is a definite part of space of x. This equation models (Leibniz and Clarke [32, p. 96]).

3) P_{1}x=+=F_{2}B_{3}x: place of x (i.e. place filled by x) is a form of body of x (Aristotle [

4) P_{1}x=+=W^{2}M_{3}F_{2}x: place of x is a form of x without matter of x (Aristotle [

5) P_{1}x=+=W^{2}M_{3}xF_{2}B_{3}x: place of x is a form of body of x without matter of x (Aristotle [

6) V_{2}P_{1}x=+=W^{2}B_{3}xF_{3}B_{3}x: empty place of x (i.e. place void of x) is a form for body of x without body of x (Aristotle [

7) W^{2}P_{1}xB_{3}x=+=b: body of x withoutplace of x is a formal-axiological contradiction.

8) W^{2}B_{3}xP_{1}x=+=b: place of x without body of x is a formal-axiological contradiction.

9) B_{3}x=+=P_{1}x: body of x coincides with place of x (Descartes [

10) B_{3}x=+=E_{1}x: body of x coincides with extension of x [

11) E^{2}B_{3}xH_{1}x=+=b: identifying body of x and flesh of x is a formal-axiological contradiction.

12) H_{1}x=+=M_{3}B_{3}x: flesh of x is equivalent to material body of x.

13) M_{3}B_{3}x=+=F_{1}B_{3}x: material body of x is finite body of x.

14) E^{2}B_{3}xM_{3}B_{3}x=+=b: identifying body (body-ness) of x and material body of x is a formal-axiological contradiction.

15) E^{2}B_{1}xM_{3}x=+=b: identifying being of x and matter of x is a formal-axiological contradiction called materialism.

16) E^{2}S_{6}xF_{2}M_{3}x=+=b: identifying space of x with form of matter of x is a formal-axiological contradiction.

17) F_{2}x=+=O_{1}F_{3}x: form of x is an opposite of form for x.

18) S_{6}x=+=F_{2}x: space of x is form of x.

19) V_{2}S_{6}x=+=F_{3}x: empty space of x is form for x.

20) S_{6}x=+=F_{3}M_{3}x: space of x is form for matter of x.

21) E^{2}S_{6}xF_{3}M_{3}x=+=g: identifying space of x with form for matter of x is a formal-axiological law.

22) M_{3}B_{3}x=+=F_{1}P_{1}x: material body of x coincides with definite (finite) place of x.

23) M_{3}x=+=F_{1}E_{1}x: materialness of x means finiteness of extension of x.

24) M_{3}B_{3}x=+=F_{1}E_{1}x: material body of x is equivalent to definite extension (finite length) of x.

25) N_{1}C^{2}S_{6}xP_{1}x=+=b: nonbeing of place of x in space of x is a formal-axiological contradiction.

26) C^{2}S_{6}xP_{1}x=+=g: being of place of x in space of x is a formal-axiological law.

27) M_{1}x=+=C_{1}P_{1}x: motion (mechanical movement) of x is locomotion, i.e. a change of place (position), of x [

28) M_{1}x=+=C^{2}S_{6}xC_{1}P_{1}x: mechanical movement of x is being of a change of place (position) of x in space of x.

29) S_{6}x=+=S_{3}x: space (in general) of x is formally-axiologically equivalent to metaphysical space of x.

30) S_{3}x=+=S_{6}B_{1}x: metaphysical space of (what, whom) x is space of being of x.

31) S_{3}x=+=B_{1}x: metaphysical space of (what, whom) x is equivalent to being of x.

32) S_{3}x=+=x: metaphysical space of (what, whom) x is equivalent to x.

33) W_{1}B_{1}x=+=W_{1}S_{6}B_{1}x: struggle for life of x is struggle for life space of x.

34) P^{2}xx=+=P^{2}S_{6}B_{1}xx: self-conservation of x is conservation of space of being of x by x.

35) D^{2}xx=+=D^{2}S_{6}B_{1}xx: self-defense of x is defense of life space of x (or x’s own territory) by x.

36) S_{3}x=+=I_{1}B_{1}x: metaphysical space of x is equivalent to infinite being of x.

37) S_{3}x=+=I_{1}S_{6}x: metaphysical space of x is equivalent to infinite space of x.

38) S_{4}x=+=F_{1}B_{1}x: physical space of x is equivalent to finite being of x.

39) S_{4}x=+=B_{1}F_{1}x: physical space of x is equivalent to being of finite x.

40) S_{4}x=+=F_{1}S_{6}x: physical space of x is finite space of x.

41) S_{4}x=+=S_{6}F_{1}x: physical space of x is space of finite x.

42) S_{4}x=+=N_{1}S_{3}x: physical space of x is formally-axiologically equivalent to nonbeing of metaphysical space of x.

43) S_{4}x=+=O_{1}S_{3}x: physical space of x is an opposite of metaphysical one of x.

The above-listed equations expose the significant formal-axiological difference and even opposition between “physical space” and “metaphysical one”.

44) S_{4}x=+=N_{1}x: physical space of x is equivalent to nonbeing of x.

45) N_{1}x=+=V_{2}x: nonbeing of x means void (vacuity), emptiness of x.

46) S_{4}x=+=V_{2}S_{6}x: physical space of x is equivalent to vacuous space of x.

47) V_{2}S_{6}=+=M_{3}x: empty space of x is formally-axiologically equivalent to matter ofx. Here it is worth emphasizing that “empty space of x (i.e. space void of x)” does not mean “space void of everything”.

48) M^{2}xy=+=V^{2}xy: matter, material, materialness of x for y is formally-axiologically equivalent to vacuity of x for y.

49) S_{4}x=+=M_{3}x: physical space of x is matter of x.

50) B_{2}x=+=g: absolute being of x is a formal-axiological law of algebra of metaphysics.

51) N_{2}x=+=b: absolute nonbeing of x is a formal-axiological contradiction.

52) N_{1}N_{2}x=+=g: nonbeing of absolute nonbeing of x is a law of algebra of metaphysics; the law is a formal-axiological model of the Eleatic philosophy: Parmenides and Zeno of Elea; Melissus of Samos [

53) I_{2}N_{2}x=+=g: impossibility of absolute nonbeing of x is a law of algebra of metaphysics.

54) V_{3}x=+=N_{2}x: absolute vacuum of x is formally-axiologically equivalent to absolute nonbeing of x.

55) V_{3}x=+=V_{3}S_{6}x=+=b: absolute void (absolute vacuity of space) of x is a formal-axiological contradiction; this statement is a formal-axiological model of [4, pp. 229-230] and [33, p. 174].

56) N_{1}V_{3}x=+=N_{1}V_{3}S_{6}x=+=g: nonbeing of absolute vacuum (nonbeing of absolute vacuity of space) of x is a law of algebra of metaphysics; the law is a discrete mathematical model of formal-axiological interpretation of [1, pp. 292-297], [4, pp. 229-230], [33, p. 174].

57) I_{2}V_{3}x=+=I_{2}V_{3}S_{6}x=+=g: impossibility of absolute vacuum (impossibility of absolute vacuity of space) of x is a (formal-axiological) law of algebra of metaphysics. This equation models [4, pp. 229-230] and [33, p. 174].

58) B_{1}x=+=R_{2}V_{2}S_{6}x: existence of x means relativity of vacuity of space of x.

59) B_{1}x=+=R_{2}S_{4}x: being of x means relativity of physical space of x. This equation models G. W. Leibniz’ standpoint in his well-known discussion with S. Clarke who has been a spokesman and friend of I. Newton. See Leibniz and Clarke [32, pp. 14, 15, 24, 65].

60) C^{2}S_{6}xM_{1}x=+=C^{2}S_{6}xC_{1}P_{1}x: being of motion (mechanical movement) of x in space of x is being of change of place (position) of x in space of x.

61) B_{1}x=+=R_{2}M_{1}x: existence of x means relativity of motion (mechanical movement) of x [2, pp. 186-188].

62) M_{1}x=+=C_{1}x=+=N_{1}x: motion (mechanical movement) of x is equivalent to change, flow of x and to nonbeing of x. This equation is a formal-axiological model of the Eleatic philosophy: Parmenides and Zeno of Elea; Melissus of Samos [

63) B_{1}x=+=P_{4}S_{7}M_{1}x: being of x is equivalent to possibility of sensation of mechanical movement of x (Mach [

64) B_{1}x=+=P_{4}M_{5}M_{1}x: existence of x is equivalent to possibility of measurement of mechanical movement of x [

65) B_{1}x=+=P_{4}S_{7}S_{4}x: existence of x is equivalent to possibility of sensation of physical space of x [

66) B_{1}x=+=R_{2}M_{5}x: being of x is equivalent to relativity of measurement of x.

67) B_{1}x=+=P_{4}M_{5}S_{4}x: existence of x is equivalent to possibility of measurement of physical space of x [

68) B_{1}x=+=P_{4}M_{5}R_{2}S_{6}x: existence of x is equivalent to possibility of measurement of relative space of x [

69) F_{1}x=+=M_{3}x: finiteness of space of x is equivalent to materialness of x.

70) M_{3}x=+=R_{2}M_{5}S_{4}x: materialness of x is equivalent to relativity of measurement of physical space of x (Poincaré [

71) M_{3}x=+=R_{2}M_{5}F_{1}E_{1}x: materialness of x is equivalent to relativity of measurement of finite length of x (Poincaré [

72) F_{1}x=+=R_{2}M_{5}S_{4}x: finiteness of x is equivalent to relativity of measurement of physical space of x.

73) S_{5}x=+=O_{1}V_{3}x: absolute space of x is an opposite of/for absolute vacuum of x.

74) C^{2}V_{3}xS_{5}x=+=g: being of absolute space of x in absolute vacuum of x is a law of algebra of metaphysics.

75) C^{2}V_{3}xy=+=g: being of any y in absolute vacuum of x is a law of algebra of metaphysics.

76) C^{2}yS_{5}x=+=g: being of absolute space of x in any y is a law of algebra of metaphysics.

77) B_{1}Z_{1}y=+=C^{2}S_{5}xy: being of a thing y is being of the thing y in absolute space of x. This equation models [32, p. 75].

78) B_{1}S_{5}x=+=C^{2}S_{6}xS_{6}x: being of absolute space of x is being of space of x in itself.

79) C^{2}S_{6}xS_{6}x=+=C^{2}Z_{1}xZ_{1}x: being of space of x in itself is equivalent to being of thing x in itself.

80) C^{2}Z_{1}xZ_{1}x=+=g: being of thing x in itself is a law of metaphysics.

81) C^{2}S_{6}xS_{6}x=+=g: being of space of x in itself is a law of metaphysics.

82) I_{2}M_{5}S_{5}x=+=g: impossibility of measurement of absolute space of x is a law of algebra of metaphysics. The law is a formal-axiological analog of the definitely negative attitude of empiricist-minded physicists (Mach [

83) I_{2}S_{7}S_{5}x=+=g: impossibility of sensation of absolute space of x is a law of algebra of metaphysics. The law is another formal-axiological analog (model) of the resolutely negative empiricist attitude to “absolute space” [

84) I_{2}C_{1}S_{5}x=+=g: immovability and immutability (impossibility of change) of absolute space of x is a law of algebra of metaphysics. This equation is a model of Newton-and-Clarke standpoint [32, pp. 30, 31, 96, 98].

85) I_{2}A_{2}S_{5}x=+=g: impossibility of action on absolute space of x is a law of algebra of metaphysics.

86) B_{1}x=+=C^{2}S_{5}yx: being of x is its being in absolute space of y.

87) B_{1}M_{1}M_{4}B_{3}y=+=C^{2}S_{5}xM_{1}M_{4}B_{3}y: being of a movement of material body of y is being of the movement in absolute space of x.

88) B_{1}S_{5}x=+=g: existence of absolute space of x is a law of algebra of metaphysics.

Certainly, the concept of absolute space is metaphysical one. Therefore, the positivist-minded physicists ignore it on principle. However, the notion of absolute space is indispensable for constructing a perfect system of not absolutely empirical but proper theoretical philosophy of nature. With respect to proper philosophical grounds of physics the concept in question is still active one. “… There are still senses in which space is considered absolute” [43, p. 101]. Even in modern theoretical physics, “… the absolute character of space is still held, although with modifications” [43, p. 101]. Thus, generally speaking, “… the concept of absolute space is not a discarded one” [43, p. 104]. If one plans to construct a consistent synthetic conceptual system uniting all possible meanings of the word “space”, the one has to take “absolute space” seriously and find a special room for it in the synthetic conceptual system necessarily containing (and somehow consistently connecting) both proper metaphysical and proper scientific meanings of the term.

As to the proper science of classical mechanics which is an intellectually respectable “particular or limited case” of contemporary proper science of mechanics based on observations, experiments, facts and measurements, here it is relevant to consider also the following nontrivial formal-axiological equations.

89) N_{1}A_{2}B_{3}x=+=N_{1}C_{1}F_{1}M_{2}S_{2}M_{1}B_{3}x: nonbeing of action on body of x implies nonbeing of change of a finite magnitude (quantity) of quickness (speed) of x’s body motion (Galilei [3, pp. 224, 238]), (Descartes [4, pp. 240-241]), (Spinoza [33, pp. 185-187]), (Newton [6, p. 14]). This is the historically first recognized aspect (prerequisite) of/for the law of classical mechanics.

90) N_{1}A_{2}B_{3}x=+=C_{3}F_{1}S_{2}S_{1}M_{1}B_{3}x: nonbeing of action on body of x is formally-axiologically equivalent to x’s body’s movement with a constant finite speed in a straight line (Descartes [4, pp. 240-242]), (Spinoza [33, p. 186]), (Newton [6, p. 14]). This equation represents the historically second stage (prerequisite) of/for approximating to contemporary formulation of the law of classical mechanics.

91) R_{1}x=+=N_{1}M_{1}x: rest of x is nonbeing of x’s motion.

92) M_{1}x=+=N_{1}R_{1}x: motion of x is nonbeing of x’s rest.

93) R_{1}x=+=O_{1}M_{1}x: rest of x is an opposite of/for x’s motion (Descartes [4, p. 244]).

94) R_{1}x=+=C_{3}F_{1}S_{2}S_{1}M_{1}B_{3}x: rest of x is formally-axiologically equivalent to x’s body’s motion with a constant finite speed in a straight line. This is a formal-axiological analog (model) of (Newton [

95) V_{1}x=+=K^{2}S_{2}xD_{1}x: velocity of x is formally-axiologically equivalent to joint being (conjunction) of speed (quickness) of x and own (immanent) vector of x. (This equation could be considered as an analytical definition of the formal-axiological analog of the notion “velocity of x” in classical physics.)

96) F_{1}V_{1}x=+=K^{2}F_{1}S_{2}xF_{1}D_{1}x: definite velocity of x is formally-axiologically equivalent to joint being of finite speed (quickness) of x and definite (fixed) immanent vector of x.

97) C_{2}x=+=C_{3}F_{1}V_{1}M_{1}x: dynamical closedness of x (perfect isolating x from external forces) is formally-axiologically equivalent to conservation (constant-ness, immutability) of definite velocity of movement of x. This equation (establishing a law of conservation of definite velocity of movement) is a formal-axiological analog of the first law of Newton’s mechanics.

At first glance, it seems that the last entry (item) in the above-generated list of equations means nothing but the well-known Newton’s First Law, hence, it seems that there is nothing significantly new with respect to proper physics and to its proper philosophical grounds as well. However, in my opinion, it only seems so. The translation of the indicated formal-axiological equation from the artificial language of algebra of metaphysics into the ambiguous natural language of humans looks like a human-natural-language formulation of the law of classical mechanics, but actually it is not a statement of being but a formal-axiological statement of value (while Newton’s three laws of mechanics are statements of being).

The natural-language formulations of the two (Newton’s First Law and the formal-axiological analog of it) are really similar but their meanings are not identical. In contrast to the natural-language formulation of Newton’s First Law of mechanics, the natural-language formulation of the corresponding law of metaphysics of nature in algebra of metaphysics (as formal axiology) has formal-axiological semantics which is significantly different (and in some respect independent) from the logical semantics of descriptive-indicative statements of the experience-based physics. The classical theoretical physics has investigated “what is (or is not) necessarily” in nature. The metaphysics of nature (as formal axiology of it) investigates “what is good (or bad) necessarily” in nature. According to the so-called Hume’s Guillotine and Moore’s doctrine of naturalistic fallacies in ethics, elements of the couples < “is”; “is obligatory” > and < “is”; “is good” > are logically independent: formal logical inferences between elements of these couples are not well-grounded. With respect to some habitual concrete relation which statistically normal humans are used to, namely, concerning proper empirical knowledge, it is really so: the gap between “is” and “is good” is logically unbridgeable. But, in result of systematical investigating some not-habitual concrete relations, rare conditions, extraordinary circumstances and psychologically paradoxical arguments, I have arrived to a psychologically unexpected (surprising) hypothesis that under some very rare extraordinary condition, the notorious gap (allegedly called logically unbridgeable one) between “is” and “is good” (or “is” and “is obligatory”) can be bridged logically. Certainly, this paradigm-breaking hypothesis can be false one to be rejected resolutely in spite of its being beautiful and intuitively attractive to its creator. Taking this possibility seriously, instead of usual philosophical wrangling and insulting the hypothesis creator, let us move tranquilly to the next part of the article for precise formulating, formal demonstrating, and rigorous scrutinizing the odd hypothesis before its possible rejection.

Below in this paper (within the framework of a logically formalized axiomatic epistemology system Σ), I am to submit a formal deductive inference of Newton’s First Law of classical mechanics from conjunction of 1) the above-constructed formal-axiological analog of Newton’s First Law and 2) the assumption of a-priori-ness of knowledge. Originally, the formal axiomatic theory Σ was defined precisely in [

By definition, the logically formalized axiomatic epistemology system Σ contains all symbols (of the alphabet), expressions, formulae, axioms, and inference-rules of the formal axiomatic epistemology theory Ξ [

1) Small Latin letters q, p, d (and the same letters possessing lower number indexes) are symbols belonging to the alphabet of object-language of Σ; they are called “propositional letters”. Not all smallLatin letters are propositional ones in the alphabet of Σ’s object-language, as, by this definition, small Latin letters belonging to the set {g, b, e, n, x, y, z, t} are excluded from the set of propositional letters.

2) Logic symbols ¬ , ⊃ , ↔ , &, ∨ called “classical negation”, “material implication”, “equivalence”, “conjunction”, “not-excluding disjunction”, respectively, are symbols belonging to Σ’s object-language alphabet.

3) Elements of the set of modality-symbols {□, K, A, E, S, T, F, P, Z, G, W, O, B, U, Y} belong to Σ’s object-language alphabet.

4) Technical symbols “(” and “)” (“round brackets”) belong to Σ’s object-language alphabet. The round brackets are exploited in this paper as usually in symbolic logic.

5) Small Latin letters x, y, z (and the same letters possessing lower number indexes) are symbols belonging to Σ’s object-language-alphabet (they are called “axiological variables”).

6) Small Latin letters “g” and “b” called axiological constants belong to the alphabet of object-language of Σ.

7) The capital Latin letters possessing number indexes—K^{2}, E^{2}, C^{2}, A k n , B i n , C j n , D m n , … belong to the object-language-alphabet of Σ (they are called “axiological-value-functional symbols”). The upper number index n informs that the indexed symbol is n-placed one. Nonbeing of the upper number index informs that the symbol is determined by one axiological variable. The value-functional symbols may have no lower number index. If lower number indexes are different, then the indexed functional symbols are different ones.

8) Symbols “[” and “]” (“square brackets”) also belong to the object-language-alphabet of Σ, but in this theory they are exploited in a very unusual way. Although, from the psychological viewpoint, square brackets and round ones look approximately identical and are used very often as synonyms, in the present article they have qualitatively different meanings (roles): exploiting round brackets is purely technical as usually in symbolic logic; square-bracketing has an ontological meaning which is to be defined below while dealing with semantic aspect of Σ. Moreover, even at syntax level of Σ’s object-language, being not purely technical symbols, square brackets play a very important role in the below-given definition of the general notion “formula of Σ” and in the below-given formulations of some axiom-schemes of Σ.

9) An unusual artificial symbol “=+=” called “formal-axiological equivalence” belongs to the alphabet of object-language of Σ. The symbol “=+=” alsoplays a very important role in the below-given definition of the general notion “formula of Σ” and in the below-given formulations of some axiom-schemes of Σ.

10) A symbol belongs to the alphabet of object-language of Σ, if and only if this is so owing to the above-given items 1) - 9) of the present definition.

A finite succession of symbols is called an expression in the object-language of Σ, if and only if this succession contains such and only such symbols which belong to the above-defined alphabet of Σ’s object-language.

Now let us define precisely the general notion “term of Σ”:

1) the axiological variables (from the above-defined alphabet) are terms of Σ;

2) the axiological constants belonging to the alphabet of Σ, are terms of Σ;

3) If Φ k n is an n-placed axiological-value-functional symbol from the above-defined alphabet of Σ, and t_{i}, … t_{n} are terms (of S), then Φ k n t i , … t_{n} is a term (compound one) of Σ (here it is worth remarking that symbols t_{i}, … t_{n} belong to the meta-language, as they stand for any terms of Σ; the analogous remark may be made in relation to the symbol Φ k n which also belongs to the meta-language);

4) An expression in object-language of Σ is a term of Σ, if and only if this is so owing to the above-given items 1) - 3) of the present definition.

Now let us make an agreement that in the present paper, small Greek letters α, β, and γ (belonging to meta-language) stand for any formulae of Σ. By means of this agreement the general notion “formulae of Σ” is defined precisely as follows.

1) All the above-mentioned propositional letters are formulae of Σ;

2) If α and β are formulae of Σ, then all such expressions of the object-language of Σ, which possess logic forms ¬ α , ( α ⊃ β ), ( α ↔ β ), (α & β), ( α ∨ β ), are formulae of Σ as well;

3) If t_{i} and t_{k} are terms of Σ, then (t_{i}=+=t_{k}) is a formula of Σ;

4) If t_{i} is a term of Σ, then [t_{i}] is a formula of Σ;

5) If α is a formula of Σ, and meta-language-symbol Ψ stands for any element of the set of modality-symbols {□, K, A, E, S, T, F, P, Z, G, W, O, B, U, Y}, then any object-language-expression of Σ possessing the form Ψα, is a formula of Σ as well. (Here, the meta-language-expression Ψα is not a formula of Σ, but a scheme of formulae of Σ);

6) Successions of symbols (belonging to the alphabet of the object-language of Σ) are formulae of Σ, if and only if this is so owing to the above-given items 1) - 5) of the present definition.

Now let us introduce the elements of the above-mentioned set of modality-symbols {□, K, A, E, S, T, F, P, Z, G, W, O, B, U, Y}. Symbol □ stands for the alethic modality “necessary”. Symbols K, A, E, S, T, F, P, Z, respectively, stand for modalities “agent Knows that…”, “agent A-priori knows that…”, “agent Empirically (a-posteriori)knows that…”, “under some conditions in some space-and-time a person (immediately or by means of some tools) Sensually perceives (has Sensual verification) that…”, “it is True that…”, “person has Faith (or believes) that…”, “it is Provable that…”, “there is an algorithm (a machine could be constructed) for deciding that…”.

Symbols G, W, O, B, U, Y, respectively, stand for modalities “it is (morally)Good that…”, “it is (morally)Wicked that…”, “it is Obligatory that …”, “it is Beautiful that …”, “it is Useful that …”, “it is pleasant that …”. Meanings of the mentioned symbols are defined (indirectly) by the following schemes of own (proper) axioms of epistemology system Σ which axioms are added to the axioms of classical propositional logic. Schemes of axioms and inference-rules of the classical propositional logic are applicable to all formulae of Σ.

Axiom scheme AX-1: A α ⊃ ( □ β ⊃ β ) .

Axiom scheme AX-2: A α ⊃ ( □ ( α ⊃ β ) ⊃ ( □ α ⊃ □ β ) ) .

Axiom scheme AX-3: A α ↔ ( K α & ( □ α & □ ¬ S α & □ ( β ↔ Ω β ) ) ) .

Axiom scheme AX-4: E α ↔ ( K α & ( ¬ □ α ∨ ¬ □ ¬ S α ∨ ¬ □ ( β ↔ Ω β ) ) ) .

Axiom scheme AX-5: K α ⊃ ¬ □ ¬ α .

Axiom scheme AX-6: ( □ β & □ □ β ) ⊃ β .

Axiom scheme AX-7: ( t i = + = t k ) ↔ ( G [ t i ] ↔ G [ t k ] ) .

Axiom scheme AX-8: ( t i = + = g ) ⊃ □ G [ t i ] .

Axiom scheme AX-9: ( t i = + = b ) ⊃ □ W [ t i ] .

Axiom scheme AX-10: ( G α ⊃ ¬ W α ) .

Axiom scheme AX-11: ( W α ⊃ ¬ G α ) .

In AX-3 and AX-4, the symbol W (belonging to the meta-language) stands for any element of the set Â = {□, K, T, F, P, Z, G, O, B, U, Y}. Let elements of Â be called “perfection-modalities” or simply “perfections”.

The axiom-schemes AX-10 and AX-11 are not new in evaluation logic: one can find them in the famous monograph by Ivin [

Meanings of the symbols belonging to the alphabet of object-language of Σ owing to the items 1 - 3 of the above-given definition of the alphabet are defined by the classical propositional logic.

For defining semantics of specific aspects of object-language of formal theory Σ, it is necessary to define a set Δ (called “field of interpretation”) and an interpreter called “valuator (evaluator)” V.

In a standard interpretation of formal theory Σ, the set Δ (field of interpretation) is such a set, every element of which has: 1) one and only one axiological value from the set {good, bad}; 2) one and only one ontological value from the set {exists, not-exists}.

The axiological variables x, y, z range over (take their values from) the set Δ.

Theaxiological constants “g” and “b” mean, respectively, “good” and “bad”.

It is presumed here that axiological evaluating an element from the set Δ, i.e. ascribing to this element an axiological value from the set {good, bad}, is performed by a quite definite (perfectly fixed) individual or collective valuator (evaluator) V. It is obvious that changing V can result in changing valuations of elements of Δ. But laws of two-valued algebra of formal axiology do not depend upon changes of V as, by definition, formal-axiological laws of this algebra are such and only such constant evaluation-functions which obtain the value “good” independently from any changes of valuators. Thus, generally speaking, V is a variable which takes its values from the set of all possible evaluators (individual or collective—it does not matter). Nevertheless, a concrete interpretation of formal theory Σ is necessarily fixing the value of V; changing the value of the variable V is changing the concrete interpretation.

In a standard interpretation of formal theory Σ, ontological constants “e” and “n” mean, respectively, “exists” and “not-exists”. Thus, in a standard interpretation of formal theory Σ, one and only one element of the set {{g, e}, {g, n}, {b, e}, {b, n}} corresponds to every element of the set Δ. The ontological constants “e” and “n” belong to the meta-language. (According to the above-given definition of Σ’s object-language-alphabet, “e” and “n” do not belong to the object-language.) But the ontological constants are indirectly represented at the level of object-language by square-bracketing: “t_{i} exists” is represented by [t_{i}]; “t_{i} not-exists” is represented by ¬ [t_{i}]. Thussquare-bracketing is a very important aspect of the system under investigation.

N-placed terms of Σ are interpreted as n-ary algebraic operations (n-placed evaluation-functions) defined on the set Δ. For instantiating the general notion “one-placed evaluation-function”or “evaluation-function determined by one evaluation-argument” systematically used in two-valued algebra of metaphysics as formal axiology, see the above-given Tables 1-4. For instantiating the general notion “evaluation-function determined by two evaluation-arguments” systematically exploited in two-valued algebra of metaphysics as formal axiology, see the above-given _{1}x, D_{1}x V_{1}x,S_{1}x,S_{2}x, S_{3}x, S_{4}x, S_{5}x, S_{6}x, S_{7}x, G_{1}x, H_{1}x,W^{2}xy,E^{2}xy,R^{2}xy,T^{2}xy,P^{2}xy mean not predicates but terms. Being given an interpretation, the formulae (t_{i}=+=t_{k}), (t_{i}=+=g), (t_{i}=+=b) are representations of predicates in Σ.

If t_{i} is a term of Σ, then, being interpreted, formula [t_{i}] of Σ is an either true or false proposition “t_{i} exists”. In a standard interpretation, formula [t_{i}] is true if and only if t_{i} has the ontological value “e (exists)” in that interpretation. The formula [t_{i}] is a false proposition in a standard interpretation, if and only if t_{i} has the ontological value “n (not-exists)” in that interpretation.

In a relevant interpretation, the formula (t_{i}=+=t_{k}) of Σ is translated into natural language by the proposition “t_{i} is formally-axiologically equivalent to t_{k}”, which proposition is true if and only if (in that interpretation) the terms t_{i} and t_{k }have identical axiological values from the set {good, bad} under any possible combination of axiological values of their axiological variables.

Now, having given exact definitions of all the significantly novel notions necessarily exploited for making and demonstrating the principal scientific discovery represented for the first time in this article, we are to move directly to the above-promised formal proof construction.

The proof of theorem-scheme ( A α ⊃ ( ( t i = + = t k ) ↔ ( [ t i ] ↔ [ t k ] ) ) ) in Σ is the following succession of formulae schemes.

1) A α ↔ ( K α & ( □ α & □ ¬ S α & □ ( β ↔ Ω β ) ) ) by axiom-scheme AX-3.

2) A α ↔ ( K α & ( □ α & □ ¬ S α & □ ( [ t i ] ↔ G [ t i ] ) ) ) from 1 by substituting: G for Ω; [t_{i}] for β.

3) A α ⊃ ( K α & ( □ α & □ ¬ S α & □ ( [ t i ] ↔ G [ t i ] ) ) ) from 2 by the rule of ↔ elimination.

4) Aα assumption.

5) K α & ( □ α & □ ¬ S α & □ ( [ t i ] ↔ G [ t i ] ) ) from 3 and 4 by modus ponens.

6) □ ( [ t i ] ↔ G [ t i ] ) from 5 by the rule of eliminating &.

7) ( [ t i ] ↔ G [ t i ] ) from 4 and 6 by a rule of □ elimination. (The □ elimination rule is a derivative rule^{1}.)

8) A α ↔ ( K α & ( □ α & □ ¬ S α & □ ( [ t k ] ↔ G [ t k ] ) ) ) from 1 by substituting: G for Ω; [t_{k}] for β.

9) A α ⊃ ( K α & ( □ α & □ ¬ S α & □ ( [ t k ] ↔ G [ t k ] ) ) ) from 8 by the rule of eliminating ↔ .

10) K α & ( □ α & □ ¬ S α & □ ( [ t k ] ↔ G [ t k ] ) ) from 4 and 9 by modus ponens.

11) □ ( [ t k ] ↔ G [ t k ] ) from 10 by the rule of eliminating &.

12) ( [ t k ] ↔ G [ t k ] ) from 4 and 11 by the rule of □ elimination.

13) ( t i = + = t k ) ↔ ( G [ t i ] ↔ G [ t k ] ) axiom-scheme AX-7.

14) ( t i = + = t k ) ⊃ ( G [ t i ] ↔ G [ t k ] ) from 13 by the rule of ↔ elimination.

15) ( t i = + = t k ) assumption.

16) ( G [ t i ] ↔ G [ t k ] ) from 14 and 15 by modus ponens.

17) ( [ t i ] ↔ G [ t k ] ) from 7 and 16 by the rule of transitivity of ↔ .

18) ( G [ t k ] ↔ [ t k ] ) from 12 by the rule of commutativity of ↔ .

19) ( [ t i ] ↔ [ t k ] ) from 17 and 18 by the rule of transitivity of ↔ .

20) A α , ( t i = + = t k ) ⊢ ( [ t i ] ↔ [ t k ] ) by the succession 1 - 19.

21) A α ⊢ ( t i = + = t k ) ⊃ ( [ t i ] ↔ [ t k ] ) from 20 by the rule of ⊃ introduction.

22) ( G [ t i ] ↔ G [ t k ] ) ⊃ ( t i = + = t k ) from 13 by the rule of ↔ elimination.

23) ( [ t i ] ↔ [ t k ] ) assumption.

24) ( G [ t i ] ↔ [ t i ] ) from 7 by the rule of commutativity of ↔ .

25) ( G [ t i ] ↔ G [ t k ] ) from 24 and 17 by the rule of transitivity of ↔ .

26) ( t i = + = t k ) from 22 and 25 by modus ponens.

27) A α , ( [ t i ] ↔ [ t k ] ) ⊢ ( t i = + = t k ) by the succession 1 - 26.

28) A α ⊢ ( [ t i ] ↔ [ t k ] ) ⊃ ( t i = + = t k ) from 27 by the rule of ⊃ introduction.

29) A α ⊢ ( ( t i = + = t k ) ↔ ( [ t i ] ↔ [ t k ] ) ) from 28 and 21 by the rule of « introduction.

30) ⊢ A α ⊃ ( ( t i = + = t k ) ↔ ( [ t i ] ↔ [ t k ] ) ) from 28 by the rule of ⊃ introduction.

Thus, the formal proof is accomplished^{2}. Originally, this proof had been published in [

By means of the theorem-scheme proved above in paragraph 6 of the present article, from conjunction of 1) the formal-axiological equivalence 97) proved above in paragraph 3, and 2) the assumption that Aα, the equivalence ([C_{2}x] ↔ [C_{3}F_{1}V_{1}M_{1}x]) is formally derivable within the formal axiomatic theory Sigma. Here it is worth highlighting that ([C_{2}x] ↔ [C_{3}F_{1}V_{1}M_{1}x]) is the equivalence of statements of being.

Thus, owing to the mentioned theorem-scheme, with respect to Sigma, it is true that: Aα, (C_{2}x=+=C_{3}F_{1}V_{1}M_{1}x) ⊢ ([C_{2}x] ↔ [C_{3}F_{1}V_{1}M_{1}x]), where “… ⊢ …” means “from … it is logically derivable (in Sigma) that…”. In other words, according to the above-said, if knowledge is pure a-priori one, then there is a formal proof in Σ for the first law of Newton’s mechanics. Thus, within a system of pure a priori knowledge of nature-laws logically organized by the theory Σ, the famous law of conservation of definite velocity of movement is strictly provable; namely, conservation (constant-ness, immutability) of definite velocity of movement of x exists if and only if x is dynamically closed (perfectly isolated from external forces).

Notwithstanding the famous Newton’s motto “physics, beware of metaphysics!”, his physics has been assessed by some physicists as “too metaphysical” one. He has been criticized sharply by the positivists for his not complete separation and purification of physics from metaphysics. In particular, Newton’s systematical using the metaphysical notion “force (power, violence)” has been criticized as too anthropomorphic one by H. Poincaré [

1) S_{5}x=+=B_{2}x: absolute space is absolute being.

2) G_{1}x=+=B_{2}x: God is absolute being.

3) S_{5}x=+=S_{6}G_{1}x: absolute space is space of God.

4) S_{5}x=+=P_{1}G_{1}x: absolute space is place of God.

5) S_{5}x=+=P_{3}G_{1}x: absolute space is a property of God.

6) A_{1}x=+=N_{3}P_{3}x: attribute of x is a necessary property of x.

7) S_{5}x=+=A_{1}G_{1}x: absolute space is an attribute of God.

8) U^{2}G_{1}xA_{1}G_{1}x=+=b: reducing God to His attribute is a formal-axiological contradiction.

9) I_{2}U^{2}G_{1}xA_{1}G_{1}x=+=g: impossibility of reduction of God to His attribute is a law of algebra of metaphysics.

10) I_{2}U^{2}G_{1}xS_{5}x=+=g: impossibility of reducing God to absolute space is a law of algebra of metaphysics.

11) I^{2}G_{1}xA_{1}G_{1}x=+=b: God’s attribute independent of God is a formal-axiological contradiction.

12) I_{2}I^{2}G_{1}xA_{1}G_{1}x=+=g: impossibility of God’s attribute independent of God is a law of metaphysics.

13) I_{2}I^{2}G_{1}xS_{5}x=+=g: impossibility of absolute space independent of God is a law of metaphysics.

14) B_{1}G_{1}x=+=g: existence of God is a law of algebra of metaphysics.

15) N_{1}G_{1}x=+=b: nonbeing of God is a formal-axiological contradiction.

16) C^{2}S_{5}xG_{1}x=+=g: existence of God in absolute space is a law of algebra of metaphysics.

17) Y^{2}S_{5}xG_{1}x=+=g: God’s being immanent cause of absolute space is a law of algebra of metaphysics. This equation models [32, p. 75].

18) C^{2}P_{1}yG_{1}x=+=g: existence of God in place of any y (i.e. God’s ubiquity) is a law of algebra of metaphysics [

19) C^{2}yG_{1}x=+=g: existence of God in any y (i.e. God’s omnipresence) is a law of algebra of metaphysics [

20) B_{1}y=+=C^{2}G_{1}xy: y’s existence is equivalent to y’s existence in God [

These equations of algebra of metaphysics are discrete mathematical models of corresponding aspects of natural theology in general, and of the concrete natural-theology views of Newton and his spokesman and disciple Clarke in particular [

According to the above-said, there is a harmony between the three: 1) proper laws-of-physics assumed as pure a-priori (necessarily universal) ones; 2) their formal-axiological analogs (which analogs are corresponding laws of metaphysics in the two-valued algebraic system of formal-axiology); 3) universal epistemology represented by the formal axiomatic theory Sigma.

Both the computational metaphysics as algebra of formal axiology and the mathematical physics (theoretical mechanics) as a proper science (based on sensations, observations, experiments, measurements, and facts) have special rooms in the consistent conceptual synthesis of the particular conceptions of space which synthesis is submitted in this article. In result of the investigation, I have arrived to the conclusion that, in spite of the philosophical prejudices, the two qualitatively different conceptions of space are compatible within one synthetic doctrine uniting the two on the basis of two-valued algebra of formal-axiology. In the algebraic system of metaphysics as formal axiology, metaphysics-of-space and physics-of-space are represented by mathematically different evaluation-functions called “space of x”. These mathematically different evaluation-functions make up a consistent synthesizing system within which, under the extraordinary (very rare) condition of a-priori-ness of knowledge, one can move logically from one special room of the system to another. Thus, under the indicated strictly defined epistemological condition, the “logically unbridgeable gap” between metaphysics and physics is logically bridged in general, and the concrete example of such logical bridging is given (here I mean the exemplification related to Newton’s First Law of mechanics).

This means that due to the given paper a heuristically important precedent has been made; such a universal principle has been formulated precisely, which could be exploited systematically in future research at the intersection of physics and metaphysics.

Being combined with [

The author declares no conflicts of interest regarding the publication of this paper.

Lobovikov, V.O. (2021) 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. Journal of Applied Mathematics and Physics, 9, 441-467. https://doi.org/10.4236/jamp.2021.93031