Introduction -- Part I -- Chapter 1: Syntactic Theories -- 1. The Theory of Logical Types -- 2. Many-Sorted Topic -- Chapter 2: Linguistic Semantics -- 1. Semantic Marker Theory : Deep Structure Interpretivism -- 2. Generative Semantics -- 3. The Extended Standard Theory: Surface Structure Interpretivism -- Chapter 3: Philosophical Theories -- 1. Sortally Incorrect Sentences as False Statements -- 2. Drange's "Unthinkability" Account -- 3. Sommers' Type Rules -- Chapter 4: Significance Logics: The Goddard-Routley Program -- Chapter 5: Formal Semantics -- 1. Superevaluations: Thomason's Theory -- 2. Two-Dimensional Semantics: The Herzberger-Martin Approach -- 3. Bergmann's Synthesis -- Part II -- Chapter 6: A Criterion of Sortal Incorrectness -- 1. Defining CSI -- 2. Revising Classical Notions of Validity and Soundness in Light of CSI -- Chapter 7: Sortal Incorrectness, Ontological Categories, and Semantic Well-Formedness -- 1. Ontological Categories -- 2. The Decidability of Semantic Well-Formedness -- Chapter 8: Sortal Incorrectness and Metaphor -- Part III -- Appendix A: A Theory of Sortal Incorrectness -- Appendix B: Extensions of the Theory -- 1. Restricted Quantification -- 2. Adverbs -- Bibliography -- Index.