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...
Опубликовано в: : | Вестник Томского государственного университета. Философия. Социология. Политология № 55. С. 5-12 |
---|---|
Главный автор: | |
Формат: | Статья в журнале |
Язык: | English |
Предметы: | |
Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000722958 Перейти в каталог НБ ТГУ |