The Limits of Logic -

The Limits of Logic

Higher-Order Logic and the Löwenheim-Skolem Theorem

Stewart Shapiro (Herausgeber)

Buch | Hardcover
552 Seiten
1996
Dartmouth Publishing Co Ltd (Verlag)
978-1-85521-731-7 (ISBN)
319,95 inkl. MwSt
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.

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.

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.

Erscheint lt. Verlag 31.10.1996
Reihe/Serie The International Research Library of Philosophy
Sprache englisch
Maße 169 x 244 mm
Gewicht 1840 g
Themenwelt Geisteswissenschaften Philosophie Logik
Mathematik / Informatik Mathematik Logik / Mengenlehre
ISBN-10 1-85521-731-7 / 1855217317
ISBN-13 978-1-85521-731-7 / 9781855217317
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich

von Sandra Markewitz; Ansgar Lorenz

Buch | Softcover (2024)
Brill | Fink (Verlag)
19,90
ein Gegenentwurf zum kurzfristigen Denken : so werden wir zu den …

von Ari Wallach

Buch | Hardcover (2023)
REDLINE (Verlag)
18,00
eine logische Untersuchung

von Gottlob Frege; Uwe Voigt

Buch | Softcover (2024)
Phillip Reclam (Verlag)
5,20