This book investigates the logical and linguistic structures underlying anaphora and definite descriptions. It examines how these linguistic phenomena relate to formal logic and the theory of reference, drawing on Hintikka's extensive work in philosophical logic and semantics. The text aims to provide a rigorous analysis of how natural language expressions acquire their meaning and how they can be formally modeled.

This work is regarded as a significant contribution to the philosophy of language and logic, particularly for its formal approach to linguistic phenomena. Scholars in the field often cite Hintikka's rigorous analysis and his integration of semantic and logical frameworks. The book is typically considered a dense, technical read, suitable for advanced students and researchers in linguistics, philosophy, and logic.