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