Barbara и Celarent — совершенные силлогизмы первой фигуры, их вывод установлен. Darapti в тексте «Первой аналитики» молчит: из двух общих посылок частный вывод не следует без экзистенциальной нагрузки, которую добавляет только традиционное прочтение. Частноотрицательное суждение не обращается, нераспределённый средний термин и сочетание A-E в первой фигуре не дают заключения: во всех трёх случаях ответ «не установлено», а не «ложно», потому что аналитика запрещает вывод, а не утверждает противоположное.
Это пояснение ассистента, а не результат расчёта. Проверяйте выводы по основаниям и источникам ниже.
Проверка условия
Установлено
форма суждения: A — общеутвердительное (παντὶ ὑπάρχειν), E — общеотрицательное (μηδενὶ ὑπάρχειν), I — частноутвердительное (τινὶ ὑπάρχειν), O — частноотрицательное (τινὶ μὴ ὑπάρχειν), плюс два неопределённых (ἀδιόριστον)
Общий субъект фактов ниже
сказуемое сказывается о подлежащем в данной форме
| pred | subj |
|---|---|
| Животное | Человек |
| Человек | Грек |
Первая фигура, обе посылки общеутвердительные: заключение общеутвердительное.
Проверка условия
Установлено
сказуемое сказывается о подлежащем в данной форме
| form | pred | subj |
|---|---|---|
| E | Камень | Человек |
| A | Человек | Грек |
Общеотрицательная большая и общеутвердительная меньшая посылки дают общеотрицательное заключение.
Проверка условия
Не установлено
форма суждения: A — общеутвердительное (παντὶ ὑπάρχειν), E — общеотрицательное (μηδενὶ ὑπάρχειν), I — частноутвердительное (τινὶ ὑπάρχειν), O — частноотрицательное (τινὶ μὴ ὑπάρχειν), плюс два неопределённых (ἀδιόριστον)
Общий субъект фактов ниже
сказуемое сказывается о подлежащем в данной форме
| pred | subj |
|---|---|
| Смертное | Человек |
| Разумное | Человек |
По тексту главы 6 частное заключение из двух общих посылок не выведено: базовое прочтение молчит.
Проверка условия
Установлено
форма суждения: A — общеутвердительное (παντὶ ὑπάρχειν), E — общеотрицательное (μηδενὶ ὑπάρχειν), I — частноутвердительное (τινὶ ὑπάρχειν), O — частноотрицательное (τινὶ μὴ ὑπάρχειν), плюс два неопределённых (ἀδιόριστον)
Общий субъект фактов ниже
сказуемое сказывается о подлежащем в данной форме
| pred | subj |
|---|---|
| Смертное | Человек |
| Разумное | Человек |
Традиционное прочтение добавляет экзистенциальную нагрузку общим суждениям, и Darapti срабатывает.
Проверка условия
Не установлено
сказуемое сказывается о подлежащем в данной форме
Правило обращения главы 2 частноотрицательное суждение не обращает.
Проверка условия
Не установлено
форма суждения: A — общеутвердительное (παντὶ ὑπάρχειν), E — общеотрицательное (μηδενὶ ὑπάρχειν), I — частноутвердительное (τινὶ ὑπάρχειν), O — частноотрицательное (τινὶ μὴ ὑπάρχειν), плюс два неопределённых (ἀδιόριστον)
Общий субъект фактов ниже
сказуемое сказывается о подлежащем в данной форме
| pred | subj |
|---|---|
| Сущность | Животное |
| Сущность | Человек |
Средний термин не распределён ни в одной посылке: заключение не выведено.
Проверка условия
Не установлено
сказуемое сказывается о подлежащем в данной форме
| form | pred | subj |
|---|---|---|
| A | Животное | Человек |
| E | Человек | Лошадь |
Сочетание общеутвердительной и общеотрицательной посылок в первой фигуре ничего не заключает.
Снимок неизменяем: его закрепляет SHA-256 скачиваемого JSON, поэтому дата обращения не нужна.
«Всякое животное смертно, всякий человек животное: следует ли, что всякий человек смертен? И почему из «некоторые люди не животные» не следует «некоторые животные не люди», а из двух общеутвердительных посылок с нераспределённым средним не следует ничего?». Arxo Lens, по состоянию на 31.08.2026. https://lens.arxo.io/a/a_V0VIQLQ2arXRUMxdx1Ot52P0. SHA-256 снимка: ab5dfbd7e8c260fdc8f6e344c3c641e106c0cf7a6809d25464d18ae24731a380.
@misc{arxo-lens-a_V0VIQLQ2arXR,
title = {Всякое животное смертно, всякий человек животное: следует ли, что всякий человек смертен? И почему из «некоторые люди не животные» не следует «некоторые животные не люди», а из двух общеутвердительных посылок с нераспределённым средним не следует ничего?},
howpublished = {Arxo Lens},
url = {https://lens.arxo.io/a/a_V0VIQLQ2arXRUMxdx1Ot52P0},
note = {по состоянию на 31.08.2026; SHA-256 ab5dfbd7e8c260fdc8f6e344c3c641e106c0cf7a6809d25464d18ae24731a380}
}Карточка показывает результат и ведёт к полному разбору; cookies не ставит.
<iframe src="https://lens.arxo.io/embed/a_V0VIQLQ2arXRUMxdx1Ot52P0?lang=ru" width="100%" height="390" loading="lazy" title="Силлогистика Аристотеля — Arxo Lens" style="border:0"></iframe>
Анонимная статистика посещений, без cookies.