24.711 Topics in Philosophical Logic