Have you taken a math class in formal logic? (The one with models, proofs, soundness and completeness, Gödel's Theorem, etc, not the ersatz philosophy-department one that thinks syllogisms are complicated.) I'd be surprised if you had, and still considered it irrelevant to doing philosophy well.