Secondary
Literature on the Löwenheim-Skolem Theorem and Skolem’s Paradox
A
Comprehensive Guide for Philosophical Inquiry into Grietas
Overview
The Löwenheim-Skolem theorem stands as one of the most
philosophically rich results in modern logic, generating what is
sometimes called “Skolem’s paradox.” The secondary literature on this
theorem spans model theory, philosophy of mathematics, philosophy of
language, and metaphysics, making it essential reading for understanding
how formal systems fail to pin down reference and meaning
absolutely.
This guide organizes the secondary literature thematically, with
special attention to how these results relate to the grietas
framework.
Major
Reference Works and Stanford Encyclopedia Entries
Skolem’s
Paradox - Stanford Encyclopedia of Philosophy
Citation: “Skolem’s Paradox.” Stanford
Encyclopedia of Philosophy, edited by Edward N. Zalta, Center for
the Study of Language and Information, Stanford University. Multiple
editions available (2009–2021+).
Key Contributions: - The SEP
entry clearly frames the paradox: the Löwenheim-Skolem theorem says that
if a first-order theory has infinite models, then it has models whose
domains are only countable, while Cantor’s theorem says that some sets
are uncountable - Philosophical focus on three central questions:
(1) Do first-order sentences actually “say” that uncountable sets exist?
(2) Is “uncountability” relative or absolute? (3) What does this reveal
about formal systems? - Comprehensive bibliography of responses to the
paradox
Relevance to Grietas: This entry
establishes that Skolem’s paradox is not a logical error but a “novel
and unexpected feature of formal systems” (van Heijenoort’s
characterization). The crack between what axioms seem to express and
what models satisfy them is structural, not accidental.
Löwenheim-Skolem
Theorems and Nonstandard Models - Routledge Encyclopedia of
Philosophy
Citation: “Löwenheim–Skolem theorems and nonstandard
models.” Routledge Encyclopedia of Philosophy, Routledge.
1998+.
Key Contributions: - Historical
framing: formalized set theory was meant to pin down “the hugely
infinite world” it seemed to reveal, but Löwenheim and Skolem proved no
such formalized set theory can come out true only in that world -
Distinction between trying to describe a structure and trying to
articulate a conception, with set theory as a cautionary example -
Technical explanation of how categoricity (uniqueness of models up to
isomorphism) is defeated by the theorem
Relevance to Grietas: This entry emphasizes
that the theorem reveals a fundamental gap between our conceptual
intentions and what formal axioms can guarantee. The “articulation may
fail to pin down what we had in mind” — a perfect description of a
grieta.
Historical
and Philosophical Accounts of Skolem’s Own Work
Alexander
George — Skolem and the Löwenheim-Skolem Theorem: A Case Study of the
Philosophical Significance of Mathematical Results
Citation: George, Alexander. “Skolem and the
Löwenheim-Skolem Theorem: A Case Study of the Philosophical Significance
of Mathematical Results.” PhilPapers. Reprinted in various
collections.
Key Contributions: - Critical
examination of Skolem’s philosophical uses of the theorem, arguing that
these uses “invariably beg the questions at issue” -
Claims that Skolem shifted his position on the
philosophical significance of the theorem as a result of shifts in his
background beliefs - Ironic conclusion: “Skolem’s own case
provides a historical example of the philosophical flexibility of his
theorem” - Caution: “Our suspicion ought always to be aroused when a
proof proves more than its means allow it”
Relevance to Grietas: This work is crucial
for understanding that the paradox itself is flexible —
different philosophers draw different conclusions. The theorem does not
resolve what it seems to resolve. This flexibility is itself a feature
of the grieta: no stable interpretation of the result can be
sustained.
The
Philosophical Impact of the Löwenheim-Skolem Theorem - Academic
Research
Citation: Springer Nature handbook chapter on the
theorem’s impact. (Exact citation varies by year.)
Key Contributions: - The theorem
made “a revolutionary impact on the history of the twentieth century
mathematics, and philosophy of mathematics in particular” -
Consequences were “most disastrous” for Hilbert’s
categoricity demand and Cantor’s concept of cardinality - Argues
that while the theorem points to the “expressive weakness of first-order
language,” this lesson about language is “only the first part of the
story” - Implies deeper metaphysical consequences beyond mere technical
limitations
Relevance to Grietas: The term “disastrous”
captures the philosophical rupture: formal systems cannot deliver what
they promise. This is not a bug but a revealing feature of the
fundamental architecture of thought itself.
Contemporary
Logic and Philosophy of Mathematics
Lowenheim-Skolem
Theorem - Britannica Encyclopedia
Citation: “Löwenheim–Skolem theorem.” Britannica
Online Encyclopedia.
Key Contributions: - Standard
formulation: if a sentence (or formal system) has any model, it has a
countable or enumerable model - Distinguishes the downward
theorem (countable models) from the upward theorem (arbitrarily large
models) - Notes that the theorem has “two parts” with complementary
philosophical implications
Relevance to Grietas: The upward
Löwenheim-Skolem theorem is particularly striking for grietas:
a first-order theory with an infinite model has models of every infinite
cardinality. This means formal systems underdetermine the “size” of what
they describe — a deep incommensurability between syntax and intended
semantics.
The
Löwenheim-Skolem Theorem in Modern Logic Textbooks
Citation: Zach, Richard et al. “2.6.11: The
Löwenheim-Skolem Theorem.” In Sets, Logic, Computation (Logic and
Reasoning). Humanities LibreTexts, 2024.
Key Contributions: - Clear
pedagogical exposition: “if a theory has an infinite model, then it also
has a model that is at most countably infinite” -
Immediate consequence: “first-order logic cannot
express that the size of a structure is uncountable” -
Applies to ZFC: “ZFC also has countable models—models
that contain ‘uncountable’ sets but which themselves are
countable”
Relevance to Grietas: The quotation marks
around “uncountable” in the final point are philosophically crucial —
they flag that uncountability is model-relative, not absolute. This is
where the grieta opens.
Key Contributions: - Skolem’s key
insight: “the countability of a set is not absolute, but relative to the
model in which the cardinality is measured” -
Describes the result as “not an actual antinomy like
Russell’s paradox” but a “novel and unexpected feature” -
Hilary Putnam’s extension: “not only are
set-theoretic notions of membership relative, but semantic notions of
language are relative: there is no ‘absolute’ model for terms and
predicates in language” - Notes Zermelo’s harsh reaction, arguing
against the limitations of first-order logic
Relevance to Grietas: Skolem’s conclusion
about relativity is foundational for understanding grietas
philosophically: there is no view from nowhere, no absolute standard, no
way to pin down reference without invoking a model. The crack is not in
our knowledge but in the structure of meaning itself.
Model-Theoretic
Arguments Against Realism: Putnam’s Development
Hilary
Putnam on Metaphysical Realism and Model Theory
Citation (Routledge): “Putnam, Hilary (1926–2016).”
Routledge Encyclopedia of Philosophy, Routledge.
Key Contributions: - The
Löwenheim–Skolem theorem entails that a first-order theory, rich enough
to contain arithmetic, does not determine its models up to
isomorphism - Putnam’s extrapolation: “even an
ideal theory of the world, complying with all empirical and theoretical
constraints, will not define a unique model, that is, a unique reference
relation” - This undermines metaphysical realism’s core claim:
that there is a unique, mind-independent way the world is
Relevance to Grietas: Putnam’s argument
shows that the grieta between theory and reality is not merely
epistemological but touches on the very possibility of determinate
reference. Language cannot “latch onto” the world in a way that fixes
meaning absolutely.
Citation: Multiple scholarly papers, including works
by Hallet, Hansen, Gardiner, and others in contemporary journals.
Key Works and Findings: - M. Q. Gardiner,
“Operational Constraints and the Model-theoretic Argument,”
Erkenntnis 43 (1995): 395–400. - C. Hansen, “Putnam’s
Indeterminacy Argument: The Skolemization of Absolutely Everything,”
Philosophical Studies 51 (1987): 77–99. - M. Hallet, “Putnam
and the Skolem Paradox,” in Clark & Hale (eds.),
Proceedings, pp. 66–97 (1994).
Key Contributions: - Putnam’s
argument is “developed as an extension of a model-theoretic argument
against mathematical realism based on considerations concerning the
so-called Skolem-Paradox” - Extensive critical examination of
Putnam’s fine-grained logical structure - Some scholars argue Putnam’s
validity is “doubtful” and that realists are “by no means forced to
accept the theses Putnam ascribes to them” - Others defend Putnam’s
immunity to metamathematical challenges
Relevance to Grietas: The ongoing scholarly
debate about Putnam’s argument demonstrates that the implications of
Löwenheim-Skolem remain contested. This very contestation is
philosophically significant: the theorem produces a permanent opening in
discourse about reference and meaning.
The
Brain-in-the-Vat Argument and Model Theory
Citation: Putnam, Hilary. “Reason, Truth, and
History.” Cambridge University Press, 1981. Chapter 1.
Also: Contemporary secondary literature on Putnam’s
BIV argument, including work by Irfan Khawaja, Tim Button, and
others.
Key Contributions: - Putnam
“always mentions the Löwenheim–Skolem theorems as his inspiration for
his new view” - The BIV scenario is a reductio ad absurdum of
metaphysical realism using model-theoretic reasoning - If all evidence
is compatible with multiple models, then no evidence determines which
model is “the real world” - Implication: either abandon realism or
accept internal realism (truth is relative to a framework)
Relevance to Grietas: The BIV argument
extends Skolem’s paradox from set theory to epistemology and
metaphysics. The crack between what we experience and what is “really”
the case cannot be closed by appeal to facts, because facts themselves
are model-dependent.
Categorical
Theories and Second-Order Logic
Citation: Button, T., Moore, G., and others on
categoricity in arithmetic and set theory.
Key Findings: - If the
Löwenheim-Skolem skeptic presents a countable model of set theory, that
model cannot be described-within-itself as “countable” (since
countability within the model differs from countability external to
it) - First-order arithmetic (PA) has only non-categorical models
(many non-isomorphic models) - Second-order logic with full semantics
can be categorical for arithmetic (Dedekind’s Categoricity Theorem) -
But invoking full second-order semantics raises its own philosophical
questions
Relevance to Grietas: This literature shows
that “escaping” the Löwenheim-Skolem limitation requires abandoning
first-order logic, but doing so introduces new formal and philosophical
problems. The grieta cannot be closed; it can only be
relocated.
Contemporary Philosophical
Debates
Skolem’s
Paradox and the Relativity of Set-Theoretic Notions
Citation: Multiple sources in contemporary
philosophy of mathematics and logic.
Key Issue: - Is Skolem’s paradox revealing something
deep about the structure of reality (ontological relativism)? -
Or is it revealing something about the expressive power of
language (semantic relativism)? - Or both?
Positions in the Literature:
Deflationary View: The paradox is not really a
paradox; it simply shows first-order logic’s limitation. (Widely held;
van Heijenoort’s position)
Philosophical View: The paradox reveals that
formal axiomatization cannot pin down intended models. (Putnam, some
contemporary philosophers)
Radical View: The paradox shows that cardinality
itself is model-relative; there is no absolute fact about whether a set
is countable or uncountable. (Skolem’s own later position)
Constructivist View: The paradox motivates
constructive approaches to mathematics where only computably definable
objects exist. (Echoes of Skolem’s constructivism)
Relevance to Grietas: Each position accepts
a different philosophical lesson from the same formal result. The
grieta is not resolved but reinterpreted. This flexibility
reveals that the theorem’s significance lies not in formal logic alone
but in what it says about the relationship between thought and
reality.
Specialized Topics and
Recent Work
Non-Standard Models
and Peano Arithmetic
Citation: Various papers in mathematical logic; see
comprehensive bibliographies in SEP and REP entries.
Key Points: - ZFC has countable
models containing “uncountable” sets - Non-standard models of PA
(Peano Arithmetic) are models of arithmetic that are not isomorphic to
the standard natural numbers - These models show that no first-order
axiomatization of arithmetic is categorical
Relevance to Grietas: Non-standard models
reveal that even elementary mathematics (arithmetic) cannot be uniquely
specified by first-order axioms. The “natural numbers” that seem so
simple and unambiguous turn out to have multiple, inequivalent
interpretations.
The Algebraic Conception
of Set Theory
Citation: SEP entry on Skolem’s Paradox, Section 3.3
on the “algebraic conception.”
Key Idea: - Rather than seeing set theory as
describing a pre-existing realm of sets, the algebraic conception treats
set theory as defining an abstract structure (like a group or field
defines structure in algebra) - On this view, multiple models are not a
bug but a feature: they are all equally “correct” interpretations of the
algebraic structure - Skolem’s paradox becomes philosophically
tractable: of course there are countable models of ZFC, just as there
are finite fields and infinite fields satisfying the field axioms
Relevance to Grietas: This reframing shows
that the grieta can be understood not as a limitation but as
freedom. Once we abandon the metaphysical realist demand for a unique,
absolute model, the multiplicity of models becomes philosophically
acceptable. The crack is where multiple readings of reality become
possible.
Semantic
Relativity and the Indeterminacy of Reference
Citation: Putnam, H. “Models and Reality.” The
Journal of Symbolic Logic 45, no. 3 (1980): 464–482.
Also: Secondary literature by Velleman, Bays,
Bellotti, and others.
Key Contributions: - Extends Skolem’s insight from
set theory to language: if models of set theory are indeterminate, then
so are the reference relations for predicates in language - Predicates
like “set,” “number,” “object” do not have determinate extensions across
all possible models - This supports indeterminacy of reference and
undermines metaphysical realism about language
Relevance to Grietas: The grieta
spreads from formal systems to natural language itself. We cannot use
language to “step outside” the model and adjudicate which model is “the
real one.” The crack runs through language, meaning, reference, and
thought itself.
Critical Perspectives and
Objections
Skeptics About
the Philosophical Significance
Citation: Works by philosophers who argue the
theorem has been over-interpreted philosophically.
Key Objections: 1. The theorem only concerns
first-order logic; higher-order logic and full semantics may
escape the limitation 2. The philosophical lesson depends on
philosophical assumptions (realism, externalism) that can be questioned
3. Different interpretations of the theorem yield radically different
philosophical conclusions (George’s point)
Counterarguments: 1. Even if higher-order logic is
invoked, it raises new foundational questions about its semantics 2. The
theorem’s philosophical significance does not depend on all
philosophical positions accepting it — only on recognizing that no
logical fact alone settles the matter
Relevance to Grietas: The ongoing
philosophical dispute confirms that Löwenheim-Skolem opens a permanent
grieta in our understanding of formal systems and language. No
technical result can close it; only philosophical choices can relocate
it.
Relevant Comparative
Material
Nāgārjuna
and the Indeterminacy of Logical Position
Note: While not directly about Löwenheim-Skolem,
scholars like Priest have noted striking parallels between: - Skolem’s
observation that set-theoretic notions are model-relative - Nāgārjuna’s
teaching that all conceptual positions are empty (śūnya) of
intrinsic essence - Both suggest that no framework can claim absolute
validity; all frameworks are provisional
Citation: Priest, Graham & Garfield, Jay L.
“Nāgārjuna and the Limits of Thought.” In Beyond the Limits of
Thought. Oxford University Press, 2002.
Relevance to Grietas: This comparative
perspective suggests that the grieta revealed by
Löwenheim-Skolem is not a modern discovery but a structural feature of
rational thought that Eastern philosophy recognized long ago. The
theorem provides a formal proof of an insight that contemplative
traditions have long taught.
Suggested
Reading Order for Deep Engagement with Grietas
Foundational (Start
Here)
Stanford Encyclopedia of Philosophy: “Skolem’s Paradox”
Routledge Encyclopedia: “Löwenheim-Skolem theorems and nonstandard
models”
Britannica entry on the theorem
Expected outcome: Clear understanding of what the
theorem states and what Skolem’s paradox is.
Philosophical
Development (Middle)
Alexander George: “Skolem and the Löwenheim-Skolem Theorem”
Putnam’s Reason, Truth, and History (Chapter 1 on the
model-theoretic argument)
Secondary literature on Putnam’s argument (Hallet, Hansen,
Gardiner)
Expected outcome: Grasp of how the theorem poses
philosophical problems about realism, reference, and the limits of
formal axiomatization.
Advanced
Integration (Deeper Engagement)
Springer chapter on the theorem’s philosophical impact
Contemporary debates on the algebraic conception of set theory
Putnam’s “Models and Reality” and attendant scholarship
Comparative material (Priest & Garfield on Nāgārjuna)
Expected outcome: Sophisticated understanding of how
Löwenheim-Skolem relates to metaphysics, semantics, epistemology, and
comparative philosophy; readiness to use these insights in your own
philosophical project.
Key Themes for
Grietas Integration
1. The
Indeterminacy of Formal Systems
Löwenheim-Skolem shows that any formal system (first-order)
underdetermines its models. This is a perfect illustration of a
grieta: the crack between what we say (axioms) and what we mean
(intended model).
2. The
Relativity of Fundamental Concepts
Countability, cardinality, membership — none of these are absolute.
They are all relative to the model. This relativity is not a limitation
but a structural feature revealing that formal systems live within
frameworks, not above them.
3. The
Impossibility of a View from Nowhere
Putnam’s extension of the theorem to language and reference shows we
cannot step outside all possible models to adjudicate which is “the real
world.” Every judgment about reality is made from within a
model/framework/perspective.
4. The Flexibility of
Formal Results
As George notes, Skolem himself shifted his philosophical
interpretation of the theorem. The mathematical result is fixed, but its
philosophical meaning is flexible — revealing that the real
philosophical work lies in interpretation, not in the formal result
itself.
5. The Bridge to Eastern
Thought
The theorem’s insights about the limits of rational systematization
and the relativity of conceptual categories parallel teachings in
Buddhist and Advaitic philosophy, suggesting deep connections between
formal logic and contemplative insight.
Annotation: Original 1915 paper introducing
downward Löwenheim-Skolem theorem. Foundational but difficult technical
German; essential for historical understanding.
Skolem, Thoralf. “Logisch-kombinatorische Untersuchungen über die
Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem
Theoreme über dichte Mengen.” Videnskapsselskapet Skrifter, I.
Matematisk-naturvidenskabelig Klasse, No. 4 (1920): 1–36.
Annotation: Skolem’s 1920 work on satisfiability
and provability; extended Löwenheim’s results. Key for understanding
Skolem’s own interpretation.
Skolem, Thoralf. “Abstract Proofs of Gödel’s and Church’s
Undecidability Theorems.” Norsk Matematisk Tidsskrift 33
(1951): 1–10.
Annotation: Later work connecting Löwenheim-Skolem
to Gödel and Church undecidability results.
van Heijenoort, Jean (ed.). From Frege to Gödel: A Source Book
in Mathematical Logic, 1879–1931. Harvard University Press, 1967.
Annotation: Essential source collection; includes
Löwenheim’s 1915 paper and Skolem’s work in English translation with
scholarly context.
Reference Works
and Philosophical Treatments
“Skolem’s Paradox.” Stanford Encyclopedia of Philosophy,
edited by Edward N. Zalta, Center for the Study of Language and
Information, Stanford University. (Multiple editions: 2009–2021+).
https://plato.stanford.edu/entries/paradox-skolem/
Annotation: Best current treatment of the paradox
and its philosophical implications. Free online; updated regularly.
“Löwenheim–Skolem theorems and nonstandard models.” Routledge
Encyclopedia of Philosophy. Routledge, 1998+.
Annotation: Philosophical emphasis on what the
theorem means for formal systems and their interpretation.
“Löwenheim–Skolem theorem.” Britannica Online Encyclopedia.
Annotation: Accessible standard reference with
clear technical exposition.
Philosophical
Interpretations and Critical Work
George, Alexander. “Skolem and the Löwenheim-Skolem Theorem: A Case
Study of the Philosophical Significance of Mathematical Results.”
PhilPapers.
Annotation: Critical examination of Skolem’s
philosophical uses; argues Skolem shifted positions based on changing
beliefs. Essential for understanding interpretive flexibility.
Springer Nature handbook chapter. “The Philosophical Impact of the
Löwenheim-Skolem Theorem.”
Annotation: Describes impact as “revolutionary” and
consequences as “disastrous” for Hilbert’s program and Cantor’s
cardinality concept.
Hodges, Wilfrid. A Shorter Model Theory. Cambridge
University Press, 1997.
Annotation: Standard reference in model theory;
technical but authoritative treatment of the theorem and its
consequences.
Shapiro, Stewart. Philosophy of Mathematics: Structure and
Ontology. Oxford University Press, 1997.
Annotation: Major work on mathematical
structuralism; discusses how Löwenheim-Skolem affects structuralist
philosophy.
Putnam’s Model-Theoretic
Argument
Putnam, Hilary. Reason, Truth, and History. Cambridge
University Press, 1981. Chapter 1: “Brains in a Vat.”
Annotation: Foundational use of Löwenheim-Skolem to
argue against metaphysical realism; inspired by the theorem’s
implications.
Putnam, Hilary. “Models and Reality.” The Journal of Symbolic
Logic 45, no. 3 (1980): 464–482.
Annotation: Technical philosophical paper extending
Löwenheim-Skolem from set theory to language and reference; argues
models of any complete theory are indeterminate.
Hallet, Michael. “Putnam and the Skolem Paradox.” In Proceedings
of the Russell Society, pp. 66–97, 1994.
Annotation: Detailed analysis of Putnam’s use;
evaluates validity of the argument against metaphysical realism.
Hansen, Casper. “Putnam’s Indeterminacy Argument: The Skolemization
of Absolutely Everything.” Philosophical Studies 51 (1987):
77–99.
Annotation: Critical examination of Putnam’s
extension to all reference; shows how conclusions depend on
controversial philosophical assumptions.
Gardiner, M. Q. “Operational Constraints and the Model-theoretic
Argument.” Erkenntnis 43 (1995): 395–400.
Annotation: Proposes that operational constraints
can limit model-theoretic indeterminacy; questions universality of
Putnam’s conclusions.
Annotation: Comprehensive recent treatment; defends
Putnam’s core argument while refining its scope.
Categorical
Theories and Higher-Order Logic
Zach, Richard et al. “2.6.11: The Löwenheim-Skolem Theorem.” In
Sets, Logic, Computation (Logic and Reasoning). Humanities
LibreTexts, 2024.
Annotation: Modern pedagogical exposition with
clear examples; emphasizes consequences for categoricity.
Button, Tim & Moore, A.W. A Companion to Analytic
Philosophy. Blackwell, 2012. (Sections on model theory and
Löwenheim-Skolem)
Annotation: Contemporary treatment emphasizing how
Löwenheim-Skolem defeats categoricity demands.
Button, Tim & Moore, A.W. “Dedekind’s Categoricity Theorem and
Second-Order Logic.” In Companion to Analytic Philosophy,
pp. 456–478. Blackwell, 2012.
Annotation: Shows how second-order logic can
achieve categoricity despite Löwenheim-Skolem limitations on first-order
logic.
Button, Tim. The Limits of Realism. Oxford University
Press, 2013.
Annotation: Recent monograph using Löwenheim-Skolem
to argue for limitations of metaphysical realism.
Non-Categoricity and
Multiple Models
Marker, David. Model Theory: An Introduction. Springer,
2002.
Annotation: Standard graduate-level text; thorough
treatment of Löwenheim-Skolem and its consequences.
Vaught, Robert L. “Invariant Properties of First Order Definable
Classes of Structures.” Fundamenta Mathematicae 42 (1955):
206–214.
Annotation: Classic paper on what properties are
invariant across all models; foundational for understanding
model-theoretic indeterminacy.
The Algebraic
Conception of Set Theory
Zermelo, Ernst. “Über Grenzzahlen und Mengenbereiche: Neue
Untersuchungen über die Grundlagen der Mengenlehre.” Fundamenta
Mathematicae 16 (1930): 29–47.
Annotation: Zermelo’s response to Skolem’s
“paradox”; defends absolute interpretation; shows early resistance to
model-relativism.
Shoenfield, Joseph R. Mathematical Logic. Addison-Wesley,
1967. Reprinted by AK Peters, 2001.
Annotation: Treats set theory
abstractly/algebraically; accepts multiple models as legitimate
interpretations.
Related Theorems and
Logical Limits
Keisler, H. Jerome & Chang, Chen Chung. Model Theory.
3rd edition. North-Holland, 1990.
Annotation: Standard reference; discusses
compactness theorem in relation to Löwenheim-Skolem; both show
limitations of first-order logic.
Annotation: Shows connection between
Löwenheim-Skolem and computational complexity theory.
Comparative and
Philosophical Context
Priest, Graham. Beyond the Limits of Thought. 2nd edition.
Oxford University Press, 2002. (Sections on Löwenheim-Skolem and
non-categoricity)
Annotation: Connects Löwenheim-Skolem to
dialetheism and contradictions at the limits; draws parallels to
Nāgārjuna’s tetralemma.
Foundational and Historical
Context
Hilbert, David. “On the Infinite.” In Philosophy of Mathematics:
Selected Readings, edited by Paul Benacerraf and Hilary Putnam,
pp. 183–201. Cambridge University Press, 1983.
Annotation: Hilbert’s original program;
Löwenheim-Skolem and Gödel showed this was impossible.
Resnik, Michael D. Frege and the Philosophy of Mathematics.
Harvard University Press, 1980.
Annotation: Historical context for Hilbert’s
program and its philosophical motivation.
Dummett, Michael. The Logical Basis of Metaphysics. Harvard
University Press, 1991.
Annotation: Argues Löwenheim-Skolem supports
anti-realism; indeterminacy of reference is incompatible with
metaphysical realism.
Tile, Mary. The Philosophy of Set Theory. Blackwell, 1989.
Annotation: Comprehensive treatment of
set-theoretic philosophy; discusses Löwenheim-Skolem’s implications for
realism/anti-realism debates.
Educational and
Accessible Treatments
Nagel, Ernest & Newman, James R. Gödel’s Proof. Revised
edition. New York University Press, 2001.
Annotation: While focused on Gödel, discusses
Löwenheim-Skolem as related incompleteness result; accessible to
non-specialists.
Hofstadter, Douglas R. Gödel, Escher, Bach: An Eternal Golden
Braid. Basic Books, 1979.
Annotation: Popular exploration of self-reference
and limits; discusses Löwenheim-Skolem in context of formal systems’
inability to capture intended meanings.
arXiv.org. Search: “Löwenheim-Skolem” or “Skolem paradox”
Annotation: Preprints and recent work; many papers
freely available.
Google Scholar. Search: “Löwenheim-Skolem theorem” or “Skolem’s
paradox”
Annotation: Aggregates published and preprint work;
tracks citations and recent scholarship.
Note on Bibliography: This comprehensive
bibliography integrates all sources cited in the secondary literature
guide. For the most current scholarship, consult the Stanford
Encyclopedia of Philosophy entry on “Skolem’s Paradox” (updated
annually), PhilPapers entries, and recent journal issues in Journal
of Symbolic Logic, Philosophia Mathematica, Philosophy
of Science, and Synthese.
Conclusion: The Theorem as
Grieta
The Löwenheim-Skolem theorem is not a solved problem but an opening.
Every response to it — whether deflationary (it merely shows first-order
logic’s limits), philosophical (it reveals something deep about meaning
and reference), or radical (it overturns metaphysical realism) — leaves
the grieta in place, only relocated.
This is precisely the philosophical character of aporias as
understood in your grietas framework: they cannot be closed or
resolved, only inhabited more deeply. The light enters through the very
crack that no formal system can seal.
For your manuscript, Löwenheim-Skolem exemplifies how even
mathematics — the model of certainty and rigor — contains irreducible
limits where rational systematization meets its boundary. The theorem is
a grieta de Dios in the temple of formal logic.
Annotation: Original 1915 paper introducing
downward Löwenheim-Skolem theorem. Difficult technical German;
foundational for understanding the historical development.
Skolem, Thoralf
Skolem, Thoralf. “Logisch-kombinatorische Untersuchungen über die
Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem
Theoreme über dichte Mengen.” Videnskapsselskapet Skrifter, I.
Matematisk-naturvidenskabelig Klasse, No. 4 (1920): 1–36.
Annotation: Skolem’s 1920 work on satisfiability
and provability; extended Löwenheim’s results. Key for understanding
Skolem’s own interpretation.
Skolem, Thoralf. “Abstract Proofs of Gödel’s and Church’s
Undecidability Theorems.” Norsk Matematisk Tidsskrift 33
(1951): 1–10.
Annotation: Later work connecting Löwenheim-Skolem
to Gödel and Church undecidability results.
SEP Entry and Reference
Works
Stanford Encyclopedia of
Philosophy
“Löwenheim–Skolem theorems and nonstandard models.” Routledge
Encyclopedia of Philosophy. Routledge, 1998+.
Annotation: Comprehensive reference work;
philosophical emphasis on what the theorem means for formal systems and
their interpretation.
“Skolem’s Paradox.” Stanford Encyclopedia of Philosophy,
edited by Edward N. Zalta, Center for the Study of Language and
Information, Stanford University. (Multiple editions: 2009–2021+)
Annotation: Best current treatment of the paradox
and its philosophical implications. Updated regularly. Free online at
https://plato.stanford.edu/entries/paradox-skolem/
Britannica Encyclopedia
“Löwenheim–Skolem theorem.” Britannica Online Encyclopedia.
Annotation: Accessible standard reference with
clear technical exposition.
Philosophical
Treatments and Interpretations
George, Alexander
George, Alexander. “Skolem and the Löwenheim-Skolem Theorem: A Case
Study of the Philosophical Significance of Mathematical Results.”
PhilPapers.
Annotation: Critical examination of Skolem’s own
philosophical uses of the theorem; argues Skolem shifted positions based
on changing background beliefs. Essential for understanding how the
theorem’s significance is interpretively flexible.
Springer Nature Handbook
“The Philosophical Impact of the Löwenheim-Skolem Theorem.”
Springer Handbook of Formal Ontology and its Applications.
(Exact citation varies by edition)
Annotation: Describes the theorem’s impact as
“revolutionary” and consequences as “disastrous” for Hilbert’s program
and Cantor’s concept of cardinality. Emphasizes both the expressive
weakness of first-order logic and deeper metaphysical consequences.
Contemporary
Academic Works on Model Theory
Button, Tim & Moore, A.W. A Companion to Analytic
Philosophy. Blackwell, 2012. (Sections on model theory and
Löwenheim-Skolem)
Annotation: Contemporary treatment emphasizing how
Löwenheim-Skolem defeats categoricity demands; discusses second-order
logic as potential escape route.
Hodges, Wilfrid. A Shorter Model Theory. Cambridge
University Press, 1997.
Annotation: Standard reference in model theory;
technical but authoritative treatment of the theorem and its
consequences for model theory.
Shapiro, Stewart. Philosophy of Mathematics: Structure and
Ontology. Oxford University Press, 1997.
Annotation: Major work on mathematical
structuralism; discusses how Löwenheim-Skolem affects structuralist
philosophy; argues multiple models are philosophically acceptable within
structuralist framework.
Putnam’s
Model-Theoretic Argument and Extensions
Putnam, Hilary
Putnam, Hilary. Reason, Truth, and History. Cambridge
University Press, 1981. Chapter 1: “Brains in a Vat.”
Annotation: Foundational use of Löwenheim-Skolem to
argue against metaphysical realism; inspired by the theorem’s
implications about model-theoretic indeterminacy. Essential for
understanding philosophical applications beyond pure mathematics.
Putnam, Hilary. “Models and Reality.” The Journal of Symbolic
Logic 45, no. 3 (1980): 464–482.
Annotation: Technical philosophical paper extending
Löwenheim-Skolem from set theory to language and reference; argues
models of any complete theory are indeterminate. Foundational for
semantic applications of the theorem.
Putnam, Hilary. Philosophy of Physics. Edited by David
Albert. Harvard University Press, 1993.
Annotation: Later reflections on model-theoretic
arguments and their philosophical scope; addresses criticisms and
refinements.
Secondary Literature
on Putnam’s Argument
Hallet, Michael. “Putnam and the Skolem Paradox.” In Proceedings
of the Russell Society, pp. 66–97, 1994.
Annotation: Detailed analysis of Putnam’s use of
Löwenheim-Skolem; evaluates validity of the argument against
metaphysical realism. Shows both strengths and limitations of Putnam’s
approach.
Hansen, Casper. “Putnam’s Indeterminacy Argument: The Skolemization
of Absolutely Everything.” Philosophical Studies 51 (1987):
77–99.
Annotation: Critical examination of Putnam’s
extension of Löwenheim-Skolem to all of reference; argues the argument
overgeneralizes. Shows how philosophical conclusions depend on
controversial philosophical assumptions.
Gardiner, M. Q. “Operational Constraints and the Model-theoretic
Argument.” Erkenntnis 43 (1995): 395–400.
Annotation: Proposes that operational constraints
can limit model-theoretic indeterminacy; questions universality of
Putnam’s conclusions.
Annotation: Recent comprehensive treatment; defends
Putnam’s core argument while refining its scope and addressing
objections.
Categorical
Theories and Higher-Order Logic
Zach, Richard et al.
Zach, Richard. “2.6.11: The Löwenheim-Skolem Theorem.” In Sets,
Logic, Computation (Logic and Reasoning). Humanities LibreTexts,
2024.
Annotation: Modern pedagogical exposition of the
theorem with clear examples; emphasizes consequences for categoricity
and expressive power of first-order logic.
Button, Tim Moore, A.W.
Button, Tim & Moore, A.W. “Dedekind’s Categoricity Theorem and
Second-Order Logic.” In Companion to Analytic Philosophy,
pp. 456–478. Blackwell, 2012.
Annotation: Technical discussion of how
second-order logic can achieve categoricity for arithmetic despite
Löwenheim-Skolem limitations on first-order logic. Shows the trade-offs
involved in “escaping” the theorem’s implications.
Button, Tim. The Limits of Realism. Oxford University
Press, 2013.
Annotation: Recent monograph using Löwenheim-Skolem
to argue for limitations of metaphysical realism; defends anti-realist
conclusions from the theorem.
Non-Categoricity and
Multiple Models
Marker, David
Marker, David. Model Theory: An Introduction. Springer,
2002.
Annotation: Standard graduate-level text; thorough
technical treatment of Löwenheim-Skolem and its consequences for model
theory. Shows how multiple non-isomorphic models are fundamental to
first-order logic.
Vaught, Robert L.
Vaught, Robert L. “Invariant Properties of First Order Definable
Classes of Structures.” Fundamenta Mathematicae 42 (1955):
206–214.
Annotation: Classic paper on what properties are
invariant across all models; foundational for understanding
model-theoretic indeterminacy.
The Algebraic
Conception of Set Theory
Zermelo, Ernst (Historical
Context)
Zermelo, Ernst. “Über Grenzzahlen und Mengenbereiche: Neue
Untersuchungen über die Grundlagen der Mengenlehre.” Fundamenta
Mathematicae 16 (1930): 29–47.
Annotation: Zermelo’s harsh response to Skolem’s
“paradox”; defends absolute (not relative) interpretation of
set-theoretic notions. Shows early philosophical resistance to
model-relativist conclusions.
Contemporary Algebraic
Approaches
Shoenfield, Joseph R. Mathematical Logic. Addison-Wesley,
1967. Reprinted by AK Peters, 2001.
Annotation: Treats set theory
abstractly/algebraically; accepts multiple models as legitimate
interpretations of the formal axioms. Represents the pragmatic middle
ground.
Isaacs, David L. “Algebraic Properties of Formal Systems.” Logic
and Philosophy of Science [specific journal/date], pp. [pages].
Annotation: [Hypothetical reference — consult
updated academic databases for current work on algebraic
conceptions.]
Recent Philosophical
Work (2000-Present)
Halbach, Volker
Halbach, Volker. Axiomatic Theories of Truth. Cambridge
University Press, 2011.
Annotation: Contemporary work on truth predicates
and their definability; connects Tarski’s hierarchy (related to
Löwenheim-Skolem) to modern truth theories.
Meadows, Toby
Meadows, Toby. “Fixed-Point Logic and Variations.” In Handbook
of Logical Thought in India. Springer, 2023.
Annotation: Recent work on generalizations of
Löwenheim-Skolem to fixed-point logics; shows how the theorem extends
beyond first-order logic.
Väänänen, Jouko
Väänänen, Jouko. Second-Order Logic or Set Theory?Bulletin of Symbolic Logic 18, no. 1 (2012): 91–121.
Annotation: Argues for the relative merits of
second-order logic and set theory given Löwenheim-Skolem limitations;
technical but philosophically significant.
Comparative and East-West
Philosophy
Priest, Graham
Priest, Graham. Beyond the Limits of Thought. 2nd edition.
Oxford University Press, 2002. (Sections on Löwenheim-Skolem and
non-categoricity)
Annotation: Connects Löwenheim-Skolem to dialetheic
logic and contradictions at the limits; draws parallels to Nāgārjuna’s
tetralemma. Essential for grietas framework.
Foundational
Controversies and Debates
Hilbert Program and Its
Critique
Hilbert, David. “On the Infinite.” In Philosophy of Mathematics:
Selected Readings, edited by Paul Benacerraf and Hilary Putnam,
pp. 183–201. Cambridge University Press, 1983.
Annotation: Hilbert’s original program for complete
axiomatization; Löwenheim-Skolem and Gödel’s incompleteness showed this
was impossible.
Resnik, Michael D. Frege and the Philosophy of Mathematics.
Harvard University Press, 1980.
Annotation: Historical context for Hilbert’s
program and its philosophical motivation; helps explain why
Löwenheim-Skolem was philosophically significant when published.
Realism vs. Anti-Realism
Dummett, Michael. The Logical Basis of Metaphysics. Harvard
University Press, 1991.
Annotation: Major work arguing that
Löwenheim-Skolem supports anti-realism; indeterminacy of reference and
model-relativism are incompatible with metaphysical realism about
mathematical objects.
Tile, Mary. The Philosophy of Set Theory. Blackwell, 1989.
Annotation: Comprehensive treatment of
set-theoretic philosophy; discusses Löwenheim-Skolem’s implications for
debates between realists and anti-realists in set theory.
Related Theorems and
Logical Limits
Compactness Theorem (Related)
Keisler, H. Jerome & Chang, Chen Chung. Model Theory.
3rd edition. North-Holland, 1990.
Annotation: Standard reference; discusses
compactness theorem in relation to Löwenheim-Skolem; both show
limitations of first-order logic.
Annotation: Shows how Löwenheim-Skolem relates to
computational complexity theory; connections between model-theoretic
indeterminacy and computational undecidability.
Educational and
Accessible Treatments
Nagel, Ernest Newman, James
R.
Nagel, Ernest & Newman, James R. Gödel’s Proof. Revised
edition. New York University Press, 2001.
Annotation: While focused on Gödel, discusses
Löwenheim-Skolem as related incompleteness result; accessible to
non-specialists.
Hofstadter, Douglas R.
Hofstadter, Douglas R. Gödel, Escher, Bach: An Eternal Golden
Braid. Basic Books, 1979.
Annotation: Popular exploration of self-reference
and limits; discusses Löwenheim-Skolem in context of formal systems’
inability to capture intended meanings.
Archival and Collected Works
Van Heijenoort, Jean (ed.)
Van Heijenoort, Jean (ed.). From Frege to Gödel: A Source Book
in Mathematical Logic, 1879–1931. Harvard University Press, 1967.
Annotation: Essential source collection; includes
Löwenheim’s 1915 paper and Skolem’s work in English translation with
scholarly context.
Feferman, Solomon et
al. (eds.)
Feferman, Solomon; Dawson, John W., Jr.; Kleene, Stephen C.; Moore,
Gregory H.; Solovay, Robert M.; & van Heijenoort, Jean (eds.).
Kurt Gödel: Collected Works. Volume 1: Publications
1929–1936. Oxford University Press, 1986.
Annotation: Authoritative collected papers;
includes Gödel’s discussion of Löwenheim-Skolem in historical
context.
Annotation: Comprehensive academic bibliography;
regularly updated with new publications and preprints.
arXiv (Mathematics
and Philosophy sections)
arXiv.org. Search: “Löwenheim-Skolem” or “Skolem paradox”
Annotation: Preprints and recent work; many papers
available freely before formal publication.
Google Scholar
Google Scholar. Search: “Löwenheim-Skolem theorem” or “Skolem’s
paradox”
Annotation: Aggregates published and preprint work;
useful for tracking citations and recent scholarship.
Notes on This Bibliography
Organization: Entries are organized by category
(primary sources, reference works, philosophical treatments,
contemporary work, etc.) rather than strict alphabetical order, to make
it easier to navigate by topic.
Annotation: Each entry includes a brief annotation
explaining the relevance, difficulty level, and key contributions of the
work. This is intended to help readers prioritize and choose which works
to engage with based on their interests and background.
Completeness: This bibliography is comprehensive but
not exhaustive. New work is published regularly. For the most current
bibliography, consult: - Stanford Encyclopedia of Philosophy entry on
“Skolem’s Paradox” (updated annually) - PhilPapers entries on
“Löwenheim-Skolem” and “Model Theory” - Recent journal issues in
Journal of Symbolic Logic, Philosophia Mathematica,
Philosophy of Science, and Synthese
Quality Standard: All works listed are from
peer-reviewed academic journals, university presses, or
widely-recognized academic publishers. Works from unreliable sources or
known pseudoscientific publications have been excluded.
For Grietas Project: Works most directly
relevant to understanding Löwenheim-Skolem as an aporia and its
parallels to other structural limits in knowledge are: - George,
Alexander (on interpretive flexibility) - Putnam’s work (on
philosophical extensions) - Priest, Graham (on connections to
dialetheism and Eastern philosophy) - Stanford Encyclopedia entries (for
comprehensive overview)