When you try to translate any kind of real-life problem into a neat logical form, you're almost always simplifying it. We need a kind of blend - we need to use not just tools of logic, which are important and valuable - I'm not denying that, but also tools of judgement, and of inductive and abductive reasoning which can also inform.