Originally published in 1958. A study in the logical foundations of modern theoretical semantics, this book is concerned with notions of designation and consistency as well as denotation and truth. It presents several semantical theories, each of which with what were new concepts or treatments from the author. Talking at a time when semantical theory was gained great ground, this book also looks at the methodology of the sciences and the semantics of scientific language alongside analysis of meaning and expression. It is influenced by the writings of Carnap, Church, Frege, Goodman, Quine, Russell and Tarski.
Preface 1. Philosophical Analysis and Formalized Languages 2. First-Order Languages 3. First-Order Syntax 4. Multiple Denotation: First-Order Semantics 5. Truth, Adequacy, and Consistency 6. Set Theory and Theory of Types 7. Satisfaction, Designation, Determination 8. Non-Translational Semantics I 9. Non-Translational Semantics II 10. Individual and Functional Constants 11. Inscriptions and Multiple Denotation 12. Inscriptions and Comprehension 13. First-Order Constructivism