[DSRP Evidence](https://dsrpevidence.org/)

# Mereological nihilism: simples arranged chairwise

Mereology & mathematics · 

## Why it looked like it would break the theory

Mereological nihilism says there is no chair—only simples arranged chairwise. This appears to provide parts and organization while denying the whole.

## Why it failed

**The counterexample failed** because the Systems axioms already say what the nihilist says. Compositional Identity states W ≡ Σpᵢ — the whole is the integrated sum of its parts, not an additional object over and above them — and the paper's own gloss is that this prevents essentialist views of wholes. The System axiom is S = ({p₁…pₙ}, R) with R ⊆ W: the relationships among the parts are themselves elements of the whole. “Simples arranged chairwise” names parts and their arrangement, which is exactly what those axioms call a whole. The objection needs DSRP to be committed to a chair-object beyond the simples, and the calculus denies that commitment in print. It is not that the case is dismissed as not a system — the arrangement is a system, and it is the one the axioms describe.

Settled by [R5](https://dsrpevidence.org/resolution/5). Not yet published.

[All cases](https://dsrpevidence.org/counterexamples)