Quine, New Foundations, and the Philosophy of Set Theory

Quine, New Foundations, and the Philosophy of Set Theory
Author: Sean Morris
Publisher: Cambridge University Press
Total Pages: 221
Release: 2018-12-13
Genre: Philosophy
ISBN: 1108604536

Download Quine, New Foundations, and the Philosophy of Set Theory Book in PDF, Epub and Kindle

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.

Conceptions of Set and the Foundations of Mathematics

Conceptions of Set and the Foundations of Mathematics
Author: Luca Incurvati
Publisher: Cambridge University Press
Total Pages: 255
Release: 2020-01-23
Genre: History
ISBN: 1108497829

Download Conceptions of Set and the Foundations of Mathematics Book in PDF, Epub and Kindle

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

Set Theory and its Philosophy

Set Theory and its Philosophy
Author: Michael Potter
Publisher: Clarendon Press
Total Pages: 362
Release: 2004-01-15
Genre: Philosophy
ISBN: 0191556432

Download Set Theory and its Philosophy Book in PDF, Epub and Kindle

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.

Foundations of Set Theory

Foundations of Set Theory
Author: A.A. Fraenkel
Publisher: Elsevier
Total Pages: 415
Release: 1973-12-01
Genre: Computers
ISBN: 0080887058

Download Foundations of Set Theory Book in PDF, Epub and Kindle

Foundations of Set Theory discusses the reconstruction undergone by set theory in the hands of Brouwer, Russell, and Zermelo. Only in the axiomatic foundations, however, have there been such extensive, almost revolutionary, developments. This book tries to avoid a detailed discussion of those topics which would have required heavy technical machinery, while describing the major results obtained in their treatment if these results could be stated in relatively non-technical terms. This book comprises five chapters and begins with a discussion of the antinomies that led to the reconstruction of set theory as it was known before. It then moves to the axiomatic foundations of set theory, including a discussion of the basic notions of equality and extensionality and axioms of comprehension and infinity. The next chapters discuss type-theoretical approaches, including the ideal calculus, the theory of types, and Quine's mathematical logic and new foundations; intuitionistic conceptions of mathematics and its constructive character; and metamathematical and semantical approaches, such as the Hilbert program. This book will be of interest to mathematicians, logicians, and statisticians.

Set Theory and Its Logic

Set Theory and Its Logic
Author: Willard Van Orman Quine
Publisher: Harvard University Press
Total Pages: 384
Release: 1969
Genre: Mathematics
ISBN: 9780674802070

Download Set Theory and Its Logic Book in PDF, Epub and Kindle

This is an extensively revised edition of W. V. 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.

Set Theory and Its Logic, Revised Edition

Set Theory and Its Logic, Revised Edition
Author: Willard Van O QUINE
Publisher: Harvard University Press
Total Pages: 381
Release: 2009-06-30
Genre: Philosophy
ISBN: 0674042425

Download Set Theory and Its Logic, Revised Edition Book in PDF, Epub and Kindle

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
Author: Abraham Adolf Fraenkel
Publisher:
Total Pages: 297
Release: 1968
Genre:
ISBN:

Download Abstract Set Theory Book in PDF, Epub and Kindle

Principia Mathematica

Principia Mathematica
Author: Alfred North Whitehead
Publisher:
Total Pages: 688
Release: 1910
Genre: Logic, Symbolic and mathematical
ISBN:

Download Principia Mathematica Book in PDF, Epub and Kindle

Trading Ontology for Ideology

Trading Ontology for Ideology
Author: L. Decock
Publisher: Springer Science & Business Media
Total Pages: 316
Release: 2013-03-09
Genre: Philosophy
ISBN: 9401735751

Download Trading Ontology for Ideology Book in PDF, Epub and Kindle

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.

A Profile of Mathematical Logic

A Profile of Mathematical Logic
Author: Howard DeLong
Publisher: Courier Corporation
Total Pages: 322
Release: 2012-09-26
Genre: Mathematics
ISBN: 0486139158

Download A Profile of Mathematical Logic Book in PDF, Epub and Kindle

This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach, whose Pulitzer Prize–winning book was inspired by this work.