Formally Deriving the Third Newton’s Law from a Pair of Nontrivial Assumptions in a Formal Axiomatic Theory “Sigma-V” ()

Vladimir O. Lobovikov^{}

Laboratory for Applied System Investigations, Ural Federal University, Yekaterinburg, Russia.

**DOI: **10.4236/jamp.2022.105109
PDF HTML XML
51
Downloads
314
Views
Citations

Laboratory for Applied System Investigations, Ural Federal University, Yekaterinburg, Russia.

The article is devoted to hitherto never undertaken applying an almost unknown logically formalized axiomatic epistemology-and-axiology system called “Sigma-V” to the Third Newton’s Law of mechanics. The author has continued investigating the extraordinary (paradigm-breaking) hypothesis of formal-axiological interpreting Newton’s mathematical principles of natural philosophy and, thus, has arrived to *discrete mathematical modeling* a system of formal axiology of nature by extracting and systematical studying its *proper algebraic aspect*. Along with the proper *algebraic* machinery, the *axiomatic* (hypothetic-deductive) method is exploited in this investigation systematically. The research results are the followings. 1) The Third Newton’s Law of mechanics has been modeled by a formal-axiological equation of two-valued algebraic system of metaphysics as formal axiology. (Precise defining the algebraic system is provided.) The formal-axiological equation has been established (and examined) in this algebraic system by accurate computing compositions of relevant evaluation-functions. Precise tabular definitions of the evaluation-functions are given. 2) The wonderful formula representing the Third Newton’s Law (in the relevant physical interpretation of the formal theory Sigma-V) has been derived logically in Sigma-V from the presumption of a-priori-ness of knowledge. A precise axiomatic definition of the nontrivial notion “a-priori-ness of knowledge” is given. The formal derivation is implemented in strict accordance with the rigor standard of D. Hilbert’s formalism; hence, checking the formal derivation submitted in this article is not a difficult task. With respect to proper theoretical physics, the formal inference is a *nontrivial scientific novelty* which has not been discussed and published elsewhere yet.

Keywords

Third Law of Newton’s Mechanics, Logically Formalized Axiomatic Theory Σ-V, Two Valued Algebraic System of Metaphysics as Formal Axiology, A-Priori Knowledge, Formal Derivation from Assumption

Share and Cite:

Lobovikov, V. (2022) Formally Deriving the Third Newton’s Law from a Pair of Nontrivial Assumptions in a Formal Axiomatic Theory “Sigma-V”. *Journal of Applied Mathematics and Physics*, **10**, 1561-1586. doi: 10.4236/jamp.2022.105109.

1. Introduction

The present article is an original attempt to apply the formalism (proclaimed and elaborated by D. Hilbert) to philosophical grounding some aspects of proper theoretical physics. In the well-known controversy between D. Hilbert and the “anti-formalists”, for example, L. E. J. Brouwer [1] [2] and H. Poincaré [3] [4], I would like to side with Hilbert’s famous ideal and program of/for axiomatizing and logical formalizing mathematical and physical theories [5] - [10]. In some significant aspects, the given paper follows that program, but in some other significant aspects, the paper deviates from that special interpretation of the program which has been suggested and developed by positivist-minded physicists and philosophers of science, for example, R. Carnap [11] [12] [13] [14] [15] and M. Schlick [16] [17] [18]. Today axiomatic method has been recognized as an effective one and has been used systematically in many qualitatively different spheres of human knowledge, for instance, in mathematics and logic [5] [6] [7] [8] [19] [20] [21] [22] [23], theoretical physics [9] [24] [25], economics [26], biology [27], and even theology [28]. I deliberately accept Hilbert’s optimistic ideal of representing (modeling) content theories (loosely formulated in ambiguous natural language) by logically formalized axiomatic theories rigorously formulated in unambiguous artificial language (syntaxis and semantics of which are defined precisely). However, I do not agree with R. Carnap’s and other positivists’ proclamations that metaphysics and axiology are to be eliminated from proper physical theories completely [11] - [18] [29]. I believe that some precisely defined aspects of proper philosophy (especially, universal philosophical epistemology, universal philosophical ontology, universal formal logic, and universal formal axiology) are to be presented somehow in artificial language of well-done (sufficiently rich and heuristically significant) logically formalized axiomatic theories of physics.

Let us begin with characterizing the historical-philosophical background of the research presented in this article, its heuristically significant prerequisites and habitual associations. In times of I. Newton, proper theoretical physics had been called “natural philosophy”, for example, I. Newton’s famous treatise on physics had been titled “Mathematical Principles of Natural Philosophy” [30]. Certainly, Newton’s works on mathematical grounding theoretical physics had produced a strong influence on I. Kant’s discourse of metaphysics of nature. While writing relevant aspects of “Critique of Pure Reason” [31] and then “Prolegomena…” [32], Kant, had been keeping Newton’s classical mechanics in mind and had made several references to it. While developing the doctrine of synthetical *pure **a priori knowledge of necessarily universal principles of nature*, Kant had mentioned the first and the third Newton’s laws of mechanics as concrete examples of such *pure a priori knowledge *of *strictly universal* principles of physics. To become quite convinced of this fact of history of philosophy of nature, let us look into the following citations from Kant’s texts. He writes: “The science of *natural philosophy* (physics) contains in itself synthetic judgements *a priori*, as principles. I shall adduce two propositions. For instance, the proposition, “In all changes of the material world, the quantity of matter remains unchanged”; or that, “In all communication of motion, action and reaction must always be equal.” In both of these, not only is the necessity, and therefore their origin *a priori* clear, but also that they are synthetical propositions” ( [31], p. 18). Also, Kant writes: “As to the existence of pure natural science, or physics, perhaps many may still express doubts. But we have only to look at the different propositions which are commonly treated off at the commencement of proper (empirical) physical science—those, for example, relating to the permanence of the same quantity of matter, the *vis inertiae*, the equality of action and reaction, etc.—to the soon convinced that they form a science of pure physics (*physica pura*, or *rationalis*), which well deserves to be separately exposed as a special science, in its whole extent, whether that be great or confined” ( [31], p. 19).

According to the above-cited statements by Kant, the *pure natural philosophy* (proper theoretical physics) is such a synthetical *a priori* knowledge of nature, which (knowledge) is *necessarily universal for* any physical experience and, consequently, is a *necessary condition for* all possible physical facts [31] [32] [33]. In particular, Kant has exemplified his concept “*pure a priori* *principle of* *natural philosophy*” by the famous law of inertia (the so-called Newton’s First Law of mechanics originally formulated by Galileo Galilei [34] and then explicated and generalized by Descartes) [35]. Also, according to the above citations, Kant has instantiated his notion of “*pure a priori* *principle of* *rational* *physics*” by the *equivalence of action and reaction*, which equivalence is well-known today under the name “Newton’s Third Law of Mechanics” [30].

With respect to a modernized representation of conjunction of Newton’s and Kant’s legacies relevant to physics at the level of today logic, methodology, and philosophy of science, the following interesting question arises. Suppose that there is an adequate logically formalized axiomatic system of philosophy (ontology, epistemology, etc.) quite applicable to *pure a priori knowledge of nature* (purely rational natural philosophy) as well. Is it possible, within that hypothetical logically formalized axiomatic system, to construct *formal deductive inferences* of the *pure a priori* *principles of* *rational* *physics* mentioned by Kant, from the assumption that knowledge is *a priori *one? For developing proper theoretical physics, this nontrivial question is very interesting (and, certainly, very difficult).

The formal deductive inference of the wonderful formula modeling the First Newton’s Law of mechanics (the principle of inertia) in the logically formalized axiomatic epistemology-and-axiology system called “Sigma” (given the relevant physical interpretation of it) from the assumption of knowledge a-priori-ness has been already invented (constructed) and published in [36]. Is it possible to do “the same” with respect to the Third Newton’s Law of mechanics? Can the Third Law be *formally deductively derived* from the same assumption within the hypothetical logically formalized axiomatic theory? I guess that yes, in principle, it is possible. But the hypothesis has to be precisely formulated and well-grounded (it is to be *demonstrated deductively* at the level of its mathematical model). Therefore, below in the present article I am to undertake a systematical investigation targeted at explicating and proper theoretical grounding the guess by means of an appropriate mathematical apparatus. Namely, according to the indicated purpose, I am to invent (construct) a formal deductive inference of formula modeling the Third Law in a novel logically formalized axiomatic theory called “S-V” (under a relevant physical interpretation of this formal theory) from the assumption of a-priori-ness of knowledge.

Thus, the *main purpose of the research* presented in this article, is inventing (constructing) a formal deductive inference of such formula in S-V, which (formula) represents (under a relevant physical interpretation of S-V) the Third Law of Newton’s mechanics, given that the assumption of a-priori-ness of knowledge is accepted. But, for successful realizing the manifestly formulated *main purpose of the research*, it is necessary to have quite adequate means, especially, an appropriate mathematical apparatus. Therefore, first of all, I have to realize the very important auxiliary purpose which is inventing (constructing) and precise defining a significantly new (hitherto never considered) logically formalized axiomatic epistemology-and-axiology system S-V. A successful realization of this indispensable auxiliary purpose is a necessary condition (prerequisite) for a successful realization of the main goal. This is so because, while investigating the hypothesis concerning the Third Newton’s Law of mechanics, I have recognized that, with respect to this law of dynamics, S is not quite adequate (not rich enough); it is verisimilar that to cope with the task, one has to add to S some significantly new symbols (of the alphabet of object-language), new terms, novel formulae, definitions, and even some substantially new axioms. In the present article, the original outcome of the mentioned significant mutations in S is called “Sigma Vectored” or simply “Sigma-V”. A precise definition of Sigma-V is to be given in the following section 2.1 of this paper. The promised realization of the main purpose of the article, namely, a formal deductive inference of the wonderful formula modeling the Third Newton’s Law (in the relevant physical interpretation of S-V under the assumption of a-priori-ness of knowledge) is to be presented in the following section 3 of the given article. A realization of the above-formulated auxiliary purpose of the article is presented in the immediately following section.

