[Paper Review] Alain Badiou's Mistake: Two Postulates of Dialectic Materialism

Antti Veilahti|arXiv (Cornell University)|Jan 7, 2013

Psychoanalysis, Philosophy, and Politics11 references3 citations

TL;DR

This paper critiques Alain Badiou's application of topos theory in *Logics of Worlds*, arguing that his restriction to local topos theory leads to a flawed understanding of categorical change and materialism. It demonstrates that Badiou's 'postulate of materialism' admits two distinct interpretations—atomic (strong) and weak (Grothendieck)—revealing a fundamental inconsistency in his philosophical framework when viewed through proper topos-theoretic foundations.

ABSTRACT

I discuss how Alain Badiou's Logics of Worlds attempts to rephrase his material dialectic philosophical project in terms of topos theory. It turns out that his account restricts to the so called local topos theory. In particular, his claim that categorical change is not genuine is based on a constrained understanding of topos theory. We then discuss his own 'postulate of materialism' and demonstrate that it has two different interpretations depending on whether it is articulated in local or elementary topos theory. While the main concerns in this paper are technical, we also address the serious consequences of topos theory that weigh Badiou's philosophical project.

Motivation & Objective

• To expose the philosophical and mathematical limitations of Badiou’s restricted use of topos theory in *Logics of Worlds*.
• To demonstrate that Badiou’s claim that categorical change is not genuine stems from an over-reliance on local topos theory.
• To show that his 'postulate of materialism' is ambiguous, with distinct interpretations in local versus elementary topos theory.
• To argue that Badiou’s rejection of Grothendieck-topoi as sources of genuine mathematical change is mathematically unjustified.
• To establish that the full power of topos theory—beyond set-theoretic foundations—offers a richer, more materially grounded foundation for dialectical materialism.

Proposed method

• Analyzes Badiou’s use of topos theory in *Logics of Worlds* and contrasts it with the broader categorical framework of Grothendieck-topoi.
• Distinguishes between local toposes (bounded over Set) and general elementary topoi, showing how Badiou conflates them.
• Reconstructs Badiou’s 'postulate of materialism' as having two mathematically distinct forms: atomic (strong) and weak (Grothendieck-style).
• Uses category theory to show that the internal logic of a topos does not reduce to set-theoretic truth values, challenging Badiou’s identification of truth with bi-valued sets.
• Applies results from topos theory—such as the existence of limits, subobject classifiers, and natural number objects—to expose inconsistencies in Badiou’s formalism.
• Demonstrates that T-sets form a topos via a corrected proof, countering Badiou’s flawed reconstruction of categorical structures.

Experimental results

Research questions

• RQ1 Why does Badiou’s account of categorical change fail to recognize genuine transformation in mathematics?
• RQ2 How do the interpretations of Badiou’s 'postulate of materialism' differ between local and elementary topos theory?
• RQ3 In what way does restricting topos theory to local structures undermine Badiou’s philosophical claim of materialist change?
• RQ4 What is the mathematical significance of distinguishing between atomic and Grothendieck-topoi in the context of dialectical materialism?
• RQ5 How does the internal logic of a topos differ from the external logic of set theory, and why does Badiou’s conflation of the two distort his argument?

Key findings

• Badiou’s claim that categorical change is not genuine is based on a restricted understanding of topos theory, specifically local toposes, which do not capture the full range of categorical transformation.
• The 'postulate of materialism' admits two distinct interpretations: an atomic version (strong) in local toposes and a weaker, more general version in Grothendieck-topoi, which Badiou fails to distinguish.
• The internal logic of a topos—especially in non-local cases—does not reduce to the bi-valued logic of set theory, contradicting Badiou’s identification of truth with {true, false}.
• Badiou’s reconstruction of T-sets as sheaves is mathematically correct only under specific conditions, and his broader claim that they form a topos requires correction.
• The existence of Grothendieck-topoi as non-local, non-set-theoretic structures provides a materially distinct foundation for change, undermining Badiou’s ontological reduction to set theory.
• Badiou’s philosophical project is compromised by its reliance on a limited, set-theoretically grounded version of topos theory, which excludes the genuine categorical innovations that could support dialectical materialism.