Foundations without Foundationalism

Stewart Shapiro presents a distinctive and persuasive view of the foundations of mathematics, arguing controversially that second-order logic has a central role to play in laying these foundations. To support this contention, he first gives a deta...