Predicate Logic: The Semantic Foundations of Logic Book

I	Propositions and Propositional Logic
II	The Internal Structure of Propositions
III	A Formal Language for Predicate Logic
IV	Semantics
V	The Logical Form of a Proposition
VI	Identity
VII	Quantifiers
VIII	Descriptive Names
IX	Functions
X	Quantifying Over Predicates: Second-Order Logic
XI	Language, the World, and Predicate Logic
App. A	The Notion of Thing in Predicate Logic
App. B	What There Is: Restrictions on the Universe of a Realization
App. C	Primitives and Assumptions of Predicate Logic
App. D	Formalization: Criteria and Agreements
	Bibliography
	Index of Examples
	Index of Notation
	Index