Actually, nothing is wrong with it if you are a computer science major. It’s just that it has no place in the philosophy department.
From the point of anyone wanting to work in natural language, symbolic logic has all of the vices of mathematics and none of its virtues. That is, it is obscure to the point of incomprehensibility (given the weak neurons of this English major at any rate), and it leads to no useful outcome in the domain of human affairs. This would not be so bad were it not for all those philosophy major curricula that ask freshmen to take a course in it as their “introduction” to philosophy. For anyone looking to explore the meaning of life, this is a complete turnoff.
What were the philosophy mavens thinking?