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-
| Library | Material Type | Item Barcode | Shelf Number | Copy |
|---|
| IIEMSA | General Books | 33168025540663 | 160 S529L 1996 | 1 |