Диссертация

Объектом исследования являются различные силлогистические теории, а предметом — построение адекватных соответствующим исчислениям интенсиональных семантик с использованием отношения как классического, так и релевантного следования. В ходе исследования были построены «релевантизированные» интенсиональные семантики для промежуточной системы между ФС и ИФС, семантики с использованием отношения классического и релевантного следования для силлогистических систем С2 и силлогистики Больцано, а также для традиционного и фундаментального фрагментов силлогистики васильевского типа с тремя исходными силлогистическими константами и силлогистики Венна с пятью исходными константами; исследованы их метатеоретические свойства. Целью диссертации является развитие интенсионального подхода к построению силлогистических теорий, особенность которых состоит в том, что в качестве значений общим терминам сопоставляются формулы первопорядкового языка или более простого пропозиционального языка, а условия истинности и ложности атрибутивных высказываний задаются с использованием отношения логического следования между ними.