Диссертация
Легейдо Мария Михайловна
Кандидат наук
Статус диссертации
Доктор наук Профессор
Доктор наук
Микиртумов Иван Борисович
Доктор наук Доцент
Шалак Владимир Иванович
Доктор наук
философские науки
Объектом исследования являются различные силлогистические теории, а предметом — построение адекватных соответствующим исчислениям интенсиональных семантик с использованием отношения как классического, так и релевантного следования. В ходе исследования были построены «релевантизированные» интенсиональные семантики для промежуточной системы между ФС и ИФС, семантики с использованием отношения классического и релевантного следования для силлогистических систем С2 и силлогистики Больцано, а также для традиционного и фундаментального фрагментов силлогистики васильевского типа с тремя исходными силлогистическими константами и силлогистики Венна с пятью исходными константами; исследованы их метатеоретические свойства. Целью диссертации является развитие интенсионального подхода к построению силлогистических теорий, особенность которых состоит в том, что в качестве значений общим терминам сопоставляются формулы первопорядкового языка или более простого пропозиционального языка, а условия истинности и ложности атрибутивных высказываний задаются с использованием отношения логического следования между ними.
| # | Название | Размер |
|---|---|---|
| 1 | Диссертация | 635 KB |
| 2 | Автореферат | 178 KB |
| 3 | Протокол приема диссертации к защите | 61 KB |
| 4 | Отзыв научного руководителя (консультанта) | 292 KB |
| 5 | Сведения о научных руководителях (консультантах) | 152 KB |
| 6 | Сведения об официальных оппонентах, включая публикации | 139 KB |