The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy within a logically formalized axiomatic epistemology-and-axiology theory Sigma from a precisely defin...The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy within a logically formalized axiomatic epistemology-and-axiology theory Sigma from a precisely defined assumption of a-priori-ness of knowledge. For realizing this aim, the following work has been done: 1) a two-valued algebraic system of formal axiology has been defined precisely and applied to proper-philosophy of physics, namely, to an almost unknown (not-recognized) formal-axiological aspect of the physical law of conservation of energy;2) the formal axiomatic epistemology-and-axiology theory Sigma has been defined precisely and applied to proper-physics for realizing the above-indicated purpose. Thus, a discrete mathematical model of relationship between philosophy of physics and universal epistemology united with formal axiology has been constructed. Results: 1) By accurate computing relevant compositions of evaluation-functions within the discrete mathematical model, it is demonstrated that a formal-axiological analog of the great conservation law of proper physics is a formal-axiological law of two-valued algebra of metaphysics. (A precise algorithmic definition of the unhabitual (not-well-known) notion “formal-axiological law of algebra of metaphysics” is given.) 2) The hitherto never published significantly new nontrivial scientific result of investigation presented in this article is a formal logical inference of the law of conservation of energy within the formal axiomatic theory Sigma from conjunction of the formal-axiological analog of the law of conservation of energy and the assumption of a-priori-ness of knowledge.展开更多
The <i>general purpose of the research</i>—systematical clarifying and explicating the too vague proper philosophical concepts of space, void, matter, motion, inertia, for making a logical harmony between...The <i>general purpose of the research</i>—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 <i>special purpose of the research</i>—invention (construction) of a <i>formal inference of the well-known Newton’s first law of mechanics</i> within a logically formalized axiomatic epistemology system from a set of precisely defined presumptions. For realizing this aim <i>the following work has been done</i>: 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. <i>Research results</i>: The main hitherto not published significantly new nontrivial scientific result of applied investigations presented in this article is a <i>formal inference of the well-known Newton’s first law of mechanics</i> within the formal axiomatic epistemology system Sigma from conjunction of the <i>formal-axiological analog</i> of the proper-law-of-mechanics (which <i>analog</i> is the <i>formal-axiological law</i> 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 “<i>law of metaphysics</i>” in the algebraic system of metaphysics as formal axiology;a <i>formal-axiological equivalence</i> 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) <i>x</i>”;“speed of <i>x</i>”;“vector of <i>x</i>”;“velocity of <i>x</i>”;“magnitude of <i>x</i>”;“finiteness (definiteness) of <i>x</i>”;“dynamical closed-ness (isolated-ness) of <i>x</i>”;“constant-ness, immutability, conservation of <i>x</i>”.展开更多
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...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.展开更多
The continuous debate on the formal rule of law and the substantive rule of law in the construction of the rule of law in China not only affects the understanding of the connotation of the rule of law in China,but als...The continuous debate on the formal rule of law and the substantive rule of law in the construction of the rule of law in China not only affects the understanding of the connotation of the rule of law in China,but also the choice of the path for the development of the rule of law in China.In the new stage of “comprehensively advancing the Law-Based Governance of China”,the process of “comprehensively advancing the Law-Based Governance of China” is also a process of continuously improving the rule of law quality in China.And from this perspective,the relationship between the formal rule of law and the substantive rule of law has got a new meaning.Promoting the substantive rule of law is an important way to realize the development of the rule of law and improve the quality of the rule of law.At the same time,the promotion of the substantive rule of law should follow the “people-centered” nature of the rule of law and the objective is conducive to the promotion of the rule of law and the formation of the “rule of law ecology”.展开更多
文摘The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy within a logically formalized axiomatic epistemology-and-axiology theory Sigma from a precisely defined assumption of a-priori-ness of knowledge. For realizing this aim, the following work has been done: 1) a two-valued algebraic system of formal axiology has been defined precisely and applied to proper-philosophy of physics, namely, to an almost unknown (not-recognized) formal-axiological aspect of the physical law of conservation of energy;2) the formal axiomatic epistemology-and-axiology theory Sigma has been defined precisely and applied to proper-physics for realizing the above-indicated purpose. Thus, a discrete mathematical model of relationship between philosophy of physics and universal epistemology united with formal axiology has been constructed. Results: 1) By accurate computing relevant compositions of evaluation-functions within the discrete mathematical model, it is demonstrated that a formal-axiological analog of the great conservation law of proper physics is a formal-axiological law of two-valued algebra of metaphysics. (A precise algorithmic definition of the unhabitual (not-well-known) notion “formal-axiological law of algebra of metaphysics” is given.) 2) The hitherto never published significantly new nontrivial scientific result of investigation presented in this article is a formal logical inference of the law of conservation of energy within the formal axiomatic theory Sigma from conjunction of the formal-axiological analog of the law of conservation of energy and the assumption of a-priori-ness of knowledge.
文摘The <i>general purpose of the research</i>—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 <i>special purpose of the research</i>—invention (construction) of a <i>formal inference of the well-known Newton’s first law of mechanics</i> within a logically formalized axiomatic epistemology system from a set of precisely defined presumptions. For realizing this aim <i>the following work has been done</i>: 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. <i>Research results</i>: The main hitherto not published significantly new nontrivial scientific result of applied investigations presented in this article is a <i>formal inference of the well-known Newton’s first law of mechanics</i> within the formal axiomatic epistemology system Sigma from conjunction of the <i>formal-axiological analog</i> of the proper-law-of-mechanics (which <i>analog</i> is the <i>formal-axiological law</i> 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 “<i>law of metaphysics</i>” in the algebraic system of metaphysics as formal axiology;a <i>formal-axiological equivalence</i> 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) <i>x</i>”;“speed of <i>x</i>”;“vector of <i>x</i>”;“velocity of <i>x</i>”;“magnitude of <i>x</i>”;“finiteness (definiteness) of <i>x</i>”;“dynamical closed-ness (isolated-ness) of <i>x</i>”;“constant-ness, immutability, conservation of <i>x</i>”.
文摘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.
基金The phased achievements of the Major Project of National Social Science Fund of China“A Study on the Civil Law Spirit and the People-Centered Model of the Construction of Socialist Rule of Law Culture”(14ZDC022)
文摘The continuous debate on the formal rule of law and the substantive rule of law in the construction of the rule of law in China not only affects the understanding of the connotation of the rule of law in China,but also the choice of the path for the development of the rule of law in China.In the new stage of “comprehensively advancing the Law-Based Governance of China”,the process of “comprehensively advancing the Law-Based Governance of China” is also a process of continuously improving the rule of law quality in China.And from this perspective,the relationship between the formal rule of law and the substantive rule of law has got a new meaning.Promoting the substantive rule of law is an important way to realize the development of the rule of law and improve the quality of the rule of law.At the same time,the promotion of the substantive rule of law should follow the “people-centered” nature of the rule of law and the objective is conducive to the promotion of the rule of law and the formation of the “rule of law ecology”.
