Philosophical logic, 7.5 credits