Lobovikov, V. (2009). The Finitism by D. Hilbert, the “Naïve Finitism” by L. Kronecker, and the Metaphysics by Eleates (Parmenides and Melissus), from the Viewpoint of Two-Valued Algebra of Formal Ethics [Finitizm D. Gil’berta, «naivnyj finitizm» L. Kronekera i metafizika eleatov (Parmenida i Melissa) s tochki zreniya dvuznachnoj algebry formal’noj etiki]. Philosophy of Science, 4, 34-46. (In Russian)

has been cited by the following article:

• TITLE: Applying Logic and Discrete Mathematics to Philosophy of Nature: Precise Defining “Time”, “Matter”, and “Order” in Metaphysics and Thermodinamics

  AUTHORS: Vladimir O. Lobovikov

  KEYWORDS: Logic and Discrete Mathematics Applied to Metaphysics, Direction of Time, Algebra of Metaphysics as Formal Axiology, A Priori Knowledge, Logically Formalized Axiomatic Epistemology, Logical Inference, Law of Thermodynamics

  JOURNAL NAME: Open Journal of Philosophy, Vol.11 No.1, February 5, 2021

  ABSTRACT: The overall frame of the study is determined by applying a not-well-known solution of the problem of logical bridging the notorious gap between statements of being and statements of value to philosophical grounds of thermodynamics. The main hitherto not published significantly new nontrivial result presented in this article is a formal logical inference of a proper physical law of thermodynamics in logically-formalized-theory-Sigma from conjunction of a formal-axiological analog of that physical law in algebra of formal axiology and the assumption of a-priori-ness of knowledge. All the necessary means for constructing the mentioned formal logical inference, namely, a two-valued algebraic system of metaphysics as formal axiology, and a logically formalized axiomatic epistemology system called Sigma are defined precisely.