140
140
Я изучал логику неразличимостей именно как (бескванторную) логику с отношениями неразличимости, заданными “ни на чем”. А вопрос о правилах для кванторов при пустом универсуме тоже интересный вопрос, который обсуждался неоднократно.
140
Я изучал логику неразличимостей именно как (бескванторную) логику с отношениями неразличимости, заданными “ни на чем”. А вопрос о правилах для кванторов при пустом универсуме тоже интересный вопрос, который обсуждался неоднократно.