The limits of logic : higher-order logic and the Löwenheim-Skolem theorem
by
 
Shapiro, Stewart, 1951-

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.

Subject Term
Logic, Symbolic and mathematical.

Added Author
Shapiro, Stewart, 1951-


LibraryMaterial TypeItem BarcodeShelf NumberCopy
IIEMSAGeneral Books33168025540663160 S529L 19961