Logic and Fixed-Domain Reasoning

Volume 2: Solutions to Selected Exercises

Ralph Gregory Taylor (Autor)

Buch | Hardcover

VIII, 372 Seiten

2026
Springer International Publishing (Verlag)
978-3-031-98192-0 (ISBN)

Infos

The author provides solutions to all the more challenging exercises in Ralph Gregory Taylor, Logic and Fixed-Domain Reasoning, Volume 1: An Empirico-Pragmatist Model Theory and Proof Theory. Suppressed details of technical results that are presented in Volume 1 are provided. In addition, second-order logics over fixed domain are fully developed by means of solutions to exercises. Likewise, philosophical discussion is amplified at key points.

Autor

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.

Inhalt

Chapter 1: Solutions to Exercises.- Chapter 2: Solutions to Exercises.- Chapter 3: Solutions to Exercises.- Chapter 4: Solutions to Exercises.- Chapter 5: Solutions to Exercises.- Chapter 6: Solutions to Exercises.- Chapter 7: Solutions to Exercises.- Chapter 8: Bibliography.

Produkt-Details

• Erscheinungsdatum: 13.06.2025
• Reihe/Serie: Trends in Logic
• Zusatzinfo: VIII, 372 p. 12 illus.
• Verlagsort: Cham
• Sprache: englisch
• Maße: 155 x 235 mm
• Themenwelt: Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
• Themenwelt: Geisteswissenschaften ► Philosophie ► Logik
• Schlagworte: description logic • Game-theoretic Semantics • Krasner-McGee Theorem • Logical System Over Fixed Domain • 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-98192-8 / 3031981928
• ISBN-13: 978-3-031-98192-0 / 9783031981920
• Zustand: Neuware