Quantifying In

"Quantifying In" by David Kaplan is a philosophical text published in the journal Synthese in 1968 that addresses problems with modality and referential opacity in formal logic systems. Kaplan examines these issues through the lens of propositional attitudes and modal contexts. The book centers on a key challenge in formal semantics: how to properly handle quantification when it intersects with modal operators and propositional attitudes like belief or knowledge. Kaplan presents his analysis using examples involving proper names and descriptions to illustrate the technical difficulties. Through formal proofs and argumentation, Kaplan develops a framework for understanding how quantifiers interact with modal contexts. His treatment introduces influential concepts that shaped subsequent work on the semantics of modality. The text serves as a foundational contribution to modal logic and the philosophy of language, addressing core questions about meaning, reference, and the formal representation of natural language in logic systems. Its arguments continue to influence contemporary debates in philosophical logic and formal semantics.

There are not enough internet reviews to create a summary of this book. Instead, here is a summary of reviews of David Kaplan's overall work: Readers across academic and philosophical forums respect Kaplan's technical precision and his impact on formal semantics. His papers receive attention primarily from philosophy students, professors, and researchers. Readers appreciated: - Clear explanations of complex concepts in "Demonstratives" - Formal rigor in analyses of indexicals and direct reference - Useful examples that illuminate abstract ideas - Historical scholarship on Frege and other logicians Common criticisms: - Dense, technical writing style makes works inaccessible to beginners - Limited availability of some key papers outside academic institutions - Lack of practical applications or real-world examples On Goodreads and PhilPapers, Kaplan's works receive frequent citations but few public reviews due to their specialized academic nature. His papers appear frequently on philosophy course syllabi and reading lists. Academic citation indexes show high impact factors for "Demonstratives" and his work on direct reference theory. Online philosophy forums like r/askphilosophy regularly recommend Kaplan's papers for advanced study of formal semantics and philosophy of language.

Naming and Necessity by Saul A. Kripke This text examines modal logic and the relationship between names, reference, and identity through a framework that builds upon and challenges Kaplan's theories of direct reference.

The Philosophy of Language by A.P. Martinich, David Sosa The work presents fundamental theories of reference, meaning, and propositional attitudes that intersect with Kaplan's investigations into quantification and intentional contexts.

Frege: Philosophy of Language by Michael Dummett This analysis of Frege's contributions to philosophy of language explores the foundations of reference and meaning that influenced Kaplan's work on quantifying-in problems.

Reference and Existence by Saul Kripke The text delves into questions of existence and reference that complement Kaplan's treatment of intensional contexts and quantification.

Modal Logic as Metaphysics by Timothy Williamson This work connects modal logic to metaphysical questions through technical analysis that parallels Kaplan's approach to understanding intensional contexts.

🔹 The term "quantifying in" refers to a complex problem in modal logic about how to handle quantifiers when they interact with modal operators (like "necessarily" and "possibly"). 🔹 David Kaplan's work in "Quantifying In" (1968) was partly inspired by puzzles about belief contexts first raised by philosopher W.V.O. Quine. 🔹 The book helped establish Kaplan as one of the most influential philosophers of language in the 20th century, leading to his later groundbreaking work on demonstratives and indexicals. 🔹 The problems discussed in "Quantifying In" have important applications in artificial intelligence, particularly in reasoning systems that need to handle both quantification and modal concepts. 🔹 The book's arguments contributed significantly to debates about de re and de dicto distinctions in philosophy of language - ways of interpreting statements about belief that continue to be relevant in contemporary semantic theory.