Philosophical and Mathematical Logic