The Limits of Logic
Higher-Order Logic and the Loewenheim-Skolem Theorem
Published on 31. October 1996
Book
Hardback
552 pages
978-1-85521-731-7 (ISBN)
Description
The International research Library of Philosophy collects in book form a wide range of important and influential essays in philosophy, drawn predominantly from English-language journals. Each volume in the library deals with a field of enquiry which has received significant attention in philosophy in the last 25 years and is edited by a philosopher noted in that field.
Reviews / Votes
'Almost every significant paper on second-order logic and the philosophical importance of the LA?wenheim-Skolem theorems is here in this collection...a useful addition to the library of anyone interested in the nature of logic in general and in the function of second-order methods in particular.' Studia LogicaMore details
Series
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Taylor & Francis Ltd
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 244 mm
Width: 169 mm
Weight
1840 gr
ISBN-13
978-1-85521-731-7 (9781855217317)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
E-Book
12/2016
Routledge
€60.49
Available for download
E-Book
12/2016
Routledge
€60.49
Available for download
Person
Stewart Shapiro, University of St. Andrews, UK and The Ohio State University at Newark, USA Gregory H. Moore, Leslie H. Tharp, George S. Boolos, Stewart Shapiro, Alfred Tarski, Steven J. Wagner, Ignacio Jane, Peter Simons, Virginia Klenk, John Corcoran, Charles McCarty, Neil Tennant, Michael D. Resnick, Thomas Weston, Alexander George, Paul Benacerraf, Crispin Wright, Nino B. Cocchiarella, Peter Clark.
Content
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 Jane; Who's afraid of higher-order logic?, Peter Simons. Ontological Reduction, Intended Interpretations and the LA?wenheim-Skolem Theorems: Ontological reduction, Leslie H. Tharp; Intended models and the LA?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 LA?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.