Algebraic Methods in Philosophical Logic