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 / Publications / Publications / Squaring and Hexagonizing Logical Relations Among Three Different Kinds of Deontic Modality “Obligatory”: A Model for Logically Formalized Axiomatic Epistemology Theory
Squaring and Hexagonizing Logical Relations Among Three Different Kinds of Deontic Modality “Obligatory”: A Model for Logically Formalized Axiomatic Epistemology Theory
Lobovikov V.O. Squaring and Hexagonizing Logical Relations Among Three Different Kinds of Deontic Modality “Obligatory”: A Model for Logically Formalized Axiomatic Epistemology Theory // Proceedings of the 4th International Conference on Contemporary Education, Social Sciences and Humanities (ICCESSH 2019).– Dordrecht: Atlantis Press, 2019. P. 115-120. RSCI
In contrast and complement to the logical square and hexagon by G. Kalinowski modeling logic of norms, in this paper such logical square and hexagon of conceptual opposition are submitted which model logical interconnections among three different kinds of deontic modality “obligatory”. The qualitative differentiation among the three is in accordance with a logically formalized axiomatic epistemology theory. It is proved that the axiomatic theory is consistent and implies substantial difference between a-priori knowledge of obligatory-ness and a-posteriori one. The paper submits a formal inference (in that axiomatic theory) of the logic equivalence of modalities “necessary” and “obligatory” from the assumption that the relevant knowledge is a-priori one. Formal proving that theorem means the conditional equivalence of corresponding deontic and alethic modalities. This is a significant explication and correction of the modality views which many philosophers are used to. Squaring and hexagonizing logical relations among the three different kinds of deontic modality “obligatory” helps to grasp the novel idea effectively.
