VAC list The method of constructing and investigating discrete mathematical models is applied to the problem of Omniscience-by-God, which is located at the intersection of epistemology, theology, and epistemic logic. For the first time in epistemology and philosophical theology, the tenet of God's Omniscience is formulated by the artificial language of two-valued algebra of metaphysics as formal axiology, and demonstrated as a formal-axiological law of that algebra by “computing” relevant evaluation-functions.
Метод конструирования и исследования дискретных математических моделей применяется к проблеме всеведения Бога, находящейся на стыке эпистемологии, теологии и эпистемической логики. Впервые в эпистемологии и философской теологии догма всеведения Бога формулируется на искусственном языке двузначной алгебры метафизики как формальной аксиологии и обосновывается в качестве формально-аксиологического закона этой алгебры путем «вычисления» соответствующих ценностных функций.
Full text>>