It's clear why Formal Logic is studied in undergrad philosophy programs, but there's only so much space to study the core Philosophy ideas in the undergrad time allotted, and what you're suggesting sounds like they'd be getting a math degree rather than a phil degree.
It would be more appropriate for graduate phil courses to consider the ideas you highlighted.