PH3247 Philosophical Logic [2220]