Set Theory and Its Logic

Set Theory and Its Logic
Name	Set Theory and Its Logic
Author	Willard Van Orman Quine
Subject	Set theory, Mathematical logic
Publisher	Harvard University Press
Pub date	1963
Pages	359
Isbn	978-0674791206

Set Theory and Its Logic is a foundational 1963 work by the American philosopher and logician Willard Van Orman Quine. Published by Harvard University Press, the book presents a critical examination of the axiomatic foundations of set theory while advancing Quine's own systematic approach. It stands as a significant contribution to the philosophy of mathematics, bridging the technical developments of Ernst Zermelo and Abraham Fraenkel with Quine's distinctive philosophical views on ontology and reference.

Foundations and Basic Concepts

The work begins by elucidating the primitive notions of set theory, such as membership and extension, building upon the logical framework established in Principia Mathematica. Quine carefully distinguishes his approach from the naive set theory of Georg Cantor, which led to Russell's paradox. He discusses fundamental constructs like the empty set and singletons, while engaging with the logical philosophies of Gottlob Frege and Bertrand Russell. The exposition connects these ideas to the broader project of reducing mathematics to logic, a central theme in early 20th-century work by the Vienna Circle.

Axiomatic Systems

A core section is dedicated to analyzing and comparing major axiomatic systems. Quine provides a detailed exposition of Zermelo–Fraenkel set theory, including the Axiom of Choice and the Axiom of Infinity. He contrasts this with his own systems, such as New Foundations and Mathematical Logic, developed in response to the limitations of Type theory. The analysis includes discussions of the Axiom of Extensionality and the Axiom Schema of Specification, frequently referencing the foundational crises highlighted by Kurt Gödel's incompleteness theorems.

Set-Theoretic Operations and Relations

Quine systematically defines the standard operations of set theory, including union, intersection, and complement. The treatment of Cartesian product and power set operations is tied to their role in constructing mathematical entities within Zermelo–Fraenkel set theory. Relations such as subset and equinumerosity are formalized, with connections to the work of Richard Dedekind on the definition of real numbers. This section establishes the machinery necessary for the rigorous development of cardinal numbers and ordinal numbers.

Cardinal and Ordinal Numbers

The book delves into the transfinite arithmetic pioneered by Georg Cantor, defining cardinal numbers via the notion of bijection and exploring the continuum hypothesis. Quine examines the construction of ordinal numbers using well-ordering principles and the Burali-Forti paradox. This discussion is situated within the historical context of debates between Cantor and Leopold Kronecker, and later formalizations by John von Neumann. The limitations imposed by Gödel's and Paul Cohen's work on the independence of the continuum hypothesis are also addressed.

Paradoxes and Foundational Issues

A philosophical highlight is the analysis of set-theoretic paradoxes, including Russell's paradox, the Burali-Forti paradox, and Cantor's paradox. Quine uses these to critique naive comprehension and to motivate his axiomatic restrictions. He engages with proposed solutions from the logicist program of Frege and Russell, the intuitionism of L. E. J. Brouwer, and the formalism of David Hilbert. The discussion extends to semantic paradoxes like the liar paradox, connecting set theory to broader issues in the philosophy of language.

Applications in Mathematics

The final major section argues for the centrality of set theory as a foundation for modern mathematics. Quine illustrates how concepts from analysis, such as real numbers and continuous functions, are constructed within set theory. He touches on its role in algebra, through structures like groups and rings, and in topology, with notions of topological space. The influence of set-theoretic methods on the Bourbaki group and its comprehensive treatise, Éléments de mathématique, is noted as evidence of its unifying power across disciplines like number theory and measure theory.

Category:Mathematics books Category:Set theory Category:Logic books Category:1963 non-fiction books Category:Harvard University Press books