к невозможному*, а не прямое обращение частноутвердительного.
– Из «Ни один человек не есть лошадь» следует «Ни одна лошадь не есть человек».
– Попытка отрицания («Есть лошадь-человек») ведет к противоречию.
Обращение общеотрицательного доказано строго, без круга в доказательствах.
1. Общеотрицательное предложение (καθόλου ἀπόφασις) – «Ни одно A не есть B» (οὐδὲν τῶν Α ἐστὶ Β).
– Обращение (ἀντιστροφή): Если A не принадлежит (ὑπάρχει) ни одному B, то и B не принадлежит ни одному A.
2. Два метода доказательства обращения:
– Феофраст и Евдем: Через разделение (χωρίζεται) – если A отделено от B, то и B отделено от A.
– Аристотель: Через приведение к невозможному (εἰς ἀδύνατον ἀπαγωγή):
– Предполагаем противоположное («B принадлежит некоторому A» – τινὶ ὑπάρχει).
– Находим противоречие (A должно принадлежать некоторому B, но изначально это отрицалось).
– Значит, исходное обращение верно.
3. Пример (παράδειγμα):
– Дано: «Человек (A) не принадлежит ни одной лошади (B)».
– Отрицаем обращение: «Лошадь (B) принадлежит некоторому человеку (A)», например, Теону.
– Тогда «Человек (A) принадлежит некоторой лошади (B)» – но это противоречит исходному.
– Вывод: Обращение общеотрицательного верно.
4. Частноутвердительное предложение (ἐν μέρει καταφατικόν) – «Некоторое A есть B» (τινὶ τῶν Α ἐστὶ Β).
– Его обращение доказывается через уже установленное обращение общеотрицательного.
5. Логика (λογική) вывода:
– Если A не принадлежит ни одному B (οὐδενὶ ὑπάρχει), то отрицание обращения («B принадлежит некоторому A») ведет к абсурду.
– Значит, обращение истинно.
р. 25b19
Теперь же пусть для нас будет ясно в дополнение к сказанному, что «может ничему или некоторым не принадлежать» имеет утвердительную форму.
То, что он сейчас называет «может», в каких бы посылках ни встречалось как присоединяемый предикат, делает их утверждением, как и в тех, где без «может» говорится «есть». Это истинно, сказано и показано в «Об истолковании». Однако это не самодостаточная причина для обращения возможных отрицаний, ведь утверждения тоже обращаются подобно другим утверждениям: частное – к обоим, и универсальному, и частному. Если бы это было самодостаточной причиной, то так же должно было быть и для необходимых: ведь «необходимо» в любых посылках, где присоединяется, тоже оказалось утверждением. Но хотя они таковы, он показал, что универсальные отрицательные необходимые обращаются сами с собой, будучи утверждениями (ибо необходимое отрицательное – просто утверждение, а все отрицательное называется необходимым), а частному необходимому отрицательному ничего не обращалось.
Он не привел это как причину того, что универсальное возможное отрицательное не обращается, ибо предположил, что разъяснит это позже, но чтобы напомнить, что мы должны рассматривать