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

被引：1

作者：

Lobovikov, V. O. ^{[1
]}

机构：

[1] Russian Acad Sci, Ural Branch, Inst Philosophy & Law, Ekaterinburg, Russia

来源：

VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-FILOSOFIYA-SOTSIOLOGIYA-POLITOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOSOPHY SOCIOLOGY AND POLITICAL SCIENCE | 2020年 / 55卷

关键词：

formal axiomatic epistemology theory; two-valued algebra of formal axiology; formal-axiological equivalence; a-priori knowledge; existence of God;

D O I：

10.17223/1998863X/55/1

中图分类号：

C [社会科学总论];

学科分类号：

03 ; 0303 ;

摘要：

For the first time a precise definition is given to the Sigma formal axiomatic theory, which is a result of logical formalization of philosophical 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.

引用

页码：5 / 12

页数：8