Why AI Needs Logic