〈 Berger | Dillon 〉

It's weird because you're right, but I always just think of the logic class I took in college which... I mean, I guess is just philosopher math?? Discrete math covered a lot of the same things but in a different way. So, yeah, fuck it, logic = philosopher math.

As an undergrad in both philosophy and math, but with my allegiances ever to philosophy above all, I had gotten the impression that mathematicians like to think logic is a subset of math, whereas obviously as a philosopher I say math is logic is philosophy.

Right. And just as “how many roots does a polynomial of degree n over an algebraically closed field have?”, say, is also not philosophy of mathematics, this is not philosophy of mathematics

Perhaps, say, Frege was doing philosophy and Russell was doing mathematics (at this point, at least). But “universal comprehension is ill-defined” is a mathematical statement, not a philosophical one.