Philosophy major here (I jokingly tout myself as a trained philosopher). Philosophy is a big field with different schools of thought. In the US/UK, the primary school is known as "analytic (philosophy)" which is focused on tight arguments, precise language, and clarity of thought (see Russell, Wittgenstein, Lewis, Godel). This is contrasted by European -- in particular, French -- "continental (philosophy)" which waxes more poetic (see Nietzsche, Sartre, Lacan, Derrida).
The former deals quite a bit with logic (which was my area of focus in undergrad). Classes I took ranged from "baby logic" (predicate logic, first-order-logic), to second-order logic, to mathematical logic (mostly Peano arithmetic), to metalogic (learning how to prove things like Godel's incompleteness), to lambda calculus, to game theory. This was on top of ethics classes, history of philosophy, and other miscellaneous classes (took a very fun seminar by a Yale visiting professor -- I forget his name -- on the philosophy of food). Most of the graduate seminars I took were on philsophy of language and model theory.
Just about every philosophy class had a pretty strong "logic" undercurrent.
Also, the less logical bit of analytic philosophy is all about breaking down and understanding other people's arguments. It's a very similar process to teasing out business requirements from stakeholders!
Just to clarify, and defend the old continent a bit: while it certainly originated German Idealism and its descendants all the way to post-structuralism and (gasp) “critical theory”, today of course you can find proponents of both schools (the continental/hermeneutic/postmodern and the analytic) on all continents.
And regarding the gp: most philosophy programs will have classes in informal and some even in formal logic, to Goedel’s incompleteness theorems and way beyond.
The former deals quite a bit with logic (which was my area of focus in undergrad). Classes I took ranged from "baby logic" (predicate logic, first-order-logic), to second-order logic, to mathematical logic (mostly Peano arithmetic), to metalogic (learning how to prove things like Godel's incompleteness), to lambda calculus, to game theory. This was on top of ethics classes, history of philosophy, and other miscellaneous classes (took a very fun seminar by a Yale visiting professor -- I forget his name -- on the philosophy of food). Most of the graduate seminars I took were on philsophy of language and model theory.
Just about every philosophy class had a pretty strong "logic" undercurrent.