There are the old schools of philosophy of mathematics: Logicism,  formalism and intuitionism. These have been developed into e.g. Realism, Fictionalism, structuralism, etc.

There was the linguistic turn, and recently the cognitive turn. There was the Cartesian Dualism ("inside" vs. "outside"), Critical philosophy of Kant, Husserl, Heidegger, Postmodernism, etc.

In my view I find that the best position is Dalielle Macbeth, Realizing Reason, Which is based on mathematical practice and regaining meaning. Meaning is not reductive, Frege was ill conceived,  ampliative proofs should be diagrammatic instead of mechanistic, etc. 

Similar questions and discussions