I wouldn't equate philosophy with formal systems, philosophy is more about what a formal system is, what formalisms actually mean, and deciding when they are important tools for knowledge, and when they are not.