An Introduction to Philosophical Logic