Комментарий W.D. Ross (англ.): Ross отмечает, что в этом пассаже Аристотель, по сути, формулирует один из базовых законов модальной логики: ◇A ∧ □(A → B) → ◇B (Если А возможно, и необходимо, что если А, то Б, то Б возможно). Однако доказательство Аристотеля не является чисто логическим; оно опирается на его онтологическое определение возможности, связывающее возможность с осуществимостью без противоречия (Ross W.D. Aristotle’s Metaphysics. A Revised Text with Introduction and Commentary. Vol. II. – Oxford: Clarendon Press, 1924. – P. 265-266).
Комментарий А.Ф. Лосева: Лосев видит в этом не просто формально-логическое упражнение, а проявление глубокой связи между логикой и онтологией у Аристотеля. «Логический закон здесь является отражением причинной связи в самой реальности. Если А есть причина Б, то возможность причины с необходимостью влечет за собой возможность следствия… Модальные категории оказываются у Аристотеля формами бытия, а не только формами мышления» (Лосев А.Ф. История античной эстетики. Аристотель и поздняя классика. – М., 1975. – С. 442).
Комментарий Д.В. Бугая: Бугай акцентирует, что этот закон имеет прямое отношение к учению о движении и изменении. Если некое состояние А (например, нахождение строителя рядом с материалом) необходимо влечет за собой состояние Б (начало строительства), то из возможности А (способность строителя и наличие материала) следует возможность Б. Это еще один довод против мегарцев: потенция причины содержит в себе потенцию следствия (Бугай Д.В. Указ. соч. – С. 313).
Критическое описание и синтез комментариев к главе 4.
Глава 4 представляет собой сложный логико-онтологический анализ модальных понятий (возможность, необходимость, невозможность).
1. Уточнение определения возможности: Аристотель защищает и проясняет свое определение, показывая, что оно не влечет за собой фаталистического вывода о том, что все возможное должно реализоваться. Ключевым является различение:
Ложное (ψεῦδος): Не-актуализированная, но реальная возможность.
Невозможное (ἀδύνατον): Логически или онтологически противоречивое состояние, которое не может быть актуализировано никогда.