Barbara и Celarent — совершенные силлогизмы первой фигуры, их вывод установлен. Darapti в тексте «Первой аналитики» молчит: из двух общих посылок частный вывод не следует без экзистенциальной нагрузки, которую добавляет только традиционное прочтение. Частноотрицательное суждение не обращается, нераспределённый средний термин и сочетание A-E в первой фигуре не дают заключения: во всех трёх случаях ответ «не установлено», а не «ложно», потому что аналитика запрещает вывод, а не утверждает противоположное.
This is an assistant explanation, not a calculation result. Check the grounds and sources below.
Condition
Established
quantity and quality of a premiss: A, E, I, O and the two indefinite forms (I.1 24a16-22)
Subject shared by the facts below
the predicate belongs to the subject in the given form
| pred | subj |
|---|---|
| Животное | Человек |
| Человек | Грек |
Первая фигура, обе посылки общеутвердительные: заключение общеутвердительное.
Condition
Established
the predicate belongs to the subject in the given form
| form | pred | subj |
|---|---|---|
| E | Камень | Человек |
| A | Человек | Грек |
Общеотрицательная большая и общеутвердительная меньшая посылки дают общеотрицательное заключение.
Condition
Not established
quantity and quality of a premiss: A, E, I, O and the two indefinite forms (I.1 24a16-22)
Subject shared by the facts below
the predicate belongs to the subject in the given form
| pred | subj |
|---|---|
| Смертное | Человек |
| Разумное | Человек |
По тексту главы 6 частное заключение из двух общих посылок не выведено: базовое прочтение молчит.
Condition
Established
quantity and quality of a premiss: A, E, I, O and the two indefinite forms (I.1 24a16-22)
Subject shared by the facts below
the predicate belongs to the subject in the given form
| pred | subj |
|---|---|
| Смертное | Человек |
| Разумное | Человек |
Традиционное прочтение добавляет экзистенциальную нагрузку общим суждениям, и Darapti срабатывает.
Condition
Not established
the predicate belongs to the subject in the given form
Правило обращения главы 2 частноотрицательное суждение не обращает.
Condition
Not established
quantity and quality of a premiss: A, E, I, O and the two indefinite forms (I.1 24a16-22)
Subject shared by the facts below
the predicate belongs to the subject in the given form
| pred | subj |
|---|---|
| Сущность | Животное |
| Сущность | Человек |
Средний термин не распределён ни в одной посылке: заключение не выведено.
Condition
Not established
the predicate belongs to the subject in the given form
| form | pred | subj |
|---|---|---|
| A | Животное | Человек |
| E | Человек | Лошадь |
Сочетание общеутвердительной и общеотрицательной посылок в первой фигуре ничего не заключает.
The snapshot is immutable: the SHA-256 of the downloadable JSON pins it, so no access date is needed.
“Всякое животное смертно, всякий человек животное: следует ли, что всякий человек смертен? И почему из «некоторые люди не животные» не следует «некоторые животные не люди», а из двух общеутвердительных посылок с нераспределённым средним не следует ничего?”. Arxo Lens, as of 2026-08-31. https://lens.arxo.io/a/a_V0VIQLQ2arXRUMxdx1Ot52P0. Snapshot SHA-256: ab5dfbd7e8c260fdc8f6e344c3c641e106c0cf7a6809d25464d18ae24731a380.
@misc{arxo-lens-a_V0VIQLQ2arXR,
title = {Всякое животное смертно, всякий человек животное: следует ли, что всякий человек смертен? И почему из «некоторые люди не животные» не следует «некоторые животные не люди», а из двух общеутвердительных посылок с нераспределённым средним не следует ничего?},
howpublished = {Arxo Lens},
url = {https://lens.arxo.io/a/a_V0VIQLQ2arXRUMxdx1Ot52P0},
note = {as of 2026-08-31; SHA-256 ab5dfbd7e8c260fdc8f6e344c3c641e106c0cf7a6809d25464d18ae24731a380}
}The card shows the result and links to the full analysis; it sets no cookies.
<iframe src="https://lens.arxo.io/embed/a_V0VIQLQ2arXRUMxdx1Ot52P0?lang=en" width="100%" height="390" loading="lazy" title="Aristotle's syllogistic — Arxo Lens" style="border:0"></iframe>
Anonymous visit statistics, no cookies.