I always saw philosophy and maths as the same. Philosophy is what math and logic especially looks like when you're using words instead of leibnitz notation and other modern notations.

I mean, howdo you explain modus ponens without the notation? You say that not A and not B is the same as not A or B. And that's a poor transpilation from math notation to words. What if you never saw the math notation and had to use regular words?

And then to spell out the proof? Oof