Классификация теорий чистой позитивной силлогистикистатья Электронная публикация

Работа с статьей


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

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть