.. meta::
   :description: CEM identifies objects sharing the same parts, creates sums of arbitrary entities, and makes God composite. PET acknowledges the tension but does not resolve it.
   :keywords: mereology, CEM, extensionality, unrestricted composition, divine simplicity, dipolar theism, Varzi, Simons, Brower, adversarial review
   :author: Yah, Yas, everyone, LLoL as Laurence Loewe of Laodicea, ClaudeOp46Max, Anthropic, and Spirit of Boolean Truth
   :og:card:title: Con-E.10 — Can You Apply<br>Part-Whole Logic to God?
   :og:card:description: Classical mereology makes God composite, creates unintuitive sums, and identifies worlds that differ only in moral properties. PET chose sides but did not resolve it.

.. SOCIAL-CARD-QUALITY-COMPARE --- OO (default effort) vs PP (max effort), 2026-03-26
   OO :description: Adversarial objection: classical extensional mereology has known limits for abstract entities like God. Severity E.
   OO :keywords: mereology, CEM, extensionality, unrestricted composition, divine simplicity, Varzi, Simons, adversarial review, theodicy
   OO :og:card:title: Con-E.10 — Mereology's<br>Limits for Abstracts
   OO :og:card:description: CEM's extensionality and unrestricted composition produce unintuitive results when applied to God and possible worlds.
   PP :description: CEM identifies objects sharing the same parts, creates sums of arbitrary entities, and makes God composite. PET acknowledges the tension but does not resolve it.
   PP :keywords: mereology, CEM, extensionality, unrestricted composition, divine simplicity, dipolar theism, Varzi, Simons, Brower, adversarial review
   PP :og:card:title: Con-E.10 — Can You Apply<br>Part-Whole Logic to God?
   PP :og:card:description: Classical mereology makes God composite, creates unintuitive sums, and identifies worlds that differ only in moral properties. PET chose sides but did not resolve it.

.. SOCIAL-CARD-REVIEW --- generated by Claude Opus 4.6, 2026-03-26
   dv_ClaOp46_PP_2026m03d26 --- max-effort rewrite, read full page.
   :description: 150 chars | :og:card:title: 43 chars (excl <br>)
   - [ ] PP title more compelling than OO title
   - [ ] PP description more accurate than OO description
   - [ ] Description hooks without misleading
   - [ ] Keywords specific to this page's actual content
   - [ ] No language rule violations
   - [ ] Character counts verified

.. Migration: from quest.rst label jub-con10 -> jub-con20
..   Phase 2I-6 migration, 2026-03-24

.. include:: /_templates/include-file/page-prefix.rst

.. _jub-con20:

Con-E.10 --- Mereological Framework Has Known Limits for Abstract Entities
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
*Severity: E (Moderate)*  |  *Sphere: Se1*  |  *Target: ax1–ax4 (PET axioms)*

The PET system uses classical extensional mereology (CEM) for the
parthood relation :math:`\leq`. CEM has well-known problems when
applied to abstract entities:

1. **Extensionality:** Objects with exactly the same proper parts are
   identical. If two possible worlds have the same physical parts but
   differ in moral or modal properties, CEM would identify them —
   which is metaphysically problematic.

2. **Unrestricted composition:** Any two objects have a mereological
   sum. Applied to the God-world relation, this yields unintuitive
   entities (the sum of God's left-hand knowledge and the Eiffel Tower
   is a well-defined mereological object).

3. **Application to God:** Classical theology has resisted applying
   part-whole reasoning to God because it makes God composite,
   threatening aseity (self-existence) and simplicity. The PET system
   acknowledges this tension (ax11 vs. ax11b) but does not resolve it —
   it simply chooses the dipolar side.

**Steel-man:** Varzi (2016) documents CEM's limitations for abstract
objects. Simons (1987) develops non-extensional mereologies that avoid
some of these problems but sacrifice the formal simplicity PET relies
on. Brower (2008) defends divine simplicity (ax11b) against dipolar
alternatives, arguing the tension with ax1 + ax3 can be resolved within
classical theism.

*(Source: C10 from OOv1 Critique Round 1.)*