Структурные описания множеств формальных теорий
(на материале формальных силлогистик)

Автореферат диссертации (pdf, 218 kb).

Оглавление диссертации

Список сокращений и некоторых обозначений ____________________________________ 3

Введение ____________________________________________________________________ 4

I. Теоретико-методологические основания

§1. Реляционные систематизации __________________________________________ 14
§2. Построение структурных описаний ______________________________________ 18
§3. Основные понятия теории формальных теорий ___________________________ 28
§4. Сравнение формальных теорий _________________________________________ 41 (pdf, 404 kb)

II. Структурное исследование языков формальных силлогистик (алфавиты, классы термов, классы формул)

§1. Алфавиты ___________________________________________________________ 45
§2. Термы ______________________________________________________________ 56
§3. Формальные языки (классы формул) _____________________________________ 61
§4. Заключение: системное описание языков _________________________________ 74

III. Чистые позитивные силлогистики в языке LS

§1. Обзор силлогистик в языке LS __________________________________________ 76
§2. Расширения С4: обзор и соотношения с другими теориями __________________ 101
§3. Расширения С4: характеристические семантики ___________________________ 108
§4. О построении счетного класса расширений C₌ ____________________________ 120

IV. Соотношение силлогистик в других языках

§1. Обобщенные силлогистики ____________________________________________ 123
§2. Негативные силлогистики _____________________________________________ 131
§3. Сингулярные силлогистики аристотелевского типа ________________________ 138
§4. Сингулярные силлогистики оккамовского типа ____________________________ 145
§5. Заключение: граф негативных и сингулярных расширений С2, ФС и С4 _______ 151

Заключение _________________________________________________________________ 153

Список литературы __________________________________________________________ 155

Приложение. О некоторых ограничениях формально-математической методологии ____ 166 (pdf, 184 kb)