Derivation and Counterexample: An Introduction to Philosophical Logic