VAC list For the first time a precise definition is given to the Sigma formal axiomatic theory, which is a result of logical formalization ofphilosophical 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 formula, which represents (in the offered interpretation) the statement of God’s Existence under the condition that knowledge is a priori.
Впервые дается точное определение формальной аксиоматической теории Сигма, являющейся результатом логической формализации философской эпистемологии, и предлагается интерпретация этой формальной теории. Также впервые в теории Сигма конструируется формальное дедуктивное доказательство такой формулы, которая, при условии принятия допущения об априорности знания, представляет собой (в указанной интерпретации) утверждение о бытии Бога
Full text>>