Формулировки гёделевского доказательства бытия Бога
Доказательство ведется во второпорядковой модальной логике.
◘ Обозначения:
P(F) - свойство F является позитивным.
&, V, →, ~ - конъюнкция, дизъюнкция, импликация и отрицание соответственно
◊ - возможно (т.е. имеет место хотя бы в одном возможном мире)
□ - необходимо (т.е. имеет место во всех
(
Read more... )