Диссертация
Конькова Антонина Викторовна
Кандидат наук
Статус диссертации
Доктор наук Профессор
Доктор наук Профессор
Драгалина-Черная Елена Григорьевна
Доктор наук Доцент
Томова Наталья Евгеньевна
Кандидат наук
философские науки
Объект исследования – воображаемая логика Н. А. Васильева и ее взаимосвязь с традиционной силлогистикой. Предмет исследования – аксиоматические системы IL и IL2, являющиеся формальными реконструкциями основного и альтернативного вариантов воображаемой логики. Цель работы – установить адекватность (соответствие) реконструкций воображаемой логики IL и IL2 с оригинальными системами, предложенными Н.А. Васильевым. Выявить взаимосвязь систем воображаемой логики с традиционной силлогистики. В качестве формального инструмента исследования используются апробированные методы формальных семантик и аксиоматических исчислений. Получены следующие научные результаты: В системах IL и IL2 выделены все IL и IL2-валидные. Для IL2 сформулирована система общих правил силлогизма, позволяющих отличать корректные силлогизмы от некорректных. Предложена «воображаемая» логика суждений существования, построена логика ILΥ. Представлен анатилитико-табличный вариант логики ILΥ. Доказано, что исчисление IL2 является консервативным расширением традиционной силлогистики С4.
# | Название | Размер |
---|---|---|
1 | Диссертация | 407 KB |
2 | Автореферат | 261 KB |
3 | Сведения о научных руководителях (консультантах) | 155 KB |
4 | Протокол приема диссертации к защите | 62 KB |
5 | Отзыв научного руководителя (консультанта) | 356 KB |
6 | Сведения об официальных оппонентах, включая публикации | 149 KB |