Силлогистика Льюиса Кэрролла с отрицательными терминами

Аннотация

Льюисом Кэрроллом была построена оригинальная силлогистическая теория, отличная от традиционной силлогистики. Причем, он строил свою систему изначально как негативную, т.е. содержащую в списке логических символов ее алфавита терминное отрицание. Это позволило Л. Кэрроллу не рассматривать частноотрицательные высказывания $SoP$ как отдельный вид высказываний, так как они, по его пред- ставлению, эквивалентны частноутвердительным высказываниям с отрицательным предикатом $SiP'$. В предлагаемой статье осуществлена реконструкция силлогистики Льюиса Кэрролла, доказана погружаемость построенной системы в исчисление предикатов посредством «кэрролловской» интерпретации категорических высказываний. Доказательство основано на полученном нами ранее результате погружае- мости системы Негативной фундаметнальной силлогистики в систему Обобщенной позитивной силлогистики а также на факте погружаемости последней в исчисление предикатов.