To Be is to Be the Value of a Variable (or to Be Some Values of Some Variables)

"To Be is to Be the Value of a Variable" collects key papers and essays by philosopher and logician George Boolos, spanning his career at MIT. The volume includes his work on second-order logic, plural quantification, and the foundations of mathematical logic. The book presents Boolos's influential arguments about the nature of mathematical truth and logical necessity. His papers tackle fundamental questions in mathematical logic, including puzzles about substitution and the meaning of mathematical statements. The writings demonstrate Boolos's systematic approach to long-standing problems in logic and set theory. A core focus is the relationship between natural language and formal logical systems. The collection illustrates broader themes about the limits of formal systems and the connection between logic and philosophy of language. Boolos's work points to essential questions about how mathematics relates to reality and human understanding.

This book has very limited online reader reviews and ratings available, with only a few ratings on Goodreads and no substantial reviews on major bookselling platforms. Likes: - Collection brings together Boolos' most important papers in mathematical logic and set theory - Clear explanations of complex concepts like second-order logic - Useful reference for graduate students and researchers in mathematical logic Dislikes: - Technical content requires extensive background in mathematical logic and set theory - Some papers are hard to follow without prior familiarity with the material - High price limits accessibility for students Available Ratings: Goodreads: 4.33/5 (3 ratings, 0 written reviews) No ratings or reviews found on Amazon The limited number of online reviews and ratings suggests this is a specialized academic text primarily read by mathematical logic researchers and graduate students rather than a general audience.

Logic, Logic, and Logic by George Boolos This collection contains fundamental papers on mathematical logic, second-order logic, and plural quantification.

From Frege to Gödel: A Source Book in Mathematical Logic by Jean van Heijenoort This sourcebook presents original papers that trace the development of mathematical logic from 1879 to 1931.

Set Theory and the Continuum Hypothesis by Paul J. Cohen This text explores the independence of the continuum hypothesis through forcing techniques and mathematical logic.

Mathematical Logic by Joseph Shoenfield This work provides systematic coverage of first-order logic, recursion theory, and set theory at the graduate level.

Methods of Logic by W.V. Quine This text connects mathematical logic to philosophical questions about meaning, truth, and existence through formal systems.

🔹 George Boolos (1940-1996) was a renowned logician who taught at MIT and made significant contributions to mathematical logic, particularly in the areas of provability logic and second-order logic. 🔹 The book's unusual title comes from Quine's famous dictum about ontological commitment, suggesting that we are committed to the existence of those things that must be values of our variables for our statements to be true. 🔹 The collection includes Boolos's famous paper "Gödel's Second Incompleteness Theorem Explained in Words of One Syllable," which brilliantly explains a complex mathematical concept using only monosyllabic words. 🔹 Many of the essays in this book challenge Frege's logicism - the view that arithmetic can be reduced to logic - while still maintaining deep respect for Frege's contributions to mathematical logic. 🔹 The book demonstrates how modern mathematical logic can address philosophical questions about the nature of infinity, the foundations of mathematics, and the limits of human reasoning.