Works › Set Theory and Its Logic
Work #1488 · Mid-career period

Set Theory and Its Logic

Quine's 1963 systematic treatise on the foundations of set theory

Willard Van Orman Quine · 1963 (revised 1969) · English · Mathematical-logical treatise

Tradition: Philosophical logic / Quinean naturalism / foundations of mathematics

Quine's 1963 textbook-treatise on set theory — including his own NF / ML systems alongside ZF

Published by Harvard University Press / Belknap in 1963 (revised edition 1969), 'Set Theory and Its Logic' is Quine's systematic textbook-treatise on the foundations of set theory and the most extended Quinean treatment of philosophy of mathematics. Across six chapters: (I) Logical Notation and Definitions — the formal apparatus; (II) Classes and Members — the basic set-theoretic vocabulary; (III) Relations, Functions, and Functions of Relations — the standard set-theoretic constructions; (IV) Ordinal Numbers — the von Neumann ordinal construction; (V) Cardinal Numbers — the construction of cardinals and the axiom of choice; (VI) Real Numbers and Rationals — number-theoretic constructions in set theory; (VII) Axiomatic Set Theory — the survey of axiomatic systems including Zermelo-Fraenkel, von Neumann-Bernays-Gödel, and Quine's own New Foundations (NF) and Mathematical Logic (ML). The book is methodologically distinctive in combining a textbook treatment of set theory with the explicit philosophical assessment of competing axiomatic systems — Quine's distinctive 'philosophical' set theory, that is. The book is the philosophically informed companion to Quine's earlier 'Mathematical Logic' (1940/1951) and the principal Quine work in philosophy of mathematics. The 1969 second edition added significant new material on alternative set theories. The book is one of the major twentieth-century texts on the philosophical foundations of mathematics and remains a standard reference.

Author

Editions cited

  • Set Theory and Its Logic (Harvard University Press / Belknap, Cambridge MA, 1963)
  • Revised second edition, 1969 (with substantial new material)
  • Quine's earlier related work: Mathematical Logic (Norton, 1940; revised Harvard 1951)
  • Critical commentary: J. Donald Monk, Mathematical Logic (Springer, 1976); Saharon Shelah, Cardinal Arithmetic (Oxford, 1994)
Compare this work

School Embodiments

Logicism · 28%
Analytic Metaphysics / Logical Atomism · 22%
Naturalism · 16%
Structuralism · 14%
Realism · 10%
Pragmatism · 10%
Logicism 28%

Major Quinean-logicist treatment of set theory.

"Set theory is the natural foundation for mathematics." (Set Theory and Its Logic, preface)
Analytic Metaphysics / Logical Atomism 22%

Ontological commitments via set-theoretic apparatus.

"What classes there are is settled by what existence assumptions our theory makes." (Set Theory and Its Logic, §1)
Naturalism 16%

Naturalistic background — set theory as ordinary scientific theory.

"Set theory is continuous with the rest of science." (Set Theory and Its Logic, conclusion)
Structuralism 14%

Structural treatment of mathematical objects.

"Numbers are positions in a set-theoretic structure." (Set Theory and Its Logic, ch. 11)
Realism 10%

Indispensability-style realism about set-theoretic entities.

"If we quantify over classes, we are committed to them." (Set Theory and Its Logic, §2)
Pragmatism 10%

Pragmatic ordering of axiomatic systems by usefulness.

"We choose among set-theoretic systems by their fruits." (Set Theory and Its Logic, ch. 15)

Internal Tensions

Quine's most substantial contribution to the foundations of mathematics outside Mathematical Logic. Continuously used as a textbook and reference; the survey of competing axiomatic systems makes it one of the principal sources for the philosophical assessment of foundational alternatives in set theory.

⧖

I. Time

1963 first edition; 1969 revised. Quine was 55 at first publication.

Attributes
Extent: Infinite Ontological Status: Substantival Grain: Continuous Freedom: Deterministic Traversability: Linear Direction: Uni-directional Dimensionality: One
✦

II. Space

Harvard — Quine's institutional base.

