Lobovikov, V. (2017). A Vector Definition of Implication and a Vector Definition of General Notion “Law of Binary-Operation Contraposition” (A Structural-Functional Analogy between Logic and Pure A-Priori Nature-Philosophy Exemplified by the Principle of Relativity of Velocity of Movement Recognized by Galileo Galilei) [Vektornoe opredelenie implikacii i vektornaya definiciya ponyatiya «zakon kontrapozicii binarnoj operacii» (Strukturno-funkcional’naya analogiya mezhdu logikoj i chistym estestvoznaniem a priori na primere otkrytogo Galileo Galileem principa otnositel’nosti skorosti dvizheniya)]. Scientific Journal “Discourse-P” [Nauchnyj zhurnal “Diskurs-Pi”], 14, 43-60. (In Russian)
https://doi.org/10.17506/dipi.2017.26.1.4360

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.