Synopsis
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
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Truth-value Semantics
Image d'archives
Truth-Value Semantics.
Edité par
North-Holland, Amsterdam-New York-Oxford, 1976
ISBN 10 : 0720428246
ISBN 13 : 9780720428247
Ancien ou d'occasion
Couverture rigide
Vendeur : Antiquariaat Berger & De Vries, Groningen, Pays-Bas
Évaluation du vendeur 5 sur 5 étoiles
Faux-leather binding. XII, 319 pp. -(Name on fly-leaf, a small smudge on the lower edge of the block, but overall in very good condition.). ISBN 0720428246. N° de réf. du vendeur 67917-A-63524
Acheter D'occasion
EUR 25
Expédition à EUR 20
Expédition depuis Pays-Bas vers Etats-Unis
Expédition depuis Pays-Bas vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Truth-value Semantics
Edité par
Elsevier Science Publishing Co I, 1976
ISBN 10 : 0720428246
ISBN 13 : 9780720428247
Ancien ou d'occasion
Couverture rigide
Vendeur : Sell Books, Elland, YORKS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Good. Our good condition books are generally good for reading but not for gifting or collecting. They could have imperfections such as creasing, fanning, inscriptions, margin notes, yellowing, staining on edge or cover or pages, bumps, scuffs, etc etc (sometimes multiple of these). It's a wide category that encompasses anything that isn't almost-new down to anything that is slightly better than poor. We would NOT recommend gifting Good books - these should be considered reading copies. Our books are dispatched from a Yorkshire former cotton mill. We list via barcode/ISBN so please note that the images are stock images and may not be the exact copy you receive, furthermore the details about edition and year might not be accurate as many publishers reuse the same ISBN for multiple editions and as we simply scan a barcode or enter an ISBN we do not check the validity of the edition data when listing. If you're looking for an exact edition please don't order (at least not without checking with us first, although we don't always have time to check). We aim to dispatch prompty, the service used will depend on order value and book size. We can ship to most countries, see our shipping policies. Payment is via Abe only. N° de réf. du vendeur mon0000021408
Acheter D'occasion
EUR 34,94
Expédition à EUR 14,08
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Truth-Value Semantics
Edité par
North Holland Publishing Company, 1976
ISBN 10 : 0720428246
ISBN 13 : 9780720428247
Ancien ou d'occasion
Couverture rigide
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:0720428246. N° de réf. du vendeur 9775167
Acheter D'occasion
EUR 43,52
Expédition à EUR 15,76
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Truth-Value Semantics
Edité par
Elsevier Science Publishing Co Inc.,U.S., 1976
ISBN 10 : 0720428246
ISBN 13 : 9780720428247
Ancien ou d'occasion
Couverture rigide
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:0720428246. N° de réf. du vendeur 4137221
Acheter D'occasion
EUR 43,52
Expédition à EUR 15,76
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Truth-Value Semantics
Edité par
North-Holland, 1976
ISBN 10 : 0720428246
ISBN 13 : 9780720428247
Ancien ou d'occasion
Couverture rigide
Vendeur : killarneybooks, Inagh, CLARE, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. Hardcover, xii + 319 pages. Ex-college library, marked "withdrawn", with stamps and labels on prelims. Pages in very good condition: clean and bright, with unmarked text and firm binding. No foxing, no age-spotting. Boards show a short corner tear on the rear panel, light handling wear, a library label on lower spine. Issued without a dust jacket. -- 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). -- Hugues Leblanc's Truth-Value Semantics is a rigorous, groundbreaking monograph that reshaped the way philosophers and logicians approach non-classical systems of logic. Written during a period of intense scrutiny of formal semantics and the foundations of mathematics, the book develops a bold alternative to model-theoretic semantics: one that defines the meaning of logical constants and expressions entirely in terms of the truth-values they preserve. While standard Tarskian semantics builds on structures with domains and assignments, Leblanc's system rejects reliance on ontological commitments to domains of objects, offering instead a purely syntactic and truth-functional foundation for interpreting logical systems. Across its chapters, the book systematically constructs a semantic framework in which logical constants are defined extensionally via preservation of designated values in matrices. This allows for the development of non-classical logics - such as three-valued and many-valued systems - without the machinery of traditional model theory. Leblanc demonstrates how his semantics can accommodate classical logic, intuitionistic logic, relevance logic, and other systems of inference by carefully adjusting the truth tables and designated values within a given matrix. Crucially, he shows that this approach yields completeness theorems that are philosophically illuminating and formally elegant. In rejecting domain-based interpretations, Leblanc contributes to long-standing debates about the realism and anti-realism of formal systems, sidestepping metaphysical debates about quantification and reference. His approach makes room for logics that accommodate semantic paradoxes, vague predicates, or contexts where referential assumptions are indeterminate or unnecessary. Truth-Value Semantics is essential reading for philosophers of logic, mathematical logicians, and theoreticians concerned with the semantic underpinnings of formal systems. It stands in dialog with works by Alfred Tarski, Nuel Belnap, and later Susan Haack, but distinguishes itself by offering a unified and radically minimalist framework for logic that retains deductive power without ontological baggage. For academic libraries looking to strengthen their holdings in formal logic, philosophy of language, or foundations of mathematics, this book is not only relevant - it is foundational. -- Contents: Preface; Part One: Classical First-Order Logic: 1. The Syntax and (Truth-Value) Semantics of QC; 2. Soundness, Completeness and Compactness Theorems for QC; 3. TV-Verifiable Sets; 4. Standard First-Order Semantics; 5. Identity and Existence; Part Two: Other Logics: 6. Second-Order Logics (I); 7. Second-Order Logics (II); 8. Modal Logic (I); 9. Modal Logic (II); 10. Three-Valued Logic; Appendix: Notes Towards a History of Truth-Value Semantics; Bibliographical References; Index of Names; Index of Matters. N° de réf. du vendeur 011044
Acheter D'occasion
EUR 35,50
Expédition à EUR 33,70
Expédition depuis Irlande vers Etats-Unis
Expédition depuis Irlande vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Truth-Value Semantics
Edité par
Amsterdam, New York, Oxford, North-Holland Publishing Company, 1976
ISBN 10 : 0720428246
ISBN 13 : 9780720428247
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : avelibro OHG, Dinkelscherben, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
23 x 15,5 cm. Etat : Gut. 1. Auflage. XII, 319 Seiten Hardcover. Original Kunstledereinband. Bibliotheksschild auf Vorderdeckel. Ecken leicht bestoßen. Bibliotheksexemplar mit den üblichen Bibliotheksstempeln und Einträgen. Sonst innen sehr sauberer, guter Zustand. - Artificial leather with library label on upper cover. Corners easily bumped. Inside with the common library stamps and inscriptions. Otherwise very clean. B09-11-03D Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 700. N° de réf. du vendeur 53517
Acheter D'occasion
EUR 60
Expédition à EUR 10
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)