Foundations without Foundationalism: A Case for Second-Order Logic

Foundations without Foundationalism: A Case for Second-Order Logic explores the role of second-order logic in mathematics and philosophy. Through detailed argumentation, Stewart Shapiro challenges the traditional view that first-order logic should serve as the foundation for mathematical theories. The book presents both technical and philosophical arguments for adopting second-order logic as a framework for mathematics. Shapiro examines historical developments in logic and set theory, while addressing common objections to second-order logic from philosophers and mathematicians. The work systematically develops a full formal system of second-order logic and demonstrates its applications. Key topics include completeness, incompleteness, categoricity, and the relationships between various logical systems. At its core, this book confronts fundamental questions about the nature of mathematical truth and the proper foundations for mathematical practice. The arguments presented make a case for moving beyond traditional foundationalist approaches while maintaining mathematical rigor.

Readers find this book presents detailed technical arguments for second-order logic in mathematical foundations. The writing style receives praise for being clear and systematic in explaining complex concepts. Positives: - Makes second-order logic accessible to readers with basic logic background - Thorough coverage of history and development of logical systems - Strong defense against common criticisms of second-order logic - Useful references and explanations of key theorems Negatives: - Dense and challenging for those without graduate-level mathematics - Some arguments could be more concise - High price point for a specialized academic text Available ratings: Goodreads: 4.4/5 (5 ratings) Google Books: No ratings Amazon: No customer reviews Note: Limited public reviews exist since this is a specialized academic text. Most discussion appears in academic journals and course syllabi rather than consumer review sites.

The Laws of Truth by Nicholas J.J. Smith An introduction to mathematical logic that bridges classical first-order logic with higher-order systems and modal logic.

Philosophy of Mathematics: Structure and Ontology by Stewart Shapiro A systematic examination of mathematical structuralism and its relationship to foundational questions in mathematics.

Mathematical Logic by Joseph Shoenfield A comprehensive treatment of mathematical logic that covers model theory, recursion theory, and set theory with attention to foundational issues.

From Frege to Gödel: A Source Book in Mathematical Logic by Jean van Heijenoort A collection of original papers that trace the development of mathematical logic and set theory through primary sources.

Set Theory and Its Philosophy by Michael Porter An exploration of set theory's foundational role in mathematics with connections to philosophical debates about mathematical existence and truth.

📚 Second-order logic can express mathematical concepts that first-order logic cannot, including the concept of mathematical induction and the completeness of the real number system. 🎓 Stewart Shapiro wrote this influential work in 1991 while at Ohio State University, where he continues to serve as a distinguished professor of philosophy. 🔄 The book challenges the common view that first-order logic is the only "real" logic, arguing that second-order logic better captures mathematical reasoning and practice. 📖 Despite being a technical work on mathematical logic, the book gained attention outside philosophy departments and influenced discussions in mathematics, computer science, and linguistic theory. 🎯 The title's reference to "Foundations without Foundationalism" addresses a key debate in philosophy of mathematics - whether mathematics needs absolute, indubitable foundations (foundationalism) or can be justified through other means.