[speak_plainly]

You do realize that propositional logic, set theory, and mapping the limits of formal systems are philosophy, right? You're literally describing mathematical logic and philosophy of language.

[programjames]

Logicians' training is so different from philosophers' that it should be considered a separate discipline, or under the branch of computer science.

[applicative]

When I was a young man I took three philosophy courses from a very old man who, when he was a young man, was the dissertation director of Alan Turing. The latter, by the way, was an habitué of the seminar of Wittgenstein.

[MSkill1]

I studied it getting my CS degree - you can literally write mathematical formulas using symbols and you can perform operations in logic. Very different from a philosophy class - excuse me if you were already aware.