فلسفه ریاضیات، شاخهای از فلسفه است که به بنیادهای وجودی ریاضیات و مباحث مربوط به معرفتشناسی ریاضیات میپردازد. از جمله پرسشهایی که فلسفه ریاضی، کوشش در پاسخ به آن دارد اینها است:
- منشا موضوعات ریاضی چه هستند؟
- وضعیت وجودی مفاهیم ریاضی چیست؟
- اشاره به یک شی ریاضی به چه معناست؟
- شخصیت یک گزاره ریاضی چیست؟
- رابطه بین منطق و ریاضیات چیست؟
- نقش هرمنوتیک در ریاضیات چیست؟
- تحقیق ریاضی به چه معناست و چگونه ممکن است؟
- چه چیزی باعث توانایی ریاضی در تبیین تجربیات میشود؟
- نقش ذهن انسان در تولید ریاضیات چیست؟
- زیبایی ریاضی به چه معناست؟
- منبع و ماهیت حقیقت ریاضی چیست؟
- چه رابطهای بین جهان انتزاعی ریاضیات و جهان مادی وجود دارد؟
در آغاز قرن بیستم سه مکتب فلسفه ریاضی برای پاسخگوئی به اینگونه پرسشها به وجود آمد. این سه مکتب به نامهای شهودگرایی و منطقگرایی و صورتگرایی معروفاند.