Comment by bodhiandpysics1

The irony is that "why logic" has been definitely answered... all sorts of highly technical formal logic found use in computer science!