Theory of Forms
Proklos verteidigt Platons Ideenlehre gegen die Kritik des Aristoteles und der Peripatetiker. Er meint, jede der vier dialektischen Methoden (Dihairesis, Definition, Analyse und Beweis) setze Ideen im Sinne der Ideenlehre voraus. Eingehend untersucht er die Frage, ob nicht nur den natürlichen, sondern auch den künstlich erzeugten Objekten eigene platonische Ideen als Ursachen zugeordnet sind, und gelangt zum Ergebnis, dass solche Ideen nicht anzunehmen sind.