Гуманитарные ведомости. Вып. 1(57) 2026 г

Гуманитарные ведомости ТГПУ им. Л. Н. Толстого № 1 (57), апрель 2026 г. дадим стандартную, памятуя, что при восстановлении картина обратная: перед анализатором – только сам вывод): (1) Коррелятивный класс для субъекта и характеризуемый класс для предиката; (2) Подкласс для субъекта и коррелятивно характеризуемый (под)класс для предиката; (3) Подкласс для субъекта и характеризуемый подкласс для предиката, коррелирующего с субъектом. Приведем результирующие примеры вышеупомянутых модусов (Средний термин подчеркнут). (1) Darii: Всякие хищники питаются мясом. Некоторые домашние животные – хищники. Следовательно, некоторые домашние животные питаются мясом . Datisi: Всякие хищники питаются мясом. Некоторые хищники – домашние животные . Следовательно, некоторые домашние животные питаются мясом . (2) Disamis: Некоторые падежные грамматики описывают деривационные отношения. Всякая падежная грамматика – модель синтаксической семантики. Следовательно, некоторые модели синтаксической семантики описывают деривационные отношения . (3) Darapti: Всякий металл электропроводен. Все металлы – элементарные вещества. Следовательно, некоторые элементарные вещества электропроводны . Примеры показывают, что из выявленных трех моделей две (№№2 и 3) содержат по одному модусу, а одна (№1) – два модуса. Это выявлено путем тщательного перебора всех возможных вариантов для каждого модуса: большинство претендентов оказываются непригодными, так содержат ошибки (см. об их типах: [3: Гл. 3]). Это выявляется путем двух видов контроля – интрамодельного и экстрамодельного. При интрамодельном контроле анализируются все конкурирующие и претендующие на правильность модусы, выстроенные по одной и той же модели Средних терминов. Количество отобранных (релевантных, правильных) конкурентов в моделях не превышает двух. В случаях двух релевантных вариантов вывод один и тот же, но принципы получения посылок и их манифестация – разные, ибо фигуры силлогизмов разные. Анализатор вправе выбрать любой из двух вариантов или оба одновременно; при этом никакого противоречия не возникает, так как полученные силлогизмы – разные, а подстановка может быть задана как верная для любой альтернативы. Такая ситуация может послужить дополнительной защитой при дешифровке – наличием проверочного варианта. При экстрамодельном контроле проверяется, нельзя ли конкретно сформулированный вывод восстановить по другим моделям Среднего термина 51