كينقسم المنطق الجديد إلى النظرية العودية، ونظرية النموذج، ونظرية البرهان، وكيرتبط بشكل متين بالعلوم ديالت الكمبيوتر النظرية، وحتّى بنظرية الأصناف.