Attributes
Extent: Infinite Ontological Status: Substantival Curvature: Curved Dimensionality: Three Locality: Local
◉

III. Matter

Textbook-treatise (~360 pages). Form is mixed textbook-philosophical: technical exposition of set theory with extensive philosophical commentary on the competing axiomatic systems.

Attributes
Extent: Finite Ontological Status: Substantival Conservation: Conserved Dimensionality: Three Locality: Local
◎

IV. Observer

Quine as systematic logician. The observer-philosopher is the most prominent American logician and the leading philosopher of mathematics in the post-positivist analytic tradition.

Attributes
Time Instance: Single Space Instance: Single Knowledge Extent: Immediate Knowledge Retainment: Total Physicality: Embodied Agency: Passive Number: Plural Metaphysical Agency: Impersonal
⚡

V. Energy

Systematic-pedagogical energies. The book combines pedagogical clarity (Quine was a master textbook writer) with substantive philosophical positioning.

Attributes
Extent: Finite Ontological Status: Substantival Conservation: Conserved Dispersibility: Irreversible
⧉

VI. Information

Single comprehensive treatise on set theory. The axiomatic-systems survey (Chapter VII) is the most-cited philosophical-mathematical content.

Attributes
Ontological Status: Substantival Cosmic Conservation: Conserved Personal Conservation: Non-conserved Granularity: Continuous

Personas that cite this work

Willard Van Orman Quine Hilary Putnam

Personas with the nearest attribute fingerprint

Historical figures whose own classification on the same six-dimensional grid lands closest to this work's. Computed by attribute-agreement on coordinates both address.

97%
Albert Einstein
33/34
97%
Willard Van Orman Quine
33/34
94%
Bertrand Russell
32/34
94%
Charles Darwin
32/34
94%
Pierre-Simon Laplace
32/34
94%
Roy Bhaskar
32/34

Computed school proximity

The work's attribute fingerprint scored against all schools using the same quiz scorer. Useful as a sanity check on the hand-curated embodiments above.

76%
Stoicism
22/26
73%
Structuralism
22/26
72%
Scientism
23/26
72%
Realism
23/26
69%
Behaviorism
22/26
69%
Evolutionary Psychology
22/26
68%
Eternalism
21/26
68%
Reformed / Calvinist Theology
22/26

How Set Theory and Its Logic resolves each dilemma

34 resolved positions across 4 dimensions, including 6 distinctive where the majority of schools go the other way · 23 unaligned.

Each dimension is sorted so minority positions come first. Mainstream positions are folded into an expandable list.

Time · 9 dilemmas · 3 distinctive

Persistence, the future, and the direction of becoming.

