Добро пожаловать на наш углублённый курс по модальной логике. Сегодня мы обсудим одну из наиболее тонких и интересных тем — агенциальную деонтическую логику. Это область, которая объединяет в себе две важные логики: деонтическую — то есть логику обязательного, разрешённого и запрещённого — и агенциальную — логику, в которой акцент делается на том, кто именно совершает действия. Почему это важно? Давайте начнём с простого примера. Представим себе утверждение: «Нельзя целовать жену Абишека на улице»...

Непосредственным результатом революции, произошедшей в логике в конце ХІХ — начале ХХ в., было возникновение теории, получившей со временем название «классическая логика». В ней впервые была реализована идея перенесения в логику тех методов, которые обычно применяются в математике, и прежде всего методов символизации, аксиоматизации и формализации...