Философско-теоретическими сочинениями Прокла являются следующие:
(1) "Первоосновы теологии", состоящие из 211 напряженно отчеканенно формулированных тезисов, содержащих в себе в кратком очерке всю систему неоплатонизма, то есть проблемы единого, чисел, ума, души и носителя души. В литературном отношении этот трактат можно относить к тому философскому жанру, который был создан неоплатонизмом, хотя до нас и дошло слишком мало памятников этого жанра. Сюда относятся "Отправные пункты" Порфирия и указываемый у нас ниже трактат самого же Прокла "Первоосновы физики". Этот жанр заключается в расчленении всего изложения на более или менее краткие тезисы с пояснениями, сформулированные решительно без всяких уклонений в сторону, без всяких литературных украшений, без всяких цитат, подчеркнуто точно, сжато и сухо, на манер учебников геометрии или юридически точного законодательства.
(2) "О теологии Платона" - огромное исследование, заключающее в себе учение о методах использования Платона для философии, очень подробное учение об едином, числах и уме с подробнейшим применением этих категорий к античной мифологии и с подробнейшей, скрупулезнейшей классификацией всех божеств языческой религии.
Остальные три философско-теоретических трактата Прокла сохранились только в латинском переводе Вильгельма Мербеке: (3) "О десяти сомнениях касательно провидения"; (4) "О провидении, судьбе и о том, что в нас"; (5) "Об ипостасях зла".
Особый отдел составляют комментарии Прокла к отдельным платоновским диалогам - к: (6) "Тимею" (сохранился до Plat. Tim. 44d), (7) "Пармениду", (8) "Государству", (9) "Алкивиаду" 1 и (10) "Кратилу". Эти комментарии только чисто формально можно назвать комментариями к Платону. Фактически в каждом таком комментарии перед нами длинный ряд капитальнейших философских рассуждений, из которых каждое вполне могло бы иметь хождение в качестве отдельного трактата со специальным названием. Особенно большое значение имеют комментарии Прокла к "Тимею" и "Пармениду", содержащие в себе не только систематическое изложение всех центральных вопросов неоплатонизма, но и массу историко-философского материала, не говоря уже о гигантских размерах этих комментариев. Сюда же - (11) схолии на "Труды и дни" Гесиода, состоящие из кратких пояснений к тексту Гесиода.
Далее - сочинения философско-научного характера: (12) "Первоосновы физики", на базе аристотелевского учения о движении из трактатов "Физика" и "О небе"; о стиле этого сочинения см. сказанное выше к трактату № 1; (13) комментарий на I кн. "Элементов Евклида" (анализу отдельных аксиом Евклида здесь предшествуют два обширных предисловия об общей философии числа); (14) "Обзор астрономических положений".