इसके उप-क्षेत्रों में गणितीय तर्क , दार्शनिक तर्क, निश्चयमात्रक तर्क , संगणकीय तर्क और गैर-शास्त्रीय तर्क शामिल हैं । गणित के दर्शन में एक प्रमुख प्रश्न यह है कि क्या गणितीय ईकाइयां वस्तुनिष्ठ हैं और खोजी गई हैं, जिन्हें गणितीय यथार्थवाद कहा जाता है, या आविष्कार किया गया है, जिन्हें गणितीय प्रतियथार्थवाद कहा जाता है। (2) गौण विषय व दार्शनिक आंदोलन - यथार्थवाद संदेहवाद