о свободе воли, еще раз формально

в продлжение этого. рассмотрим теперь всё то же самое в деонтической модальной логике, которая и существует для рассмотрения подобных проблем. вместо стандартных деонтических операторов ("должно быть так, что" и т.п.) используем логику с операторами, учитывающими агента ("должно быть так, чтобы Агент сделал так, что" и т.п.), т.е. операторами вида stit (A sees to it that).( Read more... )