The limits of logic : higher-order logic and the Löwenheim-Skolem theorem

Bibliographic Information

The limits of logic : higher-order logic and the Löwenheim-Skolem theorem

edited by Stewart Shapiro

(The international research library of philosophy, 18 . The philosophy of logic, language and mind)

Dartmouth, c1996

Available at  / 47 libraries

Search this Book/Journal

Note

Collected essays from English-language journals

Includes bibliographical references and index

Description and Table of Contents

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.

Table of 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 Jane
  • Who's afraid of higher-order logic?, Peter Simons. Ontological Reduction, Intended Interpretations and the LAwenheim-Skolem Theorems: Ontological reduction, Leslie H. Tharp
  • Intended models and the LAwenheim-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 LAwenheim-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.

by "Nielsen BookData"

Related Books: 1-1 of 1

Details

  • NCID
    BA28674412
  • ISBN
    • 1855217317
  • LCCN
    96000516
  • Country Code
    uk
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Aldershot, Hants ; Brookfield, Vt.
  • Pages/Volumes
    xxii, 525 p.
  • Size
    25 cm
  • Classification
  • Subject Headings
  • Parent Bibliography ID
Page Top