Logic and Fixed-Domain Reasoning
Springer International Publishing (Verlag)
978-3-031-98188-3 (ISBN)
- Noch nicht erschienen - erscheint am 02.02.2026
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
The author develops, incrementally over the course of several chapters, related concepts of logical system over fixed domain, both classical and nonclassical, by means of pragmatism-inspired translations into paradigmatic, infinitary, quantifier-free languages having rigidly designating constants for all elements of a fixed domain. Each concept fully accommodates both the descriptive (model-theoretic) and deductive (proof-theoretic) tasks of any logic. Chapters 1 through 7 concern first-order logics over fixed domain. Final Chapter 8 takes up second-order logics whereby standard names for each and every boolean-valued function are now introduced. Along the way, substitutional theories of first-, alternatively, second-order relations are presented following Russell. Clarification of classification questions (What is a logical vs. mathematical term? A logical law? A logical operation?) is achieved, for logics over fixed domain, in a manner that may be unattainable in the case of variable-domain logics. The author adopts a nonstandard view according to which the fixed-domain logics of Peirce, Zermelo, and Carnap are no mere stepping stones on the path to variable-domain logics but, rather, constitute an alternative conception having certain clarificatory advantages. Consequently, the book should be of interest to both logicians and philosophers of logic.
Ralph Gregory Taylor has taught, most recently, in the Department of Philosophy at Baruch College in the City University of New York. He is currently Visiting Scholar at the Saul Kripke Center within the Graduate Center of the City University.
Chapter 1: A Paradigmatic Family of First-Order Logics over Fixed Domain.- Chapter 2: Deduction Calculi for First-Order Logics over Fixed Domain.- Chapter 3: A Substitutional Theory of First-Order Relations.- Chapter 4: Invariance under Domain Permutations.- Chapter 5: Infinitary First-Order Quantificational Logics.- Chapter 6: First-Order Logics with Generalized Quantification.- Chapter 7: The Province of Fixed-Domain Reasoning.- Chapter 8: Higher-Order Logics over Fixed Domain.
| Erscheinungsdatum | 13.06.2025 |
|---|---|
| Reihe/Serie | Trends in Logic |
| Zusatzinfo | LIV, 298 p. 16 illus., 3 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika |
| Geisteswissenschaften ► Philosophie ► Logik | |
| Schlagworte | description logic • Game-theoretic Semantics • Generalized Quantifier Over Fixed Domain • Krasner-McGee Theorem • Logical System Over Fixed Domain • Logic Demarcation Question • Logic over Fixed Domain • Peirce's First-Intentional Logic of Relations • Permutation-Invariant Operation Over Fixed Domain • Substitutional Theory of Relations Over Fixed Domain • Three-Valued Logic Over Fixed Domain • Truth-Functional Expansion • Zermelo's Systems of Infinitely Long Propositions |
| ISBN-10 | 3-031-98188-X / 303198188X |
| ISBN-13 | 978-3-031-98188-3 / 9783031981883 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
