Модельные схемы традиционной силлогистики. В.А. Бочаров

В.А. Бочаров
Модельные схемы традиционной силлогистики
Как известно, традиционная силлогистика является экзистенциальной системой в том смысле, что в ней не допускаются пустые позитивные и негативные термины. Это создает проблему подсчета тех модельных схем, на которых проверяется общезначимость выражений традиционной силлогистики в зависимости от числа входящих в выражение терминов. Эта проблема аналогична проблеме подсчета количества строк, на которых должна проверятся общезначимость формул классической логики высказываний в зависимости от числа переменных, входящих в формулу. В статье приводятся формула, которая позволяет определить количество указанных модельных схем для традиционной силлогистики, а также рассказывается о методе получения этой формулы.

по-русски