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 to Philosophical Theology: A Formal Deductive Inference of Affirming God’s Existence from Assuming the A-Priori-ness of Knowledge in the Sigma Formal Axiomatic Theory
Applying Logic to Philosophical Theology: A Formal Deductive Inference of Affirming God’s Existence from Assuming the A-Priori-ness of Knowledge in the Sigma Formal Axiomatic Theory
UDC 16+17+2+51-7
Lobovikov V.O. Applying Logic to Philosophical Theology: A Formal Deductive Inference of Affirming God’s Existence from Assuming the A-Priori-ness of Knowledge in the Sigma Formal Axiomatic Theory // Tomsk state university journal of philosophy, sociology and political science.– 2020.– No. 55.– P. 5-12. VAC list
For the first time a precise definition is given to the Sigma formal axiomatic theory, which is a result of logical formalization ofphilosophical epistemology; and an interpretation of this formal theory is offered. Also, for the first time, a formal deductive proof is constructed in Sigma for a formula, which represents (in the offered interpretation) the statement of God’s Existence under the condition that knowledge is a priori.
Впервые дается точное определение формальной аксиоматической теории Сигма, являющейся результатом логической формализации философской эпистемологии, и предлагается интерпретация этой формальной теории. Также впервые в теории Сигма конструируется формальное дедуктивное доказательство такой формулы, которая, при условии принятия допущения об априорности знания, представляет собой (в указанной интерпретации) утверждение о бытии Бога
VAC list 
