Foundations Without Foundationalism

Focusing on the foundations of mathematics, the book advocates for the significance of second-order logic. It offers a clear explanation of second-order and higher-order logic, while also addressing important philosophical and historical contexts. Shapiro's unique perspective challenges traditional views and emphasizes the foundational role that these logical frameworks play in mathematics.