Title: Philosophical and Mathematical Logic