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