2. Materials and Methods

2.1. A Hitherto Unknown Logically Formalized Axiomatic Theory “Sigma-V” Intentionally Constructed for Formal Axiomatic Grounding the Classical Theoretical Mechanics

Materials of the present article belong to physics and especially to that part of theoretical physics which deals with *necessarily universal* mathematical principles of natural philosophy (pure *a priori* knowledge of nature). As the present article is targeted at formal axiomatic grounding the third Newton’s law within the philosophical rationalism doctrine accepting the assumption of pure a-priori-ness of rational knowledge of nature, in this part of the article, it is indispensable to give a precise definition of the mentioned assumption and of the formal axiomatic theory, to be exploited for realizing the target. The indirect but quite precise axiomatic definition of the assumption of a-priori-ness of knowledge is given below in this part of the paper, by means of precise defining the logically formalized axiomatic theory “Sigma-V”.

In result of (1) adding the modality C (“It is *consistent* that…”) to the set of *perfection*-modalities of the multimodal system S, and (2) significant *generalizing* the axiom-scheme AX-5 of S, a new system (named “S+C”) has come into being. The axiomatic system S-V is a result of developing further the formal axiomatic *epistemology-and-axiology* theory S [37] and the formal axiomatic *epistemology-and-axiology* theory S+C [38].

To construct a perfectly exact definition of the formal axiomatic theory S-V, it is necessary to begin with manifestly giving precise definitions of the notions: “*alphabet* of object-language of S-V”; “*term* of S-V”; “*formula* of S-V”; “*axiom* of S-V”. Strict definitions of these notions of S-V *look similar* to the definitions of corresponding notions of S and “S+C”, which are already published (open access) in [37] and [38], respectively. Nevertheless, strictly speaking, in this article, it is quite indispensable to construct precise definitions of “*alphabet* of object-language of S-V”, “*term* of S-V”, “*formula* of S-V”, and “*axiom* of S-V”, in spite of the mentioned similarity, as *similarity is not logically equivalent to identity*; the relevant notions of S and “S+C” are not identical to the corresponding similar notions of S-V. Therefore, let us start precise formulating the definitions quite indispensable for perfect understanding this article in spite of the false impression (illusion) that they are repetitions of the already published statements. Let us begin with precise defining the notion “alphabet of object-language of formal theory S-V”.

By definition, the alphabet of object-language of formal theory S-V contains all the signs which belong to the alphabet of object-language of formal theory S. But the conversion of this sentence is not true, as, in S-V, some important new symbols are added to the alphabet of S and to the alphabet of S+C. The outcome of these significant mutations (additions) is the following exact definition of the alphabet of object-language of S-V.

1) The lowercase Latin letters p, q, d (and these letters having lower number indexes) belong to the alphabet of object-language of S-V; these lowercase Latin letters are named “*propositional* letters”. In the alphabet of object-language of S-V, *not all lowercase Latin letters are called propositional ones *because, according to the given definition, those lowercase Latin letters which belong to the set {g, b, e, n, x, y, z, t, f} do not belong to the set of *propositional *letters of object-language of S-V.

2) The habitual logic symbols Ø, É, «, &, Ú named, respectively, “classical negation”, “classical (or ‘material’) implication”, “classical equivalence”, “classical conjunction”, “classical not-excluding disjunction” belong to the alphabet of object-language of S-V.

3) Elements of the set {ð, K, A, E, S, T, F, P, D, C, G, W, O, B, U, J} are elements of the alphabet of object-language of S-V as well. They are named “modality symbols” in S-V.

4) The signs “®” and “¬”, called “vector symbols” or “arrows” (“left-right arrow” and “right-left one”) belong to the alphabet of object-language of S-V. Such elements are quite novel; the “arrows” do not belong to the alphabets of object-languages of the already published and investigated formal theories S and S+C. The “vector symbols” belonging to the alphabet of S-V are *original* and very important ones for that theory. By the way, the “vector symbols” are not habitual (and even very unusual, odd) for object-languages of formal theories based on classical symbolic logic. Thus, even at the level of its alphabet, S-V differs much from the theories S and S+C.

5) The lowercase Latin letters *x*, *y*, *z* (and also these letters having lower number indexes) belong to the alphabet of object-language of S-V. Such and only such letters are named “*axiological variables*” in S-V.

6) The lowercase Latin letters “g” and “b” named “*axiological constants*” also are elements of the alphabet of object-language of S-V.

7) The capital Latin letters having number indexes—E^{1}, C^{1}, K^{1}, K^{2}, E^{2}, C^{2}, C_{j}^{n}, B_{i}^{n}, D_{m}^{n}, A_{k}^{n}, are elements of the alphabet of object-language of S-V (such capital Latin letters are named “*axiological*-*value-functional **symbols*”). Here the upper number index *n* informs that the indexed axiological-value-functional symbol is *n*-placed one. Absence of the upper number index indicates that the value-functional symbol is determined by only one axiological variable. The axiological-value-functional symbols may possess no lower number index. But, if value-functional symbols possess lower number indexes, then, if these indexes are different, then the indexed functional symbols are different ones.

8) The signs “(” and “)” named “round brackets” are elements of the alphabet of object-language of S-V as well. These auxiliary signs are utilized in the present article as usually in symbolic logic, namely, as pure technical symbols.

9) The signs “[” and “]” (“square brackets”) are elements of the alphabet of object-language of S-V also. However, it is worth emphasizing here that in contrast to the “round brackets”, in S-V, the “square brackets” are used not as the habitual pure technical symbols, but as *ontologically meaningful* signs. Such nonstandard using the “square brackets” is psychologically unexpected (unhabitual) one. In relation to natural language psychology, square brackets and round ones seem identical as very often in natural language they are used as synonyms. But in the object language of S-V, the two kinds of brackets possess *significantly different* meanings (play substantially different roles): usage of round brackets is purely technical (auxiliary) one, while square-bracketing possesses an *ontological* meaning. The *ontological* meaning of square-bracketing is defined below in that part of the present paper which is devoted to *semantics* of object-language of S-V. Nevertheless, even at the level of syntaxis of the artificial object language of S-V, square brackets *play a **substantial role* in the precise definition of the concept “formula of S-V”. (This definition is to be given below in this section of the article.) Moreover, square-bracketing *plays a* *substantial role* in the precise formulations of some axiom-schemes of S-V” (which formulation is to be given below also in this section of the article).

10) An unhabitual artificial symbol “=+=” named “*formal-axiological equivalence*” is an element of the alphabet of object-language of S-V. The odd symbol “=+=” *plays a substantial role* in the precise definition of the concept “formula of S-V and also in the precise formulations of some axiom-schemes of S-V.

11) The habitual symbols “-” (negative number sign called “minus”) and “=” (equality of numbers) from the language of arithmetic are elements of the alphabet of object-language of S-V.

12) The habitual symbol “/” also belongs to the alphabet of object-language of S-V, although, in S-V, this quite habitual symbol is used in a quite unexpected (unhabitual) special meaning (to be defined precisely below while formulating semantics of S-V).

13) A sign is an element of the alphabet of object-language of S-V, if and only if the sign belongs to this alphabet due to the above-formulated items 1) - 12) of the given definition.

Any finite chain (queue) of symbols is named “an *expression* of the object-language of S-V”, then and only then, when that chain contains such and only such signs which are elements of the alphabet of object-language of S-V.

A precise definition of the concept “*term* of S-V” is the following:

1) The above-mentioned *axiological variables* (see the definition of alphabet of S-V) are terms of S-V.

2) The above-mentioned *axiological constants *(see the definition of alphabet of S-V) are terms of S-V.

3) If Φ_{k}^{n} is an *n-placed* *axiological*-*value-functional symbol* (see the definition of alphabet of S-V), and t_{i}, …, t_{n} are *terms* of S-V, then Φ_{k}^{n}t_{i}, …, t_{n} is a term of S-V. (It is worth noting here that signs t_{i}, …, t_{n} belong to the meta-language; because they denote *any* terms of S-V; the analogous note is worth making with respect to the sign Φ_{k}^{n} belonging to the meta-language as well.)

4) If t is a term of S-V, then the expressions $\text{t \u2190}$, $\circledR \text{t \u2190}$, and $\text{t \u2192}$ are terms of S-V.

5) If t_{k} is a term of S-V, then the expression /t_{k}/ is a term of S-V.

6) If t_{k} is a term of S-V, then the expression -/t_{k}/ is a term of S-V.

7) An expression of the object-language of S-V is a term of S-V, then and only then, when it is so due to the above-formulated items 1) – 6) of the given definition.

Thus, the *syntaxis* aspect of the abstract notion “*term* of S-V” is quite fixed. Now we are to move to constructing exact definition of the *syntaxis* aspect of the abstract notion “*formula* of S-V”. To perform this move, let us accept the convention that in the given article, lowercase Greek letters a, β, and ω (belonging to meta-language) denote *any *formulae of S-V. Keeping this convention in mind, it is possible to give the following precise definition of the notion “formula of S-V”.

1) All the propositional letters belong to the set of formulae of S-V.

2) When α and β are formulae of S-V, then all the expressions of the object-language of S-V, which (expressions) have forms Øα, (α « β), (α É β), (α Ú β), (α & β), belong to the set of formulae of S-V as well.

3) When t_{i} and t_{k} are terms of S-V, then (t_{i} =+= t_{k}) is a formula of S-V.

4) When t_{i} and t_{k} are terms of S-V, then (t_{i} =+= Ò t_{k}) is a formula of S-V.

5) When t_{i} and t_{k} are terms of S-V, then (/t_{i}/ = /t_{k}/) is a formula of S-V.

6) When t_{i} and t_{k} are terms of S-V, then (/t_{i}/ = -/t_{k}/) is a formula of S-V.

7) When t_{i} is a term of S-V, then [t_{i}] is a formula of S-V.

8) When α is a formula of S-V, and the symbol Ψ (belonging to the meta-language) denotes any modality symbol from the set of {ð, K, A, E, S, T, F, P, D, C, G, W, O, B, U, J}, then any expression of object-language of S having the form Ψα, is a formula of S-V also. It is worth noting here, that, strictly speaking, the expression Ψα (belonging to the meta-language) is not a formula of S-V, but a scheme of formulae of S-V.

9) Chains of symbols from the alphabet of object-language of S-V are formulae of S-V, if and only if it is so due to the items 1) - 8) of the given definition.

In this part of the article which (part) is reduced intentionally to *syntaxis* of object-language of *multimodal* formal theory S-V, the set of modality symbols {ð, K, E, A, S, T, F, P, D, C, G, W, O, B, U, J} is nothing but a set of very short *names*. The symbol ð is a name for the alethic modality “it is *necessary* that …”. The symbols K, E, A, S, T, F, P, D, C, respectively, are names of/for the modal expressions “agent *Knows* that…”, “agent *Empirically *(*a-posteriori*)*knows* that…”, “agent *A-priori knows* that…”, “under some concrete conditions in some definite time-and-space, an agent has a *Sensation*,*i.e. verification by feeling* (either immediately or by means of mediating tools), that…”, “it is *True *that…”, “agent has *Faith* that… (or agent believes that…)”, “it is *Provable* in a consistent theory that…”, “there is *an algorithm for Deciding* that… (hence, a machine could be constructed for such Deciding)”, “it is *Consistent* that…”.

The symbols G, W, O, B, U, J, respectively, are names of/for the modal expressions “it is *Good *(morally perfect)that…”, “it is *Wicked *(morally bad, imperfect)that…”, “it is *Obligatory *(mandatory, compulsory)that…”, “it is *Beautiful *(aesthetically perfect)that…”, “it is *Useful *(helpful, valuable, gainful, rewarding)that…”, “it is a *Joy* (delight, happiness, pleasure) that…”. In the present section of the article, pure syntaxis meanings of the modal symbols are defined quite precisely (although not manifestly but indirectly) by the below-given schemes of own (proper) axioms of multimodal formal philosophy (epistemology-and-axiology) system S-V which axioms are added to the ones of classical logic of propositions.

Thus, proper formal logic axioms and formal logic inference rules of S, S+C, and S-V are the ones of classical sentential logic calculus. Schemes of axioms and inference-rules of the classical propositional logic are applicable to all formulae of these three multimodal theories. Hence, the proper logic foundations of S, S+C, and S-V are identical but the mentioned logically formalized axiomatic systems based on these identical logic foundations are substantially different. It seems that, corresponding definitions of S, S+C, and S-V are identical, but strictly speaking, it only seems so. The formal theories S, S+C, and S-V have different alphabets of their object-languages, different sets of expressions, different sets of terms, different sets of formulae, different sets of definitions, different sets of axioms, and, finally, different sets of theorems.

In the given section of the article, exactly *syntax* meanings of all the modality symbols and of all the other special signs included into the alphabet of object language of S-V are defined precisely by the following list of schemes of proper philosophical (epistemological and axiological) axioms of S-V. (Certainly, such *axiomatic* definition of proper epistemology-and-axiology notions is *not manifest* one, but, nevertheless, it is *quite precise* one.) If α, β, ω are any formulae of S-V, then any such and only such expressions of the object language of S-V, which have the following forms, are *proper axioms* of S-V.

AX-1: $A\alpha \supset \left(\square \text{\hspace{0.17em}}\beta \supset \beta \right)$.

AX-2: $A\alpha \supset \left(\square \text{\hspace{0.17em}}\left(\omega \supset \beta \right)\supset \left(\square \text{\hspace{0.17em}}\omega \supset \text{\hspace{0.17em}}\square \text{\hspace{0.17em}}\beta \right)\right)$.

AX-3: $A\alpha \leftrightarrow \left(K\alpha \&\left(\neg \text{\hspace{0.17em}}\diamond \text{\hspace{0.17em}}\neg \text{\hspace{0.17em}}\alpha \&\neg \text{\hspace{0.17em}}\diamond \text{\hspace{0.17em}}S\alpha \&\square \text{\hspace{0.17em}}\left(\beta \leftrightarrow \Omega \beta \right)\right)\right)$.

AX-4: $E\alpha \leftrightarrow \left(K\alpha \&\left(\diamond \text{\hspace{0.17em}}\neg \text{\hspace{0.17em}}\alpha \vee \diamond \text{\hspace{0.17em}}S\alpha \vee \neg \text{\hspace{0.17em}}\square \text{\hspace{0.17em}}\left(\beta \leftrightarrow \Omega \beta \right)\right)\right)$.

AX-5:
$\Omega \alpha \supset \diamond \text{\hspace{0.17em}}\alpha $. (This is a substantial *multimodal generalization* of “Kant principle” combining the deontic and the alethic modalities:
$O\alpha \supset \diamond \text{\hspace{0.17em}}\alpha $.)

AX-6:
$\left(\square \text{\hspace{0.17em}}\beta \&\text{\hspace{0.17em}}\square \text{\hspace{0.17em}}\Omega \text{\hspace{0.17em}}\beta \right)\supset \beta $. (This is a substantial *multimodal generalization* of the famous formula
$\left(\square \text{\hspace{0.17em}}\beta \supset \beta \right)$ underivable in S-V. Concerning the underivability of
$\left(\square \text{\hspace{0.17em}}\beta \supset \beta \right)$, see [39].)

AX-7: $\left({t}_{i}=\text{\hspace{0.05em}}+\text{\hspace{0.05em}}={t}_{k}\right)\leftrightarrow \left(G\left[{t}_{i}\right]\leftrightarrow G\left[{t}_{k}\right]\right)$.

AX-8: $\left({t}_{i}=\text{\hspace{0.05em}}+\text{\hspace{0.05em}}=g\right)\supset \text{\hspace{0.17em}}\square \text{\hspace{0.17em}}G\left[{t}_{i}\right]$.

AX-9: $\left({t}_{i}=\text{\hspace{0.05em}}+\text{\hspace{0.05em}}=b\right)\supset \text{\hspace{0.17em}}\square \text{\hspace{0.17em}}W\left[{t}_{i}\right]$.

AX-10: $\left(G\alpha \supset \neg W\alpha \right)$. See the famous monograph by A.A. Ivin [40].

AX-11: $\left(W\alpha \supset \neg G\alpha \right)$. See A.A. Ivin’s wonderful book [40].

AX-12: $A\alpha \supset \left(\left(\Phi \copyright xy=\text{\hspace{0.05em}}+\text{\hspace{0.05em}}=\Phi \copyright yx\right)\leftrightarrow \left(\left[\stackrel{\leftarrow}{\Phi \copyright xy}\right]\leftrightarrow \left[\circledR \stackrel{\leftarrow}{\Phi \copyright yx}\right]\right)\right)$.

AX-13: $A\alpha \supset \left(\left(\Phi \copyright xy=\text{\hspace{0.05em}}+\text{\hspace{0.05em}}=\Phi \copyright yx\right)\leftrightarrow \left(/\stackrel{\leftarrow}{\Phi \copyright xy}/=-\text{/}\stackrel{\leftarrow}{\Phi \copyright yx}\text{/}\right)\right)$.

Definition DF-1:
$\left(\left(\circledR \text{\hspace{0.17em}}\stackrel{\leftarrow}{{t}_{i}}=\text{\hspace{0.05em}}+\text{\hspace{0.05em}}=\stackrel{\to}{{t}_{i}}\right)\&\left(\circledR \text{\hspace{0.17em}}\stackrel{\to}{{t}_{i}}=\text{\hspace{0.05em}}+\text{\hspace{0.05em}}=\stackrel{\leftarrow}{{t}_{i}}\right)\right)$, where t_{i} is a term of S-V.

Definition DF-2: when ω is a formula of S-V, then àω is a *name* of/for
$\neg \text{\hspace{0.17em}}\square \text{\hspace{0.17em}}\neg \text{\hspace{0.17em}}\omega $.

In AX-3, AX-4, AX-5, and AX-6, the symbol Ω (belonging to the meta-language) stands only for a (any) “*perfection* modality”. Not all the above-mentioned modalities are called “*perfection* ones”. The set Δ of signs denoting *perfection*-modalities (or simply, “perfections”) is the following {K, D, F, C, P, J, T, B, G, U, O, ð}. Obviously, Δ is only a subset of the set of all signs denoting modalities taken into an account in this article. For instance, W and à are names of/for modalities which are not perfections.

In AX-12 and AX-13, the symbol Ф (belonging to the meta-language) stands for any noncommutative *binary* operationof two-valued Boolean algebra (of formal axiology, for example), and the symbol ã (also belonging to the meta-language) stands for any such *unary* function,a value of which is the*inversion* of value of its argument.

Certainly, the above-given exact *syntactic *definitions are *semantically meaningless*; this is not a contingent omission by negligence but such a deliberately accepted scientific abstraction which is quite reasonable within an adequately defined domain. Therefore, now, to make the article perfectly meaningful one, it is indispensable to move directly to *semantics* of the language of S-V.

2.2. Hitherto Never Considered Semantics of/for the Above-Defined Syntaxis of Object-Language of Formal Axiomatic Theory “Sigma-V”

Above in paragraph 2.1 of this paper, the definition of S-V has been given in the purely syntactic manner; the formulation of S-V has been intentionally deprived of its concrete contents by means of the relevant scientific abstraction. The multimodal axiomatic theory S-V has been defined and discussed as exactly formal one. Below in this paragraph of the paper, I depart from pure syntaxis of artificial language of S-V to its semantics.

The artificial language of S-V contains the well-known logic symbols of classical mathematical logic. There is no necessity to give definitions of semantic meanings of these habitual logic symbols as their semantic meanings are already defined precisely in corresponding handbooks on mathematical logic. Semantic meanings of the *propositional* *variables* (represented in S-V by the lowercase Latin letters “d”, “q”, “p”, and by the same letters possessing lower number indexes) are perfectly defined in corresponding handbooks on classical propositional logic as well. However, it is indispensable to give definitions of semantic meanings of the unhabitual signs (sometimes even strange complex ones) belonging to the artificial language of S-V.

Definition of semantic meanings is definition of an *interpretation-function*. For defining the interpretation-function it is necessary to define 1) a set called “domain (or realm) of interpretation” (let the letter M be used for denoting the interpretation domain) and 2) an evaluation-maker called “valuator” *V*. By definition, the set M (which is necessary for any standard interpretation of S-V), is a set, every element of which possesses: 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* (*z*, *x*,* **y*,* z _{i}*,

The*a**xiological constants* “b” and “g” mean the *values* “bad” and “good”, respectively.

Certainly, any concrete valuation necessarily implies existence of a concrete valuator (interpreter). Making an evaluation of an element from the interpretation-domain M by quite a definite (fixed) valuator V is attaching an *axiological value* (good or bad) to the element. The valuator V is either any individual or any collective—it does not matter. Obviously, changing V may result in changing some valuations (relative ones), nevertheless, no change of valuator can change the set of laws of the algebraic system of formal axiology as these laws are not relative but absolute evaluations. By definition, the laws of two-valued algebra of formal axiology are such and only such *constant evaluation-functions* which possess the value g (good) under any possible combination of axiological values of their axiological variables. Certainly, V is a variable. It takes its values from the set of various valuators. However, if an interpretation of S-V is well-defined, then the value of the variable V is well-defined also. Changing the value of V is changing the interpretation.

In the present article, “e” and “n” stand for “… exists” and “… not-exists”, respectively. The signs “e” and “n” are named “*ontological constants*”. By definition, in a standard interpretation of S-V, one and only one element of the set {{g, e}, {g, n}, {b, e}, {b, n}} corresponds to every element of M. The signs “e” and “n” belong to the meta-language. By definition of the alphabet of object-language of S-V, “e” and “n” do not belong to the object-language. Nevertheless, “e” and “n” are *indirectly* represented at the level of object-language ofS-V by means of *square-bracketing*: “t_{i} exists” is represented by [t_{i}]; “t_{i} does not exist” is represented by Ø[t_{i}]. This means thatsquare-bracketing is a significant part of exact defining formal-axiological-and-ontological semantics of S-V.

*N*-placed terms of S-V are interpreted as *n*-placed evaluation-functions defined on the set M. The concept “unary (or one-placed) evaluation-function” is instantiated by the following Table 1 and Table 2. Here, it is worth recalling that the upper index 1 standing immediately after a capital letter means that the indexed letter denotes a unary evaluation-function. A Difference of lower number-indexes means difference of the corresponding signs. For instance, in Table 1, *F _{1}^{1}x* and

Table 1. Defining the unary evaluation-functions.

Table 2. Defining the one-placed evaluation-functions.

In Table 1, the one-placed term *M ^{1}x* is interpreted as

Now let us introduce the one-placed evaluation-functions represented by terms *A _{1}^{1}x*,

The concept “*two-placed* *evaluation-function*” is exemplified by the following Table 3. (In this article, the upper index 2 standing immediately after a capital letter informs that this letter denotes *a two-placed function*.)

In Table 3, the two-placed term *S ^{2}xy* is interpreted as two-placed evaluation-function “

Table 3. Defining the two-placed evaluation-functions.

For excluding possible misunderstandings, it is relevant here to emphasize that in a standard interpretation of S-V, the signs *F _{1}^{1}x*,

By definition of semantics of S-V, if t_{i} is a term of S-V, then, being interpreted, such a formula of S-V, which possesses the form [t_{i}], represents an *either true or false proposition* “t_{i} exists”. According to the definition, a formula [t_{i}] is true in an interpretation, if and only if t_{i} possesses the *ontological value* “e (exists)” in that interpretation. According to the definition, a formula [t_{i}] is false in an interpretation of S-V, if and only if t_{i} possesses the ontological value “n (not-exists)” in that interpretation.

By definition of semantics of S-V, in a standard interpretation of S-V, a formula having the form (t_{i}=+=t_{k}) represents an either true or false proposition possessing the form “t_{i} is *formally-axiologically equivalent* to t_{k}”; this proposition is true, when and only when 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*.

By definition of semantics of S-V, in a standard interpretation of S-V, a formula having the form (t_{i}=+=b) represents an either true or false proposition possessing the form “t_{i} is a *formal-axiological contradiction*” (or “t_{i} is *formally-axiologically*,*or absolutely bad*”); this proposition is true, when and only when (in the given interpretation) the term t_{i} has the value* *“bad” under any possible combination of axiological values* *of the* *axiological variables*. *

By definition of semantics of S-V, in a standard interpretation of S-V, a formula having the form (t_{i}=+=g) represents an either true or false proposition possessing the form “t_{i} is a *formal-axiological law*” (or “t_{i} is *formally-axiologically*,*or absolutely good*”); this proposition is true when and only when (in the given interpretation) the term t_{i} has the* value *“good” under any possible combination of the values* *of axiological variables*. *

Concerning the above-provided definition of sematic meaning of (t_{i}=+=t_{k}) in S-V, it is worth keeping in mind that, the natural-language words “imply”, “entails”, “is”, “means”, “equivalence” are homonyms; each of these words has not the only meaning. Along with possessing the well-known formal logic meanings, in some special kinds of situations, the same words of natural language may mean the above-defined *formal-axiological-equivalence* relation “=+=”. The indicated ambiguity of natural language must be neutralized; therefore, the formal-logical and the formal-axiological meanings of the mentioned homonyms must be separated systematically; otherwise strong linguistic illusions of logical paradoxes can appear.

Due to the definition of semantics of S-V, one can recognize that the algebraic system of formal axiology is a *theory-of-relativity *of evaluations; in the* *theory-of-relativity, the *formal-axiological laws* of that algebraic system (which are nothing but positive-constant-evaluation-functions) are *invariants* in relation to all possible transformations of valuator V.

Thus, in spite of the indisputable (quite obvious) fact that relativity and flexibility of empirical evaluations do exist, the necessarily universal and immutable laws of relativity of evaluations (which laws are evaluation-*invariants*) do exist as well [37] [41] [42].

One of very important qualitative differences between S and S-V is existence of expressions having the forms “/*t*_{i}/”, “/*t*_{k}/”, “-/*t*_{k}/”, “/
$\stackrel{\leftarrow}{{t}_{i}}$ /”, “/
$\stackrel{\leftarrow}{{t}_{k}}$ /”, “-/
$\stackrel{\leftarrow}{{t}_{k}}$ /”, “/*t*_{i}/ = /*t*_{k}/”, “/
$\stackrel{\leftarrow}{{t}_{i}}$ / = /
$\stackrel{\leftarrow}{{t}_{k}}$ /”, “/
$\stackrel{\leftarrow}{{t}_{i}}$ / = -/
$\stackrel{\leftarrow}{{t}_{k}}$ /”, in the object-language of S-V. Concerning the expressions having such forms, here it is indispensable to inform the readers that, by definition of semantics of object-language of S-V, the expression “/…/” means a “*quantity magnitude*” of “…”; the expression “-/…/” means a “*negative quantity magnitude*” of “…”.

Also, here it is indispensable to inform the readers that, according to the definition of semantics of object-language of S-V, in a standard interpretation of this formal theory, the symbol “=” means the binary relation of “*identity of **quantity magnitudes*”, hence, “/*t*_{i}/ = /*t*_{k}/” means “*identity of quantity magnitudes* of t_{i} and t_{k}”. Thus, if a concrete standard interpretation is given, then the (interpreted) formula (/
$\stackrel{\leftarrow}{{t}_{i}}$ / = -/
$\stackrel{\leftarrow}{{t}_{k}}$ /) represents a predicate (which obtains quite a definite truth-value in the given concrete interpretation). It is presumed here that the syntaxis and semantic meanings of those signs from the alphabet of object-language of S-V, which are signs from the alphabet of formal arithmetic (for instance, the symbol “=”), are already defined precisely in arithmetic [44], therefore, it is not necessary to define them again in the present article manifestly. Making the reference to E. Mendelson’s excellent handbook “Introduction to Mathematical Logic” [44] is quite sufficing. Thus, although the relevant arithmetic axioms (namely, those which define meanings of the arithmetic signs “=” and “-”) are not manifestly mentioned in the above-given definition of S-V, they are presumed as also belonging to S-V.

The main qualitative difference between S and S-V is existence of *vector* symbols “®” and “¬” in the richer alphabet of object-language of S-V. The theories S and S+C deal with *scalar* evaluation-functions exclusively, while the significantly more general and more rich theory S-V deals with both *scalar* and *vector* ones. This is so because, by definition of semantics of S-V, the evaluation-functions are either *vectored* or *not-vectored*. (The not-vectored ones are called scalar ones.) The scalar-evaluation-functions are exemplified above by Tables 1-3. According to the definition of semantics of object-language of S-V, the symbol
${\stackrel{\leftarrow}{t}}_{i}$ means a *vectored* evaluation-function, which is nothing but a conjunction (union) of the corresponding scalar-evaluation-function (*t*_{i}) and the definite vector (direction) “¬” of the evaluation. Sometimes, either an evaluation does not have a vector at all, or the vector of evaluating is not essential and may be ignored by means of abstraction. But, sometimes, the vector is essential (important) and ignoring it is a blunder (the abstraction is not acceptable). In this special case (which is very important one, sometimes), the sign “
${\stackrel{\leftarrow}{t}}_{i}$ ” means the vector (direction) of “
${t}_{i}$ ”; while the sign “
$\circledR {\stackrel{\leftarrow}{t}}_{i}$ ” means the *directly opposite* vector of “
${t}_{i}$ ”. Certainly, from the psychological viewpoint, the hitherto unknown discourse of vectored evaluation-functions is queer one; it is a challenge for the habitual paradigm in the humanities to which theoretical philosophy belongs somehow (at least partly). Nonetheless, in modern theoretical physics (which could be considered as a necessarily mathematized kind of proper theoretical philosophy of nature), a discourse of vectored functions is not queer but quite habitual, meaningful and disputable. In the present article, I am to apply the precedent made in modern theoretical physics to epistemic decision-making in the *essentially analogous* situation of proper philosophical (formal-axiological) discourse of classical (Newton’s) mechanics. Surprising results of such unexpected applying are presented in the immediately following paragraph.

3. Results

The following finite succession of formulae and schemes of formulae is a realization of the main purpose of this paper, namely, a* formal deductive derivation* (in S-V) of such a formula which represents Newton’s Third Law, if a relevant physical interpretation of S-V is given. This formal logical derivation essentially depends from the two nontrivial *assumptions *manifestly included into the following finite succession. The first one is the assumption of a-priori-ness of knowledge. It is modeled in S-V by Aα. The second assumption essentially exploited in the following logical derivation is the *formal-axiological analog* of the Third Law of mechanics. The *formal-axiological analog* of that law is modeled in S-V by (F^{2}M^{1}xy =+= F^{2}M^{1}yx). This *formal-axiological equation* of two-valued algebraic system of metaphysics as formal axiology has been already recognized as such, and published in [42]. But the following quite a new formal deductive inference from the pair of nontrivial assumptions has not been constructed and published hitherto.

1) $A\alpha \supset \left(\left(\Phi \copyright xy=\text{\hspace{0.05em}}+\text{\hspace{0.05em}}=\Phi \copyright yx\right)\leftrightarrow \left(\left[\stackrel{\leftarrow}{\Phi \copyright xy}\right]\leftrightarrow \left[\circledR \stackrel{\leftarrow}{\Phi \copyright yx}\right]\right)\right)$ : AX-12.

2)
$A\alpha \supset \left(\left({\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}=\text{\hspace{0.05em}}+\text{\hspace{0.05em}}={\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}\right)\leftrightarrow \left(\left[\stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}}\right]\leftrightarrow \left[\circledR \stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}}\right]\right)\right)$ : from 1, by substitution of F^{2}* ^{ }*for Ф, and substitution of M

3) $A\alpha \supset \left(\left(\Phi \copyright xy=\text{\hspace{0.05em}}+\text{\hspace{0.05em}}=\Phi \copyright yx\right)\leftrightarrow \left(/\stackrel{\leftarrow}{\Phi \copyright xy}/=-\text{/}\stackrel{\leftarrow}{\Phi \copyright yx}\text{/}\right)\right)$ : AX-13.

4)
$A\alpha \supset \left(\left({\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}=\text{\hspace{0.05em}}+\text{\hspace{0.05em}}={\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}\right)\leftrightarrow \left(/\stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}}/=-\text{/}\stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}}\text{/}\right)\right)$ : from 3, by substitution: of F^{2} for Ф, and substitution of* *M^{1} for ã.

5) Αα: the *assumption* of a-priori-ness of knowledge.

6)
$\left(\left({\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}=\text{\hspace{0.05em}}+\text{\hspace{0.05em}}={\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}\right)\leftrightarrow \left(\left[\stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}}\right]\leftrightarrow \left[\circledR \stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}}\right]\right)\right)$ : from 2 and 5 by *modus ponens*.

7)
$\left(\left({\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}=\text{\hspace{0.05em}}+\text{\hspace{0.05em}}={\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}\right)\leftrightarrow \left(/\stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}}/=-\text{/}\stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}}\text{/}\right)\right)$ : from 4 and 5 by *modus ponens*.

8) $\left(\left({\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}=\text{\hspace{0.05em}}+\text{\hspace{0.05em}}={\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}\right)\supset \left(\left[\stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}}\right]\leftrightarrow \left[\circledR \stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}}\right]\right)\right)$ : from 6 by the logic derivation rule called “elimination of ↔”.

9) $\left(\left({\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}=\text{\hspace{0.05em}}+\text{\hspace{0.05em}}={\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}\right)\supset \left(/\stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}}/=-\text{/}\stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}}\text{/}\right)\right)$ : from 7 by the logic derivation rule called “elimination of ↔”.

10)
$\left({\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}=\text{\hspace{0.05em}}+\text{\hspace{0.05em}}={\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}\right)$ : the *assumption*.

11)
$\left(\left[\stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}}\right]\leftrightarrow \left[\circledR \stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}}\right]\right)$ :from 8 and 10 by *modus ponens*.

12)
$\left(/\stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}}/=-\text{/}\stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}}\text{/}\right)$ : from 9 and 10 by *modus ponens*.

13) $A\alpha ,\left({\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}=\text{\hspace{0.05em}}+\text{\hspace{0.05em}}={\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}\right)\u22a2\left(\left[\stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}}\right]\leftrightarrow \left[\circledR \stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}}\right]\right)$ :by the succession 1 - 11. (Here, “ $\dots \u22a2\dots $ ” means “from…it is logically derivable in S-V, that…”.)

14) $A\alpha ,\left({\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}=\text{\hspace{0.05em}}+\text{\hspace{0.05em}}={\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}\right)\u22a2\left(/\stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}}/=-\text{/}\stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}}\text{/}\right)$ : by the succession 1 - 12.

Here we are (The formal logical derivation from the assumptions in S-V, is finished). Strictly speaking, the formal derivation as such (namely, as *proper formal* one) is nothing but a “skeleton” of the proof. To obtain the proof, it is necessary to interpret the formal inference. F^{2}M^{1}xy be interpreted as the evaluation-function *“*force of action of *y* on movement of x”, and let F^{2}M^{1}yx be interpreted as the evaluation-function “force of action of x on movement of y”. Evaluation-functional meanings of the symbols *M ^{1}* and

However, the content analysis of the physical (mechanical) interpretation gives solid grounds for moving from the *formal-axiological equivalence *of thescalar evaluation-functions to the *formal-axiological equivalence *of the corresponding vectored ones, therefore, in [42], the *formal-axiological* *law of contraposition* of *F*^{2}*xy* has been vectored. Thus, the *formal-axiological analog* of the third law of Newton’s mechanics has been created (discovered or invented) and justified (by computing relevant evaluation-functions) for the first time in [42]. But the discovered (or invented) *analog* is not a statement of “what is”; it is a *formal-axiological* statement of “what is good”. Generally speaking, there is a formal-logic gap between “what is” and “what is good”. Moreover, there is a habitual faith (intellectually respectable belief) that logical bridging the gap is absolutely impossible.

Although, constructing and demonstrating *the formal-axiological analog* of the classical mechanical law in question has been accomplished and published originally in [42], the mentioned notorious gap has not been logically bridged in [42], and the faith that the gap is logically unbridgeable has not been challenged in [42]. In contrast with and in substantial supplement to [42], for the first time in relevant literature, the present article submits logical bridging the allegedly unbridgeable gap between the law of dynamics and its already existing formal-axiological analog. This logical bridging is the main nontrivial novelty (significant theoretic discovery) of the given article. It is a very important challenge to the dominating paradigm in theoretical physics and in philosophy of science.

The significantly new nontrivial result obtained above in this paper implies that logical bridging the gap is impossible not absolutely but relatively. The faith in its being logically unbridgeable is quite adequate under the *ordinary* condition that knowledge is *empirical*. Nevertheless, under the *extraordinary* condition that knowledge is *a priori*, the gap is logically bridgeable.

According to the above-said, from the two premises, namely, (1) the formal-axiological analog of the third law of Newton’s mechanics and (2) the assumption of *a-priori*-ness of knowledge, the third law of Newton’s mechanics is formally inferred in S-V.

The result of translation of the interpreted formula 11
$\left(\left[\stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}}\right]\leftrightarrow \left[\circledR \stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}}\right]\right)$ from artificial language of the mathematical model into the natural language of human creatures is the following: “A vectored force of action of *y* on (movement of *x*) exists if and only if the oppositely vectored force of action of *x* on (movement of *y*) exists”. The result of translating the interpreted formula 12
$\left(/\stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{xy}}/=-\text{/}\stackrel{\leftarrow}{{\text{F}}^{\text{2}}{\text{M}}^{\text{1}}\text{yx}}\text{/}\right)$ from the artificial language of mathematical model into the natural language of humans is the following: “an actually existing quantity-magnitude of vectored force of action of *y* on (movement of *x*) is precisely equal to the negative quantity-magnitude of vectored force of action of *x* on movement of*y*”.

4. Discussion

4.1. Using a “Mole Hole” for Logical Deriving “Is” from “Must” or “Good”, and for Converse Logical Inferring “Must” or “Good” from “Is”, in the Formal Axiomatic Epistemology-and-Axiology Theory S-V for Obtaining Nontrivial Scientific Results in Mathematical Physics

According to the above-reported results of investigation, within the logically formalized axiomatic epistemology-and-axiology theory S-V, if knowledge of nature is *pure a-priori* one, then there is a formal proof, in S-V, for the Third Law of Newton’s mechanics. Consequently, in the system of *pure a priori* knowledge of nature, modeled by the logically formalized axiomatic theory S-V, the famous law of classical dynamics well-known under the name “the Third Newton’s law”, is strictly grounded by the above-presented formal deductive derivation (from the manifestly indicated and well-defined assumptions).

It is worth highlighting here that S-V deviates substantially from the notorious positivism ideal of science philosophy [11] - [18] [29] [45], as S-V represents a necessary synthesis of metaphysics (understood as formal axiology) with universal philosophical ontology, and with such universal philosophical epistemology, which recognizes not only empirical but also a *priori* knowledge and combines the two kinds of knowledge consistently. Certainly, synthesizing the mentioned philosophical disciplines while philosophical grounding sciences in general and physics in particular is deviating the positivism on principle. What can one gain from such unhabitual synthesizing? From such paradigm-breaking synthesis the one can gain knowledge of existence of the psychologically unexpected possibility (a hidden “mole hole”) for perfectly logical deductive inferring “must” (or “good”) from “is”, and also for the converse logical deriving “is” from “must” (or “good”) in the formal axiomatic epistemology-and-axiology theory S-V. Certainly, the wonderful “mole hole” exists (and can be exploited fruitfully) only under some *quite extraordinary concrete condition*, namely, if and only if the knowledge under consideration is *not empirical* but *pure a priori*. Systematical investigating S-V (formal proving its theorems) has shown that, in S-V, if and only if the knowledge under consideration is *not empirical* but *pure a priori*, then the *statements of existence* (“is”-propositions), the *statements** of duty* (“must”-propositions), and the proper *axiological statements *of positive value (“is good”-propositions) exemplified, respectively, by *q*, *Oq*, *Gq*, are logically equivalent and, consequently, mutually substitutable for each other. Hence, for instance, under the indicated *quite extraordinary concrete condition*, substituting “must” for “is” is quite rational in talks and writings of *pure a priori *knowledge. Such abstract theoretical conclusion which appeared in the present article “at the tip of a pen” can be exemplified by the following citation from “Critique of Pure Reason”.

Kant writes: “In all communication of motion, action and reaction *must* always be equal” ( [31], p. 18). In the cited Kant’s proposition, the word “*must*” is italicized by me to highlight the sign of proper *deontic* modality used by Kant instead of the sign of existence. This remarkable linguistic situation is a very important signal of Kant’s violating the so-called “Hume Guillotine”—the principle of logical separation (logically unbridgeable gap) between *statements of existence* (“is”-propositions) and corresponding* statements of duty* (“must”-propositions). Certainly, the today dominating formulation of “the Guillotine” has been *ascribed *to D. Hume by his interpreters (opponents and proponents). However, there are some solid grounds for such ascribing in Hume’s sceptic doctrine of *empirical *morals, *positive* jurisprudence, and *empirical *knowledge of nature [46] [47] [48].

Kant used to criticize Hume’s empiricism systematically. For instance, with respect to philosophy of nature (theoretical physics), he has written the following: “It has hitherto been assumed that our cognition must conform to the objects; but all attempts to ascertain anything about these objects *a priori*, by means of conceptions, and thus to extend the range of our knowledge, have been rendered abortive by this assumption. Let us then make an experiment whether we may not be more successful in metaphysics, if we assume that the objects must conform to our cognition” ( [31], p. 7). Another relevant citation from Kant’s writings: “Even the main proposition that has been elaborated throughout this entire part, already leads by itself to the proposition: that the highest legislation for nature must lie in our self, *i.e.*, in our understanding, and that we must not seek the universal laws of nature from nature by means of experience, but, conversely, must seek nature, as regards its universal conformity to law, solely in the conditions of the possibility of experience that lie in our sensibility and understanding; …” ( [33], p. 71). Finally, it is relevant to take into an account the following Kant’s statement: “We must, however, distinguish empirical laws of nature, which always presuppose particular perceptions, from the pure or universal laws of nature, which, without having particular perceptions underlying them, contain merely the conditions for the necessary uniﬁcation of such perceptions in one experience; with respect to the latter laws, nature and possible experience are one and the same, and since in possible experience the lawfulness rests on the necessary connection of appearances in one experience (without which we would not be able to cognize any object of the sensible world at all), and soon the original laws of the understanding, then, even though it sounds strange at first, it is nonetheless certain, if I say with respect to the universal laws of nature: *the understanding does not draw its *(*a priori*)* laws from nature*,* but **prescribes **them to it*” ( [33], p. 71-72).

Attentively analyzing all the above-provided citations from Kant’s writings, it is easy to notice and recognize that while writing of *pure a priori* knowledge of nature, Kant has used the *deontic* modality “must (obligatory, prescribed)” as a synonym of/for the alethic modality “necessary”. Was it a contingent blunder by negligence? I believe that no: it was not a contingent mistake but a necessary action accomplished on principle. But, generally speaking, in modal logic, the two kinds of modalities (
$O\beta \text{}and\text{}\square \text{\hspace{0.17em}}\beta $ ) are not logically equivalent [49], consequently, in relation to the above-provided citations, there is a possibility of accusing Kant of committing the blunder in philosophical (modal) logic. However, the odd Kant’s using “necessary” and “prescribed” as logically equivalent modalities while his discourse of *pure a priori* knowledge of necessarily universal laws of nature can be successfully explained and completely vindicated in S-V by the theorem scheme
$\left(A\alpha \supset \left(O\beta \leftrightarrow \square \text{\hspace{0.17em}}\beta \right)\right)$, in which the special condition of/for the equivalence is manifestly indicated, namely, the condition (Aα) of *a-priori*-ness of knowledge. Thus, in perfect accordance with Kant, who has affirmed that the Third Newton Law is an *a-priori* known necessarily universal law of nature prescribed to nature by physicist’s understanding, from the *formal-axiological analog* of the Third Newton Law *it follows logically* in S-V that a vectored force of action of *y* on (movement of *x*) exists if and only if the oppositely vectored force of action of *x* on (movement of *y*) exists. Certainly, the statement “existence of force of action of *y* on (movement of *x*) is logically equivalent to existence of force of action of *x* on (movement of *y*)” is a statement of what is. But this statement of existence is *logically derived* in the present article from *formal-axiological* and *deontic *premises owing to the wonderful “mole-hole” discovered (or created) in S-V. From the pure theoretic viewpoint, it does not matter whether this “mole-hole” is discovered accidentally or created (“dug”) intentionally in [37]. What really matters is actual existence of the “mole-hole” which could be used by theorists systematically. In this respect, not only
$\left(A\alpha \supset \left(O\beta \leftrightarrow \square \text{\hspace{0.17em}}\beta \right)\right)$, but also the wonderful theorem schemes
$\left(A\alpha \supset \left(G\beta \leftrightarrow O\beta \right)\right)$, and
$\left(A\alpha \supset \left(G\beta \leftrightarrow \square \text{\hspace{0.17em}}\beta \right)\right)$, are worth being taken into an account.

4.2. Formal Axiomatic Epistemology Theories X, S, S+C, S-V, and the Controversy between O. Neurath and K. Popper about Philosophy of Science

The hitherto never published substantially new investigation result reported above in the paragraph 3 of this article, is obtained deductively in S-V due to some special aspects of some of the nontrivial axiom schemes, namely, AX-12 and AX-13. Up to the present time, the axiom-schemes AX-12 and AX-13 have been never published and discussed elsewhere. However, in S-V, there are also some other nontrivial axiom-schemes, namely, AX-3:
$A\alpha \leftrightarrow \left(K\alpha \&\left(\neg \text{\hspace{0.17em}}\diamond \text{\hspace{0.17em}}\neg \text{\hspace{0.17em}}\alpha \&\neg \text{\hspace{0.17em}}\diamond \text{\hspace{0.17em}}S\alpha \&\square \text{\hspace{0.17em}}\left(\beta \leftrightarrow \Omega \beta \right)\right)\right)$ and AX-4:
$E\alpha \leftrightarrow \left(K\alpha \&\left(\diamond \text{\hspace{0.17em}}\neg \text{\hspace{0.17em}}\alpha \vee \diamond \text{\hspace{0.17em}}S\alpha \vee \neg \text{\hspace{0.17em}}\square \text{\hspace{0.17em}}\left(\beta \leftrightarrow \Omega \beta \right)\right)\right)$, some special aspects of which are worth discussing. The axiom-schemes AX-3 and AX-4, which belong to (are common for) the logically formalized *axiomatic epistemology theories *Ξ [39], S [37], S+C [38], and S-V (see the above-given definition), are ground-breaking (challenge-making) for the dominating (habitual) paradigm in proper philosophical theory of knowledge.

In the present Section 4.2 of this article, let us discuss the special aspects of these axiom schemes. By the above-given definition, in S-V, AX-3, represents an exact criterion (complex one) of *a-priori*-ness of knowledge; AX-4, represents an exactly formulated complex criterion of *empirical*-ness of knowledge. By virtue of the two indicated axiom schemes, the *a-priori* knowledge and the *empirical *knowledge are separated effectively and connected logically within one universal theory of knowledge.

The controversy mentioned in the title of this section of the article has been related to *science* understood as *empirical* cognition of the world as totality of *facts*. According to the old tradition (custom) in epistemology, there are only two criterions of proper *empirical* (in particular, proper *scientific*) knowledge, namely, its *verifiability* and its *falsifiability*. In the axiom-scheme AX-4, devoted to proper *empirical* (proper *scientific*) knowledge, the *verifiability* criterion is represented by the disjunct àSα, and the* falsifiability* criterion is represented by the disjunct àØα.

In the axiom-scheme AX-3, devoted to pure *a priori *knowledge (proper rational one), *impossibility of sensual verification* of a knowledge as a *necessary* condition of the knowledge’ s being *a priori* is represented by the conjunct
$\neg \text{\hspace{0.17em}}\diamond \text{\hspace{0.17em}}S\alpha $, and *impossibility of falsification* of a knowledge as a *necessary* condition of the knowledge’ s being *a priori* is represented by the conjunct
$\neg \text{\hspace{0.17em}}\diamond \text{\hspace{0.17em}}\neg \text{\hspace{0.17em}}\alpha $.

Is the conjunction
$\left(\neg \text{\hspace{0.17em}}\diamond \text{\hspace{0.17em}}\neg \text{\hspace{0.17em}}\alpha \&\neg \text{\hspace{0.17em}}\diamond \text{\hspace{0.17em}}S\alpha \right)$ a *necessary* *and sufficient *condition of *a-priori*-ness of knowledge of α? The question only seems trivial (it looks too simple from the viewpoint of the very old epistemic paradigm; but, generally speaking, this question is nontrivial one worthy of pondering over. From the habitual point of view confined within the dominating paradigm in epistemology, the answer to the question is positive; this is an “irrefutable presumption” underlying the paradigm. Since ancient times to our days, possibility of existence of some other (significantly different but quite exact and objective) special criterions of *empirical* (*scientific*) knowledge has been not well-recognized; it has been either missed or ignored. Thus, the set of quite exact objective criterions of *empirical-ness* (*scientifical-ness*) has been reduced to the two: *verifiability* and *falsifiability*. Hence, according to the old but still dominating paradigm, if knowledge is neither verifiable nor falsifiable, then it is not *empirical* (*scientific*) one. Therefore, being subjected to (or guided by) the old tradition (custom) in philosophical epistemology, Kant’s discourse (of knowledge in proper mathematics and logic) had arrived necessarily to the following conclusion: any *proper mathematical knowledge is not empirical but* *pure a priori*, as it is neither falsifiable nor verifiable by sensual experience. (That is why, in particular, according to the dominating semantics of contemporary natural English language, although physics is a science, proper mathematics is not a science.)

Within the two-fold-criterion paradigm in philosophy of science, some thinkers have concentrated mainly on discussing *possibility of verification by sensual experience* [16] [17] [18] [29], etc., and some thinkers have concentrated mainly on discussing *possibility of falsification*. For example, K. Popper [50] [51] is well-known as one of those scientists who have been elaborating and popularizing mainly the falsification-ism emphasizing that scientificalness (empirical-ness) of knowledge implies its falsifiability, hence, impossibility of falsification of knowledge impliesits being not a proper *scientific* (actually empirical) knowledge.

Thus, it is a fact of history of philosophy of science that Popper has been intentionally developing *the falsification-ism as an alternative to **the verificationism* [50] [51]. However, it is also a fact of history of philosophy of science that O. Neurath [45] has criticized Popper for being too fixed (excessively concentrated) on *falsifiability* of knowledge as a criterion of its scientificalness. Neurath has insisted that there is a *variety* of qualitatively different forms of *empirical* knowledge, and this variety is not completely reducible to falsifiable knowledge [45]. Of the Popper-Neurath debate on *the falsification-ism as an alternative to the verification-ism* see also [52]. In my opinion, the discrepancy between Popper’s and Neurath’s philosophies of science is well-modeled by the disjunct
$\neg \text{\hspace{0.17em}}\square \text{\hspace{0.17em}}\left(\beta \leftrightarrow \Omega \beta \right)$ in the axiom-scheme AX-4. Accepting this axiom-scheme necessitates definitely *negative* answering to the above-formulated nontrivial question of *sufficiency* of the condition
$\left(\diamond \text{\hspace{0.17em}}\neg \text{\hspace{0.17em}}\alpha \vee \diamond \text{\hspace{0.17em}}S\alpha \right)$ for empirical-ness of knowledge, namely, according to AX-4, knowledge can be empirical (scientific) even when it is neither verifiable nor falsifiable one. Certainly, Neurath has not formulated the alternative
$\neg \text{\hspace{0.17em}}\square \text{\hspace{0.17em}}\left(\beta \leftrightarrow \Omega \beta \right)$ manifestly as it has not been available to him at all. For the first time, the alternative
$\neg \text{\hspace{0.17em}}\square \text{\hspace{0.17em}}\left(\beta \leftrightarrow \Omega \beta \right)$ has been invented (deliberately constructed), manifestly formulated, and inserted into the relevant axiom-schemes of the multimodal axiomatic epistemology theories Ξ, S, S+C in [37] [38] [39], respectively. Nevertheless, the opponent of Popper could be considered as a creator of the not quite clear guess (abstract intuitive hypothesis) that, generally speaking, the compound objective criterion of scientificalness (empirical-ness) of knowledge is made up not by the two alternatives exclusively but by many (more than two) qualitatively different ones; reducing the criterion to the pair is not adequate. In the theories Ξ, S, S+C, S-V, Neurath’s vague intuition-guess has been clarified, explicated, substantially transformed, and embodied into the precisely formulated disjunct
$\neg \text{\hspace{0.17em}}\square \text{\hspace{0.17em}}\left(\beta \leftrightarrow \Omega \beta \right)$ which is a very important (heuristically significant) special aspect of the nontrivial axiom-scheme AX-4.

5. Conclusions

From the above-said the following conclusions follow logically. Within the relevant physical interpretation of the formal theory S-V, such a *formal-axiological* *equation* can be constructed and justified by computing relevant evaluation-functions, which equation is a *formal-axiological analog* of the Third Newton’s Law of mechanics. Moreover, from the above-presented results, it follows logically that the Third Newton’s Law is formally derivable in the above-defined formal axiomatic theory S-V (given its relevant physical interpretation) from conjunction of the two nontrivial assumptions precisely formulated and justified in algebra of formal axiology and in the axiomatic epistemology. These nontrivial conclusions are challenging for those who are completely determined by the dominating paradigm grounded on the presumption of absolute impossibility of logical bridging the gap between “is” and “is good” (*i.e.* between ontology and axiology, respectively). According to the above-said, the impossibility is not absolute but relative, as there is a hitherto unknown “mole-hole” in S-V for logical bridging the gap in spite of “Hume’s Guillotine”. The “Guillotine” is quite a universal principle for the realm of *empirical* knowledge exclusively, while the “mole-hole” is located within the domain of *pure a-priori* knowledge exclusively, *i.e.* beyond the realm of *empirical* knowledge.

Taking the above-said into an account, I guess that it is a verisimilar hypothesis that the “mole-hole” created and deliberately used in the present article for logically deriving the Third Newton’s Law (in relevantly interpreted S-V) from conjunction of 1) the epistemic assumption of *a-priori*-ness of knowledge and 2) the relevant *formal-axiological equation*, can be used again in relation to another strictly universal physical law belonging to the system of *pure a-priori* knowledge of nature. Which necessarily universal physical law is meant in the hypothesis? Well-grounded answering this nontrivial question necessitates future investigations in both physics and applied mathematics.

Acknowledgements

I would like to express my sincere gratitude to colleagues belonging to the faculty of philosophy of the university of Helsinki (Finland) and especially to Georg Henrik von Wright, who’s systematical critique of my unhabitual two-valued algebra of formal axiology of actions (during 10 months of my being a visiting scientist in Helsinki university in 1985) had been heuristically significant for explicating and developing my unusual conception further. It is a good luck of mine that I have had systematical talks with G.H. von Wright (during several months) on the theme of my scientific research visit, namely, “Modal logic of norms, of evaluations, and of preferences”. With respect to investigating this concrete theme, Helsinki University had been the right place, and G.H. von Wright had been the right person to talk with. Unfortunately, today he is not with us materially, but he is still with us intellectually. Therefore, it is my pleasure to express my gratefulness to him and to his colleagues, friends, and folks. Also, I had several short communications on my two-valued algebra of formal axiology of actions with Jaakko Hintikka. In particular, in May 1985, during our private talk in Helsinki, he evaluated my two-valued algebra of formal ethics of actions as “an elegant analogy with Boolean algebra of formal logic of propositions”. During times of doubts this evaluation by Jaakko Hintikka supported me psychologically. Therefore, I would like to acknowledge my gratitude to him as well.

Conflicts of Interest

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

[1] | Brouwer, L.E.J. (1975) On the Unreliability of the Logical Principles. In: Heyting, A., Ed., The Collected Works of L.E.J. Brouwer, North-Holland, Amsterdam, 107-111. |

[2] | Brouwer, L.E.J. (1983) Intuitionism and Formalism. In: Benacerraf, P. and Putnam, H., Eds., Philosophy of Mathematics, Cambridge University Press, Cambridge, 77-89. |

[3] | Poincaré, H. (1994) Science and Hypothesis. In: Adler, M.J., Ed., Great Books of the Western World Vol. 56: 20th Century Natural Science, Encyclopedia Britannica, Inc., Chicago; London, 1-70. |

[4] | Poincaré, H. (2013) The Foundations of Science: Science and Hypothesis, the Value of Science, Science and Method. The Science Press, New York. |

[5] | Hilbert, D. (1990) Foundations of Geometry [Grundlagen der Geometrie]. Open Court Publishing Co., La Salle, IL. |

[6] | Hilbert, D. (1996) Axiomatic Thought. In: Ewald, W.B., Ed., From Kant to Hilbert: A Source Book in the Foundations of Mathematics, Oxford University Press, Oxford, 1105-1115. |

[7] | Hilbert, D. (1996) The New Grounding of Mathematics: First Report. In: Ewald, W.B., Ed., From Kant to Hilbert: A Source Book in the Foundations of Mathematics, Oxford University Press, Oxford, 1115-1134. |

[8] | Hilbert, D. (1996) The Logical Foundations of Mathematics. In: Ewald, W.B., Ed., From Kant to Hilbert: A Source Book in the Foundations of Mathematics, Oxford University Press, Oxford, 1134-1147. |

[9] | Hilbert, D. (1996) Logic and the Knowledge of Nature. In: Ewald, W.B., Ed., From Kant to Hilbert: A Source Book in the Foundations of Mathematics, Oxford University Press, Oxford, 1157-1165. |

[10] | Hilbert, D. (1996) On the Infinite. In: Ewald, W.B., Ed., From Kant to Hilbert: A Source Book in the Foundations of Mathematics, Oxford University Press, Oxford, 367-392. |

[11] |
Carnap, R. (1931) Overcoming Metaphysics by Logical Analysis of Language [überwindung der Metaphysik durch logische Analyse der Sprache]. Erkenntnis, 2, 219-241. https://doi.org/10.1007/BF02028153 |

[12] | Carnap, R. (1935) The Rejection of Metaphysics. In: Weitz, M., (Ed.), 20th-Century Philosophy: The Analytic Tradition, Free Press, New York, 206-220. |

[13] | Carnap, R. (1956) Meaning and Necessity: A Study in Semantics and Modal Logic. University of Chicago Press, Chicago and London. |

[14] | Carnap, R. (1966) Philosophical Foundations of Physics: An Introduction to the Philosophy of Science. Basic Books, New York. |

[15] | Carnap, R. (1967) The Logical Structure of the World. Pseudo-Problems in Philosophy. University of California Press, Berkeley and Los Angeles. |

[16] |
Schlick, M. (1974) General Theory of Knowledge. Springer, Vienna. https://doi.org/10.1007/978-3-7091-3099-5 |

[17] | Schlick, M. (1979) Philosophical Papers (Volume I). D. Reidel, Dordrecht. |

[18] | Schlick, M. (1979) Philosophical Papers (Volume II). D. Reidel, Dordrecht. |

[19] |
Carson, E. and Huber, R. (Eds.) (2006) Intuition and the Axiomatic Method. Springer, Dordrecht. https://doi.org/10.1007/1-4020-4040-7 |

[20] |
Quinn, F. (2012) A Revolution in Mathematics? What Really Happened a Century Ago, and Why It Matters Today? Notices of the American Mathematical Society, 59, 31-37. https://doi.org/10.1090/noti787 |

[21] |
Hintikka, J. (2011) What Is the Axiomatic Method? Synthese, 183, 69-85. https://doi.org/10.1007/s11229-009-9668-8 |

[22] | Ferreira, F., Kahle, R. and Sommaruga, G. (Eds.) (2021) Axiomatic Thinking I. Springer Nature Switzerland AG, Cham. |

[23] |
Bull, R. and Segerberg, K. (1984) Basic Modal Logic. In: Gabbay, D. and Guenthner, F., Eds., Handbook of Philosophical Logic, Vol. II: Extensions of Classical Logic, D. Reidel Publishing Company, Dordrecht, 1-88. https://doi.org/10.1007/978-94-009-6259-0_1 |

[24] | Corry, L. (2004) David Hilbert and the Axiomatization of Physics (1898-1918): From Grundlagen der Geometrie to Grundlagen der Physik. Springer, Dordrecht, 530 p. |

[25] | Tarski, A., Henkin, L. and Suppes, P. (Eds.) (1959) The Axiomatic Method with Special Reference to Geometry and Physics. North-Holland, Amsterdam. |

[26] | Gunther, M. (2005) The Zurich Axioms: The Rules of Risk and Reward Used by Generations of Swiss Bankers. Harriman Publishing House LTD, Petersfield. |

[27] | Woodger, J.H. (1937) The Axiomatic Method in Biology. The University Press, Cambridge. |

[28] |
Weingartner, P. (2021) An Axiomatic Study of God: A Defense of the Rationality of Religion. De Gruyter, Berlin. https://doi.org/10.1515/9783110717983 |

[29] | Mach, E. (1919) The Science of Mechanics. A Critical and Historical Account of Its Development. Open Court Publishing Co., Chicago; London. |

[30] | Newton, I. (1994) Mathematical Principles of Natural Philosophy. In: Adler, M.J., Ed., Great Books of the Western World. Vol. 32: Newton, Huygens, Encyclopedia Britannica, Inc., Chicago; London, 1-372. |

[31] | Kant, I. (1994) The Critique of Pure Reason. Fundamental Principles of the Metaphysics of Morals. The Critique of Practical Reason. Preface and Introduction to the Metaphysical Elements of Ethics. General Introduction to the Metaphysics of Morals. The Science of Right. The Critique of Judgement. In: Adler, M.J., Ed., Great Books of the Western World. Vol. 39: Kant, Encyclopedia Britannica, Inc., Chicago; London, 1-613. |

[32] | Kant, I. (1996) Prolegomena to Any Future Metaphysics: In Focus. Routledge, London; New York. |

[33] |
Kant, I. (2004) Metaphysical Foundations of Natural Science. Cambridge University Press, Cambridge; New York. https://doi.org/10.1017/CBO9780511809613 |

[34] |
Galilei, G. (1967) Dialogue Concerning the Two Chief World Systems—Ptolemaic and Copernican. University of California Press, Berkeley. https://doi.org/10.1525/9780520342941 |

[35] |
Descartes, R. (1985) Principles of Philosophy. In: Cottingham, J., Stoothoff, R. and Murdoch, D., Eds., The Philosophical Writings of Descartes, Cambridge University Press, Cambridge; London; New York, 177-292. https://doi.org/10.1017/CBO9780511805042.007 |

[36] |
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 |

[37] | Lobovikov, V.O. (2020) Knowledge Logic and Algebra of Formal Axiology: A Formal Axiomatic Epistemology Theory Sigma Used for Precise Defining the Exotic Condition under Which Hume-and-Moore Doctrine of Logically Unbridgeable Gap between Statements of Being and Statements of Value is Falsified. Antinomies, 4, 7-23. |

[38] |
Lobovikov, V.O. (2021) A Logically Formalized Axiomatic Epistemology System Σ+C and Philosophical Grounding Mathematics as a Self-Sufficing System. Mathematics, 9, Article No. 1859. https://doi.org/10.3390/math9161859 |

[39] |
Lobovikov, V.O. (2018) Proofs of Logic Consistency of a Formal Axiomatic Epistemology Theory Ξ, and Demonstrations of Improvability of the Formulae (Kq → q) and "(" q → q) in It. Journal of Applied Mathematics and Computation, 2, 483-495. https://doi.org/10.26855/jamc.2018.10.004 |

[40] | Ivin, A.A. (1970) Foundations of Evaluation Logic [Osnovanija logiki ocenok]. Izdatel’stvo Moskovskogo Universiteta, Moscow. (in Russian) |

[41] | Lobovikov, V.O. (2007) Mathematical Ethics, Metaphysics, and the Natural Law (Algebra of Metaphysics as Algebra of Formal Axiology) [Matematicheskaya etika, metafizika i estestvennoe pravo (Algebra metafiziki kak algebra formal’noi aksiologii)]. Institute of Philosophy and Law of the Ural Branch of Russian Academy of Sciences, Yekaterinburg. (in Russian) |

[42] | Lobovikov, V.O. (2016) A Structural-Functional Analogy between Logic and Pure A-Priori Knowledge of Nature, Exemplified by the Third Newton’s Law of Mechanics (Implication and Correction in Logic as Vector Operations, and the Third Newton’s Law as the Law of Contraposition) [Strukturno-funkcional’naya analogiya mezhdu logikoj i chistym estestvoznaniem a priori na primere tret’ego zakona N’yutona (Implikaciya i korrekciya v logike kak vektornye operacii, i tretij zakon N’yutona kak zakon kontrapozicii)]. Proceedings of Ural Federal University. Series 3: Social Sciences, 11, 31-44. (in Russian) |

[43] |
Lobovikov, V.O. (2021) Formal Inferring the Law of Conservation of Energy from Assuming A-Priori-Ness of Knowledge in a Formal Axiomatic Epistemology System Sigma. Journal of Applied Mathematics and Physics, 9, 1011-1040. https://doi.org/10.4236/jamp.2021.95070 |

[44] | Mendelson, E. (1966) Introduction to Mathematical Logic. 2nd Edition, D. Van Nostrand Co., Inc., Princeton; Toronto; New York; London. |

[45] |
Neurath, O. (1983) Pseudorationalism of Falsification. In: Cohen, R.S. and Neurath, M., Eds., Philosophical Papers 1913-1946, D. Reidel, Dordrecht, 121-131. https://doi.org/10.1007/978-94-009-6995-7_10 |

[46] | Hume, D. (1874) A Treatise of Human Nature Being an Attempt to Introduce the Experimental Method of Reasoning into Moral Subjects. In: Green, T.H. and Grose, T.H., Eds., The Philosophical Works of David Hume in Four Volumes. Vol. II, Longmans, Green, and Co., London, 1-374. |

[47] | Hume, D. (1994) An Enquiry Concerning Human Understanding. In: Adler, M.J., Ed., Great Books of the Western World. Vol. 33, Encyclopedia Britannica, Inc., Chicago; London, 451-509. |

[48] | Hume, D. (1998) An Enquiry Concerning the Principles of Morals. Oxford University Press, Oxford. |

[49] | Wright, G.H. (1983) Practical Reason: Philosophical Papers, Vol. I. Basil Blackwell, Oxford. |

[50] | Popper, K.R. (1963) Conjectures and Refutations: The Growth of Scientific Knowledge. Routledge, London. |

[51] | Popper, K.R. (2002) The Logic of Scientific Discovery. Routledge, London & New York. |

[52] |
Cat, J. (1995) The Popper-Neurath Debate and Neurath’s Attack on Scientific Method. Studies in the History and Philosophy of Science Part A, 26, 219-250. https://doi.org/10.1016/0039-3681(94)00038-B |

Journals Menu

Contact us

customer@scirp.org | |

+86 18163351462(WhatsApp) | |

1655362766 | |

Paper Publishing WeChat |

Copyright © 2023 by authors and Scientific Research Publishing Inc.

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.