Quine, New Foundations, and the Philosophy of Set Theory

Quine, New Foundations, and the Philosophy of Set Theory PDF Author: Sean Morris
Publisher: Cambridge University Press
ISBN: 1108604536
Category : Philosophy
Languages : en
Pages :

Get Book

Book Description
Quine's set theory, New Foundations, has often been treated as an anomaly in the history and philosophy of set theory. In this book, Sean Morris shows that it is in fact well-motivated, emerging in a natural way from the early development of set theory. Morris introduces and explores the notion of set theory as explication: the view that there is no single correct axiomatization of set theory, but rather that the various axiomatizations all serve to explicate the notion of set and are judged largely according to pragmatic criteria. Morris also brings out the important interplay between New Foundations, Quine's philosophy of set theory, and his philosophy more generally. We see that his early technical work in logic foreshadows his later famed naturalism, with his philosophy of set theory playing a crucial role in his primary philosophical project of clarifying our conceptual scheme and specifically its logical and mathematical components.

Quine, New Foundations, and the Philosophy of Set Theory

Quine, New Foundations, and the Philosophy of Set Theory PDF Author: Sean Morris
Publisher: Cambridge University Press
ISBN: 1108604536
Category : Philosophy
Languages : en
Pages :

Get Book

Book Description
Quine's set theory, New Foundations, has often been treated as an anomaly in the history and philosophy of set theory. In this book, Sean Morris shows that it is in fact well-motivated, emerging in a natural way from the early development of set theory. Morris introduces and explores the notion of set theory as explication: the view that there is no single correct axiomatization of set theory, but rather that the various axiomatizations all serve to explicate the notion of set and are judged largely according to pragmatic criteria. Morris also brings out the important interplay between New Foundations, Quine's philosophy of set theory, and his philosophy more generally. We see that his early technical work in logic foreshadows his later famed naturalism, with his philosophy of set theory playing a crucial role in his primary philosophical project of clarifying our conceptual scheme and specifically its logical and mathematical components.

Quine, New Foundations, and the Philosophy of Set Theory

Quine, New Foundations, and the Philosophy of Set Theory PDF Author: Sean Morris
Publisher: Cambridge University Press
ISBN: 110715250X
Category : History
Languages : en
Pages : 221

Get Book

Book Description
Provides an accessible mathematical and philosophical account of Quine's set theory, New Foundations.

Conceptions of Set and the Foundations of Mathematics

Conceptions of Set and the Foundations of Mathematics PDF Author: Luca Incurvati
Publisher: Cambridge University Press
ISBN: 1108497829
Category : History
Languages : en
Pages : 255

Get Book

Book Description
Presents a detailed and critical examination of the available conceptions of set and proposes a novel version.

Set Theory and Its Logic, Revised Edition

Set Theory and Its Logic, Revised Edition PDF Author: Willard Van O QUINE
Publisher: Harvard University Press
ISBN: 0674042425
Category : Philosophy
Languages : en
Pages : 381

Get Book

Book Description
This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject. The treatment of ordinal numbers has been strengthened and much simplified, especially in the theory of transfinite recursions, by adding an axiom and reworking the proofs. Infinite cardinals are treated anew in clearer and fuller terms than before. Improvements have been made all through the book; in various instances a proof has been shortened, a theorem strengthened, a space-saving lemma inserted, an obscurity clarified, an error corrected, a historical omission supplied, or a new event noted.

Abstract Set Theory

Abstract Set Theory PDF Author: Abraham Adolf Fraenkel
Publisher:
ISBN: 9780720422009
Category : Set theory
Languages : en
Pages : 0

Get Book

Book Description


Set Theory and its Philosophy

Set Theory and its Philosophy PDF Author: Michael Potter
Publisher: Clarendon Press
ISBN: 0191556432
Category : Philosophy
Languages : en
Pages : 362

Get Book

Book Description
Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. Potter offers a thorough account of cardinal and ordinal arithmetic, and the various axiom candidates. He discusses in detail the project of set-theoretic reduction, which aims to interpret the rest of mathematics in terms of set theory. The key question here is how to deal with the paradoxes that bedevil set theory. Potter offers a strikingly simple version of the most widely accepted response to the paradoxes, which classifies sets by means of a hierarchy of levels. What makes the book unique is that it interweaves a careful presentation of the technical material with a penetrating philosophical critique. Potter does not merely expound the theory dogmatically but at every stage discusses in detail the reasons that can be offered for believing it to be true. Set Theory and its Philosophy is a key text for philosophy, mathematical logic, and computer science.

Trading Ontology for Ideology

Trading Ontology for Ideology PDF Author: L. Decock
Publisher: Springer Science & Business Media
ISBN: 9401735751
Category : Philosophy
Languages : en
Pages : 282

Get Book

Book Description
Willard VanOrman Quine has probably been the most influential th American philosopher of the 20 century. His work spans over seven decades, and covers many domains in philosophy. He has made major contributions to the fields of logic and set theory, philosophy of logic and mathematics, philosophy of language, philosophy of science, epistemology and metaphysics. Quine's first work in philosophy was in the field of logic. His major contributions are the two set-theoretic systems NF (1936) and ML (1940). 1 These systems were alternatives to the type theory of Principia Mathematica or Zermelo's set theory, and are still being studied by 2 mathematicians. An indirect contribution to the field of logic is his strong resistance to moda110gic. Quine's objectIons to the notions of necessity and analyticity have influenced the development of moda110gic? Quine has had an enormous influence on philosophy of mathematics. When Quine entered philosophy there was a discussion on the foundations of mathematics between the schools of intuitionism, formalism, and conventionalism. Quine soon took issue with Carnap's conventionalism in "Truth by convention,,4 (1936). Quine has never joined one of the other schools, but has added new elements that are the basic ones of the 5 contemporary schools of nominalism, platonism, and structuralism. Quine has long been in the shadow of Benacerraf and Putnam in this field. At the moment there seems to be a renewed interest in Quine's work, and most philosophers explicitly refer to Quine's work.

Principia Mathematica

Principia Mathematica PDF Author: Alfred North Whitehead
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 688

Get Book

Book Description


The Logical Foundations of Mathematics

The Logical Foundations of Mathematics PDF Author: William S. Hatcher
Publisher: Elsevier
ISBN: 1483189635
Category : Mathematics
Languages : en
Pages : 330

Get Book

Book Description
The Logical Foundations of Mathematics offers a study of the foundations of mathematics, stressing comparisons between and critical analyses of the major non-constructive foundational systems. The position of constructivism within the spectrum of foundational philosophies is discussed, along with the exact relationship between topos theory and set theory. Comprised of eight chapters, this book begins with an introduction to first-order logic. In particular, two complete systems of axioms and rules for the first-order predicate calculus are given, one for efficiency in proving metatheorems, and the other, in a "natural deduction" style, for presenting detailed formal proofs. A somewhat novel feature of this framework is a full semantic and syntactic treatment of variable-binding term operators as primitive symbols of logic. Subsequent chapters focus on the origin of modern foundational studies; Gottlob Frege's formal system intended to serve as a foundation for mathematics and its paradoxes; the theory of types; and the Zermelo-Fraenkel set theory. David Hilbert's program and Kurt Gödel's incompleteness theorems are also examined, along with the foundational systems of W. V. Quine and the relevance of categorical algebra for foundations. This monograph will be of interest to students, teachers, practitioners, and researchers in mathematics.

Axiomatic Set Theory

Axiomatic Set Theory PDF Author: Patrick Suppes
Publisher: Courier Corporation
ISBN: 0486136876
Category : Mathematics
Languages : en
Pages : 265

Get Book

Book Description
Geared toward upper-level undergraduates and graduate students, this treatment examines the basic paradoxes and history of set theory and advanced topics such as relations and functions, equipollence, more. 1960 edition.