Truth-Value Semantics

Truth-value semantics (the author credits the name to W.V.Quine) is "a new formal semantics, one that completely dispenses with models and employs instead truth-value assignments, truth-value functions, and the like" (p. VII). -- Preface; Part Classical First-Order 1. The Syntax and (Truth-Value) Semantics of QC (Matters of syntax (I); Matters of syntax (II); Matters of semantics); 2. Soundness, Completeness and Compactness Theorems for QC (Lemmas; Soundness Theorems for QC; Completeness and Compactness Theorems for QC; Alternative accounts); 3. TV-Verifiable Sets (Truth sets; Model sets; Closed sets, finitely tv-verifiable sets, etc.); 4. Standard First-Order Semantics (Definitions and lemmas; Equivalence Theorems for QC; First-order languages and theories); 5. Identity and Existence (QC=, the first-order quantificational calculus with '='; Finite tv-verifiability in QC=; "Presupposition-free" The truth-value account; "Presupposition-free" Two standard accounts); Part Other 6. Second-Order Logics (I) (QC2, the second-order quantificational calculus; Soundness and Completeness Theorems for QC2; The Axiom of Comprehension; QC2, the ramified second-order quantificational calculus); 7. Second-Order Logics (II) (Standard second-order semantics; Equivalence Theorems for QC2; Relevance, Truth-functionality and Strong Truth-functionality); 8. Modal Logic (I) (MQC, the modal quantificational calculus of order one; Kripke's semantics for MQC; Truth-value semantics for MQC); 9. Modal Logic (II) (Auxiliary definitions and theorems; Completeness and Relevance Theorems for Part 1; Completeness and Relevance Theorems for Paft2; Completeness and Relevance Theorems for Part 3); 10. Three-Valued Logic (LQC, the three-valued quantificational calculus of order one; Soundness and Completeness Theorems for LQC); Notes Towards a History of Truth-Value Semantics