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

著者

• Shapiro, Stewart

書誌事項

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

注記

Collected essays from English-language journals

Includes bibliographical references and index

内容説明・目次

内容説明

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.

目次

• 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.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA28674412
• ISBN:
  • 1855217317
• LCCN: 96000516
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Aldershot, Hants ; Brookfield, Vt.
• ページ数/冊数: xxii, 525 p.
• 大きさ: 25 cm
• 分類:
  • LCC : BC135
  • DC20 : 160
  • NDC8 : 116
• 件名:
  • LCSH : Logic, Symbolic and mathematical
• 親書誌ID:
  • BA2010033X