Cover image for The limits of logic : higher-order logic and the Löwenheim-Skolem theorem
The limits of logic : higher-order logic and the Löwenheim-Skolem theorem
Title:
The limits of logic : higher-order logic and the Löwenheim-Skolem theorem
Author:
Shapiro, Stewart, 1951-
ISBN:
9781855217317
Publication Information:
Aldershot ; Brookfield, USA : Dartmouth, c1996.
Physical Description:
xxii, 525 p. ; 25 cm.
Series:
International research library of philosophy ; 18

International research library of philosophy. Philosophy of logic, language, and mind.
Series Title:
International research library of philosophy ; 18

International research library of philosophy. Philosophy of logic, language, and mind.
Contents:
1. Beyond First-order Logic: The Historical Interplay between Mathematical Logic and Axiomatic Set Theory / Gregory H. Moore -- 2. Which Logic is the Right Logic? / Leslie H. Tharp -- 3. On Second-Order Logic / George S. Boolos -- 4. Second-Order Languages and Mathematical Practice / Stewart Shapiro -- 5. What Are Logical Notions? / Alfred Tarski -- 6. A Curious Inference / George Boolos -- 7. The Rationalist Conception of Logic / Steven J. Wagner -- 8. A Critical Appraisal of Second-Order Logic / Ignacio Jane -- 9. Who's Afraid of Higher-Order Logic? / Peter Simons -- 10. Ontological Reduction / Leslie H. Tharp -- 11. Intended Models and the Lowenheim-Skolem Theorem / Virginia Klenk -- 12. Categoricity / John Corcoran -- 13. Skolem's Paradox and Constructivism / Charles McCarty and Neil Tennant -- 14. Second-Order Logic, Foundations, and Rules / Stewart Shapiro -- 15. To Be is To Be a Value of a Variable (Or To Be Some Values of Some Variables) / George Boolos.

16. Nominalist Platonism / George Boolos -- 17. Second-Order Logic Still Wild / Michael D. Resnik -- 18. Kreisel, the Continuum Hypothesis and Second Order Set Theory / Thomas Weston -- 19. Skolem and the Lowenheim-Skolem Theorem: A Case Study gf the Philosophical Significance of Mathematical Results / Alexander George -- 20. Skolem and the Skeptic / Paul Benacerraf -- 21. Skolem and the Skeptic / Crispin Wright -- 22. Predication Versus Membership in the Distinction Between Logic as Language and Logic as Calculus / Nino B. Cocchiarella -- 23. Logicism, The Continuum and Anti-Realism / Peter Clark.
Copies: