Philosophical Logic: An Introduction