Комментарий Stephen Makin (англ.): Makin обращает внимание на онтологический подтекст. Аристотель защищает объективность невозможного. Невозможное – это не просто то, что мы не можем помыслить без противоречия, а то, что не может произойти в самой реальности в силу ее структуры (как математическая невозможность). Это укрепляет его аргумент против мегарцев: не-актуализированная реальная возможность и логическая невозможность – совершенно разные вещи (Makin S. Aristotle Metaphysics Book Θ. – Oxford: Clarendon Press, 2006. – P. 104-105).
Комментарий Thomas Aquinas (лат., в англ. пер.): Фома Аквинский поясняет, что аристотелевское определение возможности направлено против тех, кто, подобно Диодору Крону (мегарцу), утверждал, что возможное – это только то, что когда-либо станет действительным. Аристотель же показывает, что возможное может и не актуализироваться из-за внешних препятствий, но от этого оно не перестает быть возможным. Невозможное же не актуализируется в силу внутренней причины (Aquinas T. Commentary on Aristotle’s Metaphysics. Book Theta, Lec. 4. – P. 30-31).
Абзацы [5] – [9]: Логический закон передачи возможности.
Содержание: Аристотель формулирует и доказывает важный логический принцип, связывающий необходимость и возможность. Если из существования А с необходимостью следует существование Б, то и из возможности А с необходимостью следует возможность Б. Доказательство ведется от противного: если допустить, что А возможно, а Б невозможно, то при осуществлении А (что допустимо, раз оно возможно) мы получили бы Б, которое по предположению невозможно. Но это противоречит исходному условию, что осуществление возможного не ведет к невозможному. Следовательно, наше допущение ложно, и Б must быть возможным. Далее Аристотель делает шаг дальше: если связь между А и Б необходима, то и при актуальном существовании А необходимо существует Б.