Вопрос▣ Сохранённый разбор
Пять стоических недоказуемых умозаключений: что дозволено вывести из условной, отрицательной и разделительной посылок, и почему пятый способ читается у Диогена Лаэртского и Секста Эмпирика по-разному?
Первый недоказуемый дозволяет вывод B, второй запрещает вывод A из отрицания следствия, четвёртый запрещает вывод B из первого члена строгой дизъюнкции. Пятый недоказуемый у двух свидетелей записан зеркально: Диоген выводит первый член из отрицания второго, Секст — второй из отрицания первого. Прочтения держатся раздельно, и под чужим прочтением та же схема не установлена. Посылка неподходящего вида ни одним из пяти способов не покрывается, и ответ «не установлено», а не «запрещено».
≋Это пояснение ассистента, а не результат расчёта. Проверяйте выводы по основаниям и источникам ниже.
Результаты
7
⊢Проверка условия
Первый: если A, то B; A; следовательно B
Установлено
⋯Параметры запроса · 2
- i
- urn:stoic:test:inference
- p
- urn:stoic:test:b
☰Исходные факты · 4
≋Условная большая посылка и утверждение основания дают дозволенный вывод следствия.
⊢Проверка условия
Второй: если A, то B; не B; следовательно A?
Опровергнуто
⋯Параметры запроса · 2
- i
- urn:stoic:test:inference
- p
- urn:stoic:test:a
☰Исходные факты · 5
≋Отрицание следствия не дозволяет вывод основания: вывод опровергнут строгим правилом второго способа.
⊢Проверка условия
Четвёртый: либо A, либо B; A; следовательно B?
Опровергнуто
⋯Параметры запроса · 2
- i
- urn:stoic:test:inference
- p
- urn:stoic:test:b
☰Исходные факты · 4
≋Утверждение одного члена строгой дизъюнкции опровергает другой: четвёртый способ.
⊢Проверка условия
Пятый по Диогену: либо A, либо B; не B; следовательно A
Установлено
⋯Параметры запроса · 2
- i
- urn:stoic:test:inference
- p
- urn:stoic:test:a
☰Исходные факты · 5
≋Под прочтением Диогена Лаэртского отрицание второго члена дозволяет первый.
⊢Проверка условия
Пятый по Сексту: либо A, либо B; не A; следовательно B
Установлено
⋯Параметры запроса · 2
- i
- urn:stoic:test:inference
- p
- urn:stoic:test:b
☰Исходные факты · 5
≋Под прочтением Секста Эмпирика отрицание первого члена дозволяет второй.
⊢Проверка условия
Та же схема Секста под прочтением Диогена
Не установлено
⋯Параметры запроса · 2
- i
- urn:stoic:test:inference
- p
- urn:stoic:test:b
☰Исходные факты · 5
≋Та же схема под прочтением Диогена не покрыта ни одним способом: свидетели расходятся, и машина не сглаживает расхождение.
⊢Проверка условия
Большая посылка не того вида: конъюнкция вместо условия
Не установлено
⋯Параметры запроса · 2
- i
- urn:stoic:test:inference
- p
- urn:stoic:test:b
☰Исходные факты · 4
≋Конъюнкция в большой посылке не подходит ни одному из пяти способов: вывод не установлен и не опровергнут.
Как сослаться
Снимок неизменяем: его закрепляет SHA-256 скачиваемого JSON, поэтому дата обращения не нужна.
Текст ссылки
«Пять стоических недоказуемых умозаключений: что дозволено вывести из условной, отрицательной и разделительной посылок, и почему пятый способ читается у Диогена Лаэртского и Секста Эмпирика по-разному?». Arxo Lens, по состоянию на 01.01.0001. https://lens.arxo.io/a/a_ZrYQb6jjh0UfDG_8exoNdYuI. SHA-256 снимка: 07162f616c97e6a6c23e98067dbba2e522fb9f0f710cc606c0fae2a740e5f55b.
BibTeX
@misc{arxo-lens-a_ZrYQb6jjh0Uf,
title = {Пять стоических недоказуемых умозаключений: что дозволено вывести из условной, отрицательной и разделительной посылок, и почему пятый способ читается у Диогена Лаэртского и Секста Эмпирика по-разному?},
howpublished = {Arxo Lens},
url = {https://lens.arxo.io/a/a_ZrYQb6jjh0UfDG_8exoNdYuI},
note = {по состоянию на 01.01.0001; SHA-256 07162f616c97e6a6c23e98067dbba2e522fb9f0f710cc606c0fae2a740e5f55b}
}Код для вставки
Карточка показывает результат и ведёт к полному разбору; cookies не ставит.
<iframe src="https://lens.arxo.io/embed/a_ZrYQb6jjh0UfDG_8exoNdYuI?lang=ru" width="100%" height="390" loading="lazy" title="Пять стоических недоказуемых умозаключений — Arxo Lens" style="border:0"></iframe>
Анонимная статистика посещений, без cookies.