Warning: file_get_contents(): Filename cannot be empty in /var/www/clients/client21/web30/web/netcat/system/templating/nc_tpl_mixin_cache.class.php on line 357
Warning: file_put_contents(/var/www/ifp.uran.ru/web/netcat_template/css/2/mixins.css): failed to open stream: No such file or directory in /var/www/clients/client21/web30/web/netcat/system/templating/nc_tpl_mixin_cache.class.php on line 357
Warning: chmod(): No such file or directory in /var/www/clients/client21/web30/web/netcat/system/templating/nc_tpl_mixin_cache.class.php on line 359
Warning: filemtime(): stat failed for /var/www/ifp.uran.ru/web/netcat_template/css/2/mixins.css in /var/www/clients/client21/web30/web/netcat/system/templating/nc_tpl_mixin_cache.class.php on line 360
Institute of Philosophy and Law, Ural Branch of the Russian Academy of Sciences / Research Subdivisions / Department of Law / Publications / Applying Logic and Discrete Mathematics to Philosophy of Nature: Precise Defining “Time”, “Matter”, and “Order” in Metaphysics and Thermodynamics
Applying Logic and Discrete Mathematics to Philosophy of Nature: Precise Defining “Time”, “Matter”, and “Order” in Metaphysics and Thermodynamics
Lobovikov V.O. Applying Logic and Discrete Mathematics to Philosophy of Nature: Precise Defining “Time”, “Matter”, and “Order” in Metaphysics and Thermodynamics // Open Journal of Philosophy.– 2021.– Vol. 11. No. 1.– P. 104-124. DOI: 10.4236/OJPP.2021.111009.
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.
