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
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 fo...
| Published in: | Вестник Томского государственного университета. Философия. Социология. Политология № 55. С. 5-12 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | English |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000722958 Перейти в каталог НБ ТГУ |