Несколько с другой стороны дает диалектику мирового шара Прокл в inst. phys. И, откуда я приведу главнейшие теоремы.

1. «То, что движется по природе [своей] в круге, просто» [ср. определение VI второй книги: «всякое простое тело движется по природе только одним движением»].

2. «То, что движется по природе [своей] в круге, не тождественно ни тому, что движется по прямой, ни тому, что состоит из таковых вещей».

3. «То, что движется по природе [своей] в круге, не причастно ни тяжести, ни легкости» [ср. опред. VII: «тяжело — то, что движется к своей средине», и опред. IX: «легко — то, что движется от своей средины»).

4. «Круговому движению ничто не противоположно».

5. «То, что движется по природе своей в круге, не допускает ни рождения, ни уничтожения».

6. «Все, что движется в круге, ограничено».

11. «Ничто безграничное не может быть аффилировано ограниченным».

12. «Ничто ограниченное не может быть аффицировано без–граничным».

13. «Ничто безграничное не может быть аффицировано безграничным».

14. «Простые тела по самому смыслу своему (κατ’είδος) ограничены».

15. «Никакое чувственное тело не безгранично.

Первое доказательство. Если допустим, что это — возможно, то пусть будет А — чувственное безграничное тело. Так как всякое физическое тело или просто, или сложно, то необходимо, чтобы и А было или просто, или сложно. Итак, пусть сначала оно будет простым. Так как каждого простого тела и движение просто, то и движение А — просто. А так как простых движений только два, прямолинейное и круговое, то и А, стало быть, движется или по кругу, или по прямой. Но если оно движется по кругу, то, как доказано, не беспредельно; если же — по прямой, то оно будет обладать безграничной тяжестью, если движется вниз, и безграничной легкостью, если движется вверх. Но ведь уже доказано, что движущие силы безграничных тел безграничны. Однако невозможно, чтобы тяжесть или легкость были безграничны, как и это уже доказано. След., безграничное тело А не движется по прямой. Доказано, что и не в круге. След., оно и не принадлежит к телам, которые движутся простым движением. След., оно не есть простое тело, так как всякое простое тело по природе [своей] движется простым движением. Итак, пусть А будет сложным. Но если оно — сложно, то оно состоит или из ограниченных [частей], или из безграничных. Если — из ограниченных по количеству и величине, то оно и само ограничено; если же из безграничных, то — или по количеству, или по величине, или по тому и другому. Но эйдосы простых тел по количеству не могут быть безграничны, как доказано. Значит, остается им быть безграничными по величине. Но если простое относится к движущемуся по кругу, то уже доказано, что [такое простое] ограничено; если же — к движущемуся по прямой, то [такое простое], как доказано, ограничено. След., тело А ни в каком случае не безгранично, ни как простое, ни как сложное.

Второе доказательство. Пусть будет тело А чувственное, но безграничное. Если оно безгранично, оно имеет безграничную силу, как доказано. Но если оно имеет безграничную силу, оно будет иметь или действующую силу, или страдательную. Но если — действующую, то оно будет действовать или на ограниченное, или на безграничное. И если — страдательную, то или со стороны ограниченной силы, или безграничной. Но уже доказано, что безграничное не может ни действовать на безграничное или ограниченное, ни страдать от них. След., А, если оно — физическое тело, не безгранично: всякое физическое тело обладает или действующей, или страдательной силой, или обеими.