О ЕДИНСТВЕННОСТИ СУЩЕСТВОВАНИЯ СОВЕРШЕННОГО ФРАГМЕНТА ИЗ 16 СУЖДЕНИЙ В ТРАДИЦИОННОЙ ИНТЕГРАЛЬНОЙ СИЛЛОГИСТИКЕ

Сидоренко О. И.
Общество с ограниченной ответственностью Научно-производственное предприятие «Анфас»

Аннотация. В статье представлено доказательство единственности существования найденного и построенного автором ранее совершенного фрагмента из 16 суждений в традиционной интегральной силлогистике из 50 базисных суждений с различной семантикой. При исследованиях использован метод полного перебора с существенным ограничением числа вариантов путем учета содержательной и силлогистической полноты суждений в совершенных фрагментах, а также применения автопорождающих и взаимно порождающих правил вывода, учитывающих требования силлогистической плотности и однозначности результатов. Указанные правила получены на основе предложенного автором ранее семантического метода решения силлогизмов путем вычисления результирующих отношений. Представлены алгоритмы и приведены конкретные примеры вычислений, в результате которых выяснено, что множество совершенных фрагментов из 16 суждений в традиционной интегральной силлогистике содержит всего один фрагмент. Рассмотрены перспективы дальнейших исследований.

Ключевые слова: силлогизм, силлогистика, результирующие отношения, решение силлогизмов, построение силлогистик.

Volume 5, Issue 1(18) p. 48-57 PDF