Cover may vary - this is a stock image
Truth-value Semantics
by Hugues Leblanc
Format: Hardback
What do the conditions mean?
Our conditions mean the following:
- New - a brand new book
- Almost New - appears new but is actually secondhand.
- Very Good - only minor imperfections such as minor scuffs to edge or cover or a price written in pencil or shop sticker.
- Standard Secondhand - Clearly been read before, but not too bad. We do not recommend these for gifting. Spines usually creased. Could also include creases or folds to cover, some writing such as in the cover or elsewhere, underlining or highlighting, but might not do. Possibly some stains or marks. Similar in general to books in any secondhand shop or charity shop.
- Poor Condition - Usually this will have a specific problem such as writing inside, water damage, missing dust jacket, heavy staining, large creases or cuts. These are readable copies but not nice ones. On other websites this condition is called 'Acceptable' or 'Fair' , but we want to be more honest.
Low stock: 1 left
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). -- Contents: Preface; Part One: Classical First-Order Logic: 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" logic: The truth-value account; "Presupposition-free" logic: Two standard accounts); Part Two: Other Logics: 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 MQC: Part 1; Completeness and Relevance Theorems for MQC: Paft2; Completeness and Relevance Theorems for MQC: Part 3); 10. Three-Valued Logic (LQC, the three-valued quantificational calculus of order one; Soundness and Completeness Theorems for LQC); Appendix: Notes Towards a History of Truth-Value Semantics
Format: Hardback
Published: 1976
Pages: 332
Publisher: distributor, Elsevier/North-Holland
ISBN: 9780720428247
Share
Payment method
Condition Descriptions
Our conditions mean the following:
- New - a brand new book
- Almost New - appears new but is actually secondhand.
- Very Good - only minor imperfections such as minor scuffs to edge or cover or a price written in pencil or shop sticker.
- Standard Secondhand - Clearly been read before, but not too bad. We do not recommend these for gifting. Spines usually creased. Could also include creases or folds to cover, some writing such as in the cover or elsewhere, underlining or highlighting, but might not do. Possibly some stains or marks. Similar in general to books in any secondhand shop or charity shop.
- Poor Condition - Usually this will have a specific problem such as writing inside, water damage, missing dust jacket, heavy staining, large creases or cuts. These are readable copies but not nice ones. On other websites this condition is called 'Acceptable' or 'Fair' , but we want to be more honest.
Shipping and Delivery
- Free UK shipping over £10.
- Under £10, shipping is £1.99.
- Express shipping £2.99.
- Choose 10 £1 books for £10 including shipping!
- International shipping available to select countries, proceed to checkout to see prices.
Return
Return books within 14 days if not happy.
Share
