The limits of logic : higher-order logic and the Löwenheim-Skolem theorem /: higher-order logic and the Löwenheim-Skolem theorem. (2016)

• Record Type: Book
• Further Information: Note: Edited by Stewart Shapiro.
• Other Names: Shapiro, Stewart, 1951-
• Contents: Contents: Is Second-Order Logic Logic?: Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory, Gregory H. Moore; Which logic is the right logic?, Leslie H. Tharp; On second-order logic, George S. Boolos; Second-order languages and mathematical practice, Stewart Shapiro; What are logical notions?, Alfred Tarski; A curious inference, George Boolos; The rationalist conception of logic, Steven J. Wagner; A critical appraisal of second-order logic, Ignacio Jané; Who's afraid of higher-order logic?, Peter Simons. Ontological Reduction, Intended Interpretations and the Löwenheim-Skolem Theorems: Ontological reduction, Leslie H. Tharp; Intended models and the Löwenheim-Skolem theorem, Virginia Klenk; Categoricity, John Corcoran; Skolem's paradox and constructivism, Charles McCarty and Neil Tennant; Second-order logic, foundations and rules, Stewart Shapiro. Plural Quantification: To be is to be a value of a variable (or to be some values of some variables), George Boolos; Nominalist Platonism, George Boolos; Second-order logic still wild, Michael D. Resnick. Philosophy of Set Theory: Kreisel, the continuum hypothesis, and second-order set theory, Thomas Weston; Skolem and the Löwenheim-Skolem theorem: a case study of the philosophical significance of mathematical results, Alexander George; Skolem and the skeptic, Paul Benacerraf; Skolem and the skeptic, Crispin Wright; Predication versus membership in the distinction between logic as language and logic as calculus, Nino B. Cocchiarella; Logicism, the continuum and anti-realism, Peter Clark; Name index.
• Publisher Details: Place of publication not identified : Routledge
• Publication Date: 2016
• Extent: 1 online resource (552 pages)
• Subjects: 160; Logic, Symbolic and mathematical; Logic, Symbolic and mathematical; Symbolische logica
• Languages: English
• ISBNs: 9781351886666; 1351886665
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.