Диссертация

Конькова Антонина Викторовна

Кандидат наук

Статус диссертации

  
Диплом Кандидат наук
  
Решение о выдаче диплома
  
Положительное заключение АК
  
На рассмотрении в АК
  
Положительная защита
18.03.2025 
Объявление опубликовано
26.02.2025 
Принят к защите
24.02.2025 
Заключение комиссии
10.02.2025 
Документы приняты
ФИО соискателя
Конькова Антонина Викторовна
Степень на присвоение
Кандидат наук
Дата и время защиты
23.04.2025 15:00
Место проведения защиты
Москва, Ломоносовский проспект, д.27, корпус 4, философский факультет, ауд. А-518
Научный руководитель
Маркин Владимир Ильич
Доктор наук Профессор
Оппоненты
Бажанов Валентин Александрович
Доктор наук Профессор
Драгалина-Черная Елена Григорьевна
Доктор наук Доцент
Томова Наталья Евгеньевна
Кандидат наук
Место выполнения работы
Московский государственный университет имени М.В.Ломоносова, Философский факультет, Кафедра логики
Специальность
5.7.5. Логика
философские науки
Диссертационный совет
Телефон совета
+7 495 939-20-07

Объект исследования – воображаемая логика Н. А. Васильева и ее взаимосвязь с традиционной силлогистикой. Предмет исследования – аксиоматические системы IL и IL2, являющиеся формальными реконструкциями основного и альтернативного вариантов воображаемой логики. Цель работы – установить адекватность (соответствие) реконструкций воображаемой логики IL и IL2 с оригинальными системами, предложенными Н.А. Васильевым. Выявить взаимосвязь систем воображаемой логики с традиционной силлогистики. В качестве формального инструмента исследования используются апробированные методы формальных семантик и аксиоматических исчислений. Получены следующие научные результаты: В системах IL и IL2 выделены все IL и IL2-валидные. Для IL2 сформулирована система общих правил силлогизма, позволяющих отличать корректные силлогизмы от некорректных. Предложена «воображаемая» логика суждений существования, построена логика ILΥ. Представлен анатилитико-табличный вариант логики ILΥ. Доказано, что исчисление IL2 является консервативным расширением традиционной силлогистики С4.