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