|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Классификация теорий чистой позитивной силлогистикистатья Электронная публикация
- Автор: Шиян Тарас Александрович
- Журнал: Logical Studies
- Номер: 4
- Год издания: 2000
- Аннотация: В статье представлена часть результатов дипломной работы автора, защищенной на кафедре логики философского факультета МГУ в 2000 г. В статье описывается построение структурной систематизации нескольких теорий (в номенклатуре В.И. Маркина: C2, ФC, KC, БС, C4, С3 и С3.1) чистой позитивной силлогистики. Все рассматриваемые теории сформулированы в одном языке и на базе классической логики. Содержательно систематизация представляет соотношение указанных формальных силлогистик по множеству теорем. Формально в основе данной систематизации лежит теоретико-множественное отношение включения, являющееся отношением "естественного" порядка на множестве формальных теорий, понимаемых как дедуктивно замкнутые классы формул. Результаты систематизации представлены в виде диаграмм Хассе. В статье рассматривается также ряд синтаксических расширений и ослаблений исходных силлогистических теорий.
- Добавил в систему: Шиян Тарас Александрович