Formal logic is mathematics, and there are philosophers like Wittgenstein that are very mathematical, but what they're really doing is mathematics - it's not talking about things that have affected computer science; it's mathematical logic.