The Limits of Logic: Higher-Order Logic and the Löwenheim-Skolem Theorem: The International Research Library of Philosophy
Editat de Stewart Shapiroen Limba Engleză Hardback – 31 oct 1996
Preț: 1471.07 lei
Preț vechi: 1984.06 lei
-26% Nou
Puncte Express: 2207
Preț estimativ în valută:
281.58€ • 302.76$ • 234.74£
281.58€ • 302.76$ • 234.74£
Carte tipărită la comandă
Livrare economică 19 decembrie 24 - 02 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781855217317
ISBN-10: 1855217317
Pagini: 552
Dimensiuni: 169 x 244 mm
Greutate: 1.84 kg
Ediția:1
Editura: Taylor & Francis
Colecția Routledge
Seria The International Research Library of Philosophy
Locul publicării:Oxford, United Kingdom
ISBN-10: 1855217317
Pagini: 552
Dimensiuni: 169 x 244 mm
Greutate: 1.84 kg
Ediția:1
Editura: Taylor & Francis
Colecția Routledge
Seria The International Research Library of Philosophy
Locul publicării:Oxford, United Kingdom
Cuprins
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.
Recenzii
’Almost every significant paper on second-order logic and the philosophical importance of the Lö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 Logica
Descriere
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.