Дискурс Пи (Jul 2020)

Analytical Theology: Deductive Proof of the Theorem of UnDecidability (In A Logically Formalized Axiomatic Theory Sigma) Of Formula [Dx] Representing (In A Relevant Theistic Interpretation) the Statement of God Existence

  • Lobovikov V.O.

DOI
https://doi.org/10.24411/1817-9568-2020-10112
Journal volume & issue
no. 1 (38)

Abstract

Read online

The investigation aim - precise formulating and solving the problem of provability or improvability of statement of existence of God, and also of provability or improvability of negation of this statement in a formal axiomatic system of philosophical epistemology and axiology (general theory of values).The methods of investigation are: logical formalization (of epistemology and axiology); mathematical modeling (of formal axiology), especially, constructing and studying a discrete mathematical model of formal axiology - two-valued algebraic system of evaluation-functions. Results of the investigation: a logical formalization of philosophical epistemology and axiology is accomplished, namely, a formal axiomatic theory Sigma is constructed. Precise definitions of syntax and semantics of the artificial language of formal theory Sigma are formulated, and a theorem of logical consistency of this theory is proved deductively. The formal theory Sigma is used in analytical theology for logical analysis and solution of the debatable philosophical-theological problem of provability of statement of God existence. Scientific novelty of the obtained results consists of the following three parts. Firstly, the proof of theorem of logical consistency of the formal axiomatic theory Sigma is original. Secondly, for the first time, the paper submits a deductive proof of unprovablility of such a formula [Dx] in theory Sigma, which formula represents (in a relevant theistic interpretation of theory Sigma) the statement of existence of God. Thirdly, also for the first time, the paper submits a deductive proof of unprovablility of negation of the formula [Dx] in the theory Sigma, which (negation of [Dx]) represents (in a relevant atheistic interpretation of theory Sigma) negation of the statement of existence of God.

Keywords