Hacker News Reader

You mean mathematicians? CS majors also all study logic to some degree. I think we have enough of both in AI. Philosophers of mind, not so much.

Logicians are typically part of the philosophy department, at least in the US.

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.

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

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.

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.