Question▣ Saved analysis
Пять стоических недоказуемых умозаключений: что дозволено вывести из условной, отрицательной и разделительной посылок, и почему пятый способ читается у Диогена Лаэртского и Секста Эмпирика по-разному?
Первый недоказуемый дозволяет вывод B, второй запрещает вывод A из отрицания следствия, четвёртый запрещает вывод B из первого члена строгой дизъюнкции. Пятый недоказуемый у двух свидетелей записан зеркально: Диоген выводит первый член из отрицания второго, Секст — второй из отрицания первого. Прочтения держатся раздельно, и под чужим прочтением та же схема не установлена. Посылка неподходящего вида ни одним из пяти способов не покрывается, и ответ «не установлено», а не «запрещено».
≋This is an assistant explanation, not a calculation result. Check the grounds and sources below.
Results
7
⊢Condition
Первый: если A, то B; A; следовательно B
Established
⋯Query parameters · 2
- i
- urn:stoic:test:inference
- p
- urn:stoic:test:b
☰Input facts · 4
≋Условная большая посылка и утверждение основания дают дозволенный вывод следствия.
⊢Condition
Второй: если A, то B; не B; следовательно A?
Refuted
⋯Query parameters · 2
- i
- urn:stoic:test:inference
- p
- urn:stoic:test:a
☰Input facts · 5
≋Отрицание следствия не дозволяет вывод основания: вывод опровергнут строгим правилом второго способа.
⊢Condition
Четвёртый: либо A, либо B; A; следовательно B?
Refuted
⋯Query parameters · 2
- i
- urn:stoic:test:inference
- p
- urn:stoic:test:b
☰Input facts · 4
≋Утверждение одного члена строгой дизъюнкции опровергает другой: четвёртый способ.
⊢Condition
Пятый по Диогену: либо A, либо B; не B; следовательно A
Established
⋯Query parameters · 2
- i
- urn:stoic:test:inference
- p
- urn:stoic:test:a
☰Input facts · 5
≋Под прочтением Диогена Лаэртского отрицание второго члена дозволяет первый.
⊢Condition
Пятый по Сексту: либо A, либо B; не A; следовательно B
Established
⋯Query parameters · 2
- i
- urn:stoic:test:inference
- p
- urn:stoic:test:b
☰Input facts · 5
≋Под прочтением Секста Эмпирика отрицание первого члена дозволяет второй.
⊢Condition
Та же схема Секста под прочтением Диогена
Not established
⋯Query parameters · 2
- i
- urn:stoic:test:inference
- p
- urn:stoic:test:b
☰Input facts · 5
≋Та же схема под прочтением Диогена не покрыта ни одним способом: свидетели расходятся, и машина не сглаживает расхождение.
⊢Condition
Большая посылка не того вида: конъюнкция вместо условия
Not established
⋯Query parameters · 2
- i
- urn:stoic:test:inference
- p
- urn:stoic:test:b
☰Input facts · 4
≋Конъюнкция в большой посылке не подходит ни одному из пяти способов: вывод не установлен и не опровергнут.
How to cite
The snapshot is immutable: the SHA-256 of the downloadable JSON pins it, so no access date is needed.
Citation
“Пять стоических недоказуемых умозаключений: что дозволено вывести из условной, отрицательной и разделительной посылок, и почему пятый способ читается у Диогена Лаэртского и Секста Эмпирика по-разному?”. Arxo Lens, as of 0001-01-01. https://lens.arxo.io/a/a_ZrYQb6jjh0UfDG_8exoNdYuI. Snapshot SHA-256: 07162f616c97e6a6c23e98067dbba2e522fb9f0f710cc606c0fae2a740e5f55b.
BibTeX
@misc{arxo-lens-a_ZrYQb6jjh0Uf,
title = {Пять стоических недоказуемых умозаключений: что дозволено вывести из условной, отрицательной и разделительной посылок, и почему пятый способ читается у Диогена Лаэртского и Секста Эмпирика по-разному?},
howpublished = {Arxo Lens},
url = {https://lens.arxo.io/a/a_ZrYQb6jjh0UfDG_8exoNdYuI},
note = {as of 0001-01-01; SHA-256 07162f616c97e6a6c23e98067dbba2e522fb9f0f710cc606c0fae2a740e5f55b}
}Embed code
The card shows the result and links to the full analysis; it sets no cookies.
<iframe src="https://lens.arxo.io/embed/a_ZrYQb6jjh0UfDG_8exoNdYuI?lang=en" width="100%" height="390" loading="lazy" title="The five Stoic indemonstrables — Arxo Lens" style="border:0"></iframe>
Anonymous visit statistics, no cookies.