Logic and Philosophy: A Modern Introduction