Некоторые особенности первопорядковой кванторной логики знания и мнения.

Аннотация

В статье обсуждаются некоторые общие черты логики знаний и убеждений первого порядка. Как только такая логика строится как специфическая модальная логика с эпистемическими и доксастическими модальными операторами, правила универсальной инстанциации, экзистенциального обобщения и замены идентичности должны быть изменены, чтобы избежать хорошо известных модальных парадоксов. В статье предлагается рассматривать в качестве подлинных единичных терминов только отдельные описания, для которых доказано эпистемическое (или доксастическое) существование. Такие описания используются с соответствующими контекстуальными определениями, которые отличаются от определений теории Рассела. При предложенном подходе модальные парадоксы не возникают.