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
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 valu...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
Publishing House Discourse-P
2020-07-01
|
| Series: | Дискурс Пи |
| Subjects: | |
| Online Access: |
http://madipi.ru/images/uploads/165-181_Лобовиков.pdf |
| _version_ | 1818307085223329792 |
|---|---|
| author | Lobovikov V.O. |
| author_facet | Lobovikov V.O. |
| author_sort | Lobovikov V.O. |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-13T06:52:46Z |
| format | Article |
| id | doaj.art-c64730c02c7b4e42ada691ce4da7b0cc |
| institution | Directory Open Access Journal |
| issn | 1817-9568 |
| language | Russian |
| last_indexed | 2024-12-13T06:52:46Z |
| publishDate | 2020-07-01 |
| publisher | Publishing House Discourse-P |
| record_format | Article |
| series | Дискурс Пи |
| spelling | doaj.art-c64730c02c7b4e42ada691ce4da7b0cc2022-12-21T23:56:06ZrusPublishing House Discourse-PДискурс Пи1817-95682020-07-011 (38)10.24411/1817-9568-2020-10112432Analytical 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 ExistenceLobovikov V.O.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. http://madipi.ru/images/uploads/165-181_Лобовиков.pdf formal-theory consistency-of-theory un-decidability-of-formula-in-theory unprovability-of-statement-of-existence-of-god un-provability-of-negation-of-statementof-existence-of-god. |
| spellingShingle | Lobovikov V.O. 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 Дискурс Пи formal-theory consistency-of-theory un-decidability-of-formula-in-theory unprovability-of-statement-of-existence-of-god un-provability-of-negation-of-statementof-existence-of-god. |
| title | 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 |
| title_full | 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 |
| title_fullStr | 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 |
| title_full_unstemmed | 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 |
| title_short | 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 |
| title_sort | 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 |
| topic | formal-theory consistency-of-theory un-decidability-of-formula-in-theory unprovability-of-statement-of-existence-of-god un-provability-of-negation-of-statementof-existence-of-god. |
| url |
http://madipi.ru/images/uploads/165-181_Лобовиков.pdf |
| work_keys_str_mv | AT lobovikovvo analyticaltheologydeductiveproofofthetheoremofundecidabilityinalogicallyformalizedaxiomatictheorysigmaofformuladxrepresentinginarelevanttheisticinterpretationthestatementofgodexistence |