Algebraic methods in philosophical logic