Distinctive · only 10% of schools agree (20/202)
Do you really choose?
If the brain is a physical system and physical systems are governed by laws, then every choice is also a chain of causes — which raises the question of what was really left to choose.
Choice is structural illusion — every event is fixed by the prior state.
On this view, the future is fixed by the present, and the observer is a recipient of causes rather than an originator of them. The sense of choosing is real — but what is being chosen is itself a consequence of brain states that were …
Roads not taken The future is open and you are a genuine origin of it. (69%) · Choice is real within a determined order — agency and determinism aren’t opposites. (9%) · Even if the universe is undetermined, you are not the chooser. (6%)
Distinctive · only 10% of schools agree (20/202)
Are addicts responsible for their addiction?
Addiction looks from one angle like the textbook case of agency failing — a person doing what they don't, in any meaningful sense, want to do. From another angle it looks like agency at work in hard conditions. Which it is depends on what agency is.
The addict's behaviour is the outcome of causes; 'responsibility' is a useful fiction, not a metaphysical fact.
On this view, the addict's brain state, history, genetics, and circumstances jointly produce the behaviour, and there is nothing inside the person that could have produced anything else. Calling the addict responsible is at best a social tool — useful for the deterrent and rehabilitative …
Roads not taken The addict could have chosen otherwise — that's why recovery is real. (69%) · The addict is genuinely responsible within a determined order. (9%) · Even if the universe is undetermined, the addict isn't the chooser. (6%)
Distinctive · only 10% of schools agree (20/202)
Should we hold AI systems responsible for what they do?
When an autonomous AI takes an action that harms someone, the question of who or what is responsible — the developer, the operator, the model itself — turns on whether the model is the kind of thing that can be a responsible agent.
An AI's behaviour is fully determined by training and input; 'responsibility' applies if at all to its makers.
On this view, the AI's output is a function of its training data, its architecture, and the input it received. There is no extra fact about the AI that could ground its responsibility, because there is no extra fact about the AI that could have …
Roads not taken An AI without a free will is not the kind of thing that can be responsible. (69%) · The AI can be a genuine agent within determined conditions — and therefore genuinely responsible. (9%) · Neither AIs nor anyone else are the locus of free agency; the question is the wrong one. (6%)
6 mainstream positions
How much weight do future people deserve? Future people are as real as you are — and their interests count for as much. 47% Is regret rational? The past is as real as the present; regret is a real attitude toward a real thing. 47% Do we owe extinct species something we cannot give them? Extinct species are as real as we are; they have standing. 47% Is the universe running out of usable energy? Time is unbounded but matter is finite; usable energy can fail without time failing. 47% Are natural resources fundamentally finite, or only practically so? Time goes on but matter is bounded; we are eventually constrained even with infinite time. 47% Could we owe future generations more than is materially possible to provide? Time is unbounded but matter is not; we can owe more across long time than the matter can provide. 47%
Matter · 7 dilemmas, all mainstream
Is the world created from nothing? Yes — matter was created and is conserved as a real substance. 55% Is the physical world fully real? Yes — the physical world is fully real, mind-independent, persisting. 55% Does matter have intrinsic moral standing? Matter is morally considerable insofar as it is created or conserved good. 55% What is money? Money is a real institution with intrinsic features. 54% What is a nation? A nation is a real moral community with intrinsic character. 54% What makes someone male or female? Sex is a real biological kind with given content. 54% Should we edit the human germline? Human nature is a real biological kind given by reproductive biology or by creation; editing the germline transgresses what is given. 54%

Observer · 37 dilemmas · 3 distinctive

Mind, agency, and the knower's relation to the known.

Distinctive · only 12% of schools agree (25/202)
What is our place in nature?
Whether humans are masters of nature, members of nature, or makers of nature is not a question climate science can settle. It depends on what nature is, what we are, and what kind of relationship is possible between us.
Subject to a real natural order we did not make.
On these views, nature is a real, ordered, mind-independent reality that we are inside of but did not construct. Our fundamental posture toward it is one of observation, discovery, and humility before laws that are not ours to make. Stewardship and conservation are real obligations, …
Roads not taken Active in a real nature — we cultivate, steward, transform. (48%) · Nature is partly what we make of it — concepts, practices, and minds shape the world. (15%) · Embedded in a web — partners with the more-than-human world. (15%)
Distinctive · only 12% of schools agree (25/202)
Should we colonize space?
The drive to extend human presence beyond Earth is sometimes framed as the next chapter of stewardship, sometimes as hubris, sometimes as escape from problems we ought to solve here. Which it is depends on what we take our relationship to nature to be.
Nature includes its limits; colonisation is bounded by what the cosmos allows.
On these views, humans operate within a given natural order whose laws and limits set the terms. Space colonisation is fine to the extent that it is actually possible — radiation, gravity wells, biological tolerances — and folly to the extent that it requires denying …
Roads not taken Cultivating worlds beyond Earth is the next form of stewardship. (48%) · The 'space frontier' is partly what we make of it. (15%) · Colonisation continues the work that ended the wisdom of seven-generation thinking. (15%)
Distinctive · only 12% of schools agree (25/202)
Is genetic engineering of food stewardship or domination?
Editing the genomes of the plants and animals we eat is either the natural continuation of breeding — careful improvement of what is given — or a category error that treats biology as raw material rather than as living kind.
Biology is what it is; we modify it within real biological constraints.
On these views, organisms are real biological systems with real constraints, and genetic modification is reasonable when it works within those constraints and dangerous when it ignores them. The question is technical: does this modification do what its proponents say, with the unintended consequences they …
Roads not taken Genetic modification is cultivation by other means. (48%) · What counts as a 'natural' genome is itself a construction. (15%) · Editing the genome cuts into the relational fabric; we should be very slow. (15%)
11 mainstream positions
Could causation work backwards? Causation runs one way — the arrow of time is real and structural. 68% Is the asymmetry between memory and anticipation a real feature of time, or just of us? The asymmetry is real because time itself has a real direction. 68% Is the arrow of time a real feature of the cosmos, or only of how we describe it? The arrow is real and structural; the asymmetry isn't an artifact of description. 68% Is environmental damage ever truly permanent? Damage is real and permanent on the relevant timescales. There is no recovery; there is only limitation. 66% Can a civilization recover from collapse? Civilizational complexity is hard to build and easy to lose; recovery is at best partial. 66% Does the second law of thermodynamics mean something morally? Entropy is what time is. The moral weight, if any, is the weight of working against the current. 66% When does a person begin? A person exists from conception — when a new being comes into existence. 54% What is marriage? Marriage has a given form — it’s a kind of thing we recognize, not make. 54% Should we trust expert testimony when we can't verify it? Trust expertise whose conclusions a competent mind can in principle reproduce. 32% Is religious revelation a real source of knowledge? Revelation is evaluable by reason — and not above it. 32% Does an LLM 'know' the things it correctly produces? An LLM can produce correct outputs but not reason to them; useful, not knowing. 32%
23 unaligned
Are coincidences ever more than coincidence? Schools split: 49% / 37% / 8% — Are the dead morally present to the living? Schools split: 44% / 35% / 13% — Are there indivisible units of experience? Schools split: 44% / 37% / 13% — Can prayer for someone far away affect them? Schools split: 49% / 37% / 8% — Could a fetal brain organoid in a petri dish be conscious? Schools split: 32% / 29% / 11% — Could an AI have a mind that matters? Schools split: 30% / 30% / 15% — Do animals have moral standing comparable to humans? Schools split: 32% / 29% / 11% — Does environmental harm in another country bind me morally? Schools split: 50% / 29% / 12% — Does history have a direction or meaning? Schools split: 37% / 23% / 19% — Does meditation reveal something genuinely timeless? Schools split: 46% / 33% / 13% — Does prayer change God's mind? Schools split: 46% / 33% / 13% — How is knowledge of reality produced? Schools split: 25% / 17% / 13% — If a teleporter copied and destroyed you, would you have survived? Schools split: 36% / 29% / 14% — Is divine omniscience compatible with human freedom? Schools split: 46% / 33% / 13% — Is memory stored or reconstructed? Schools split: 44% / 37% / 13% — Is reality fundamentally digital? Schools split: 44% / 37% / 13% — Is salvation, liberation, or fulfillment individual or communal? Schools split: 15% / 14% / 4% — Is the late-stage dementia patient still the person their spouse married? Schools split: 36% / 29% / 14% — Is truth universal, tradition-bound, situated, or constructed? Schools split: 65% / 16% / 10% — What happens to "you" when you die? Schools split: 37% / 30% / 18% — What kind of religious-theological authority does the tradition recognize? Schools split: 44% / 16% / 14% — What makes someone the same person over time? Schools split: 36% / 29% / 14% — Who is the moral primary — the individual, the community, the cosmos, the class, or the species? Schools split: 40% / 28% / 14% —
Information · 4 dilemmas, all mainstream
Is anything truly lost when someone forgets? Information is lost when a mind forgets; matter and energy continue, but the pattern is gone. 51% Does deleting your data online destroy something real? Information is genuinely lost when the substrate that hosted it goes; deletion really destroys. 51% Could the dead, in principle, be brought back? The information dissipates with the substrate; restoration is in principle impossible. 51% Is forgiveness ontologically possible? The offense is locally constituted by its substrate; when the substrate dissolves, the offense genuinely passes away. 51%
← #1487 From a Logical Point of View All Works #1489 Ontological Relativity and Other Essays →