# Minimal Generative Grammar of Participation

**Constructive research synthesis — provisional historical verification.** The main argument is self-contained; the linked dossiers provide historical and formal depth. This is not defined doctrine, a complete critical-edition survey, a proof of God's existence, or a proof of global minimality.

## 00 / What this page is

### A constructive reconstruction of participation metaphysics

This page asks a deliberately narrow question: what is the smallest honest metaphysical grammar needed to explain how a finite creature can be from God, genuinely like God, and yet remain genuinely other than God?

A creature can receive its life and genuinely live it. A power can be given and genuinely belong to the one who exercises it. Christian participation metaphysics begins with that conjunction: real possession without independence. Created being, goodness, life, intelligibility, and power come from God, yet creatures are not pieces of God. Their actuality is received according to their own modes; the divine source is neither divided among them nor completed by them.

The problem is to explain this conjunction rather than repeat it. Participation, analogy, exemplarism, procession, likeness, and return often carry several claims together. This inquiry separates them: what makes a creature actual, what it depends upon, what it genuinely possesses, what it consists of, what it can express, and what would fulfill it. It then asks what warrants each passage. Participation is the connective relation, not a substitute for those arguments.

The initial hypothesis was that actuality, received dependence, and measure might be sufficient. The proposed reconstruction needs more. Dependence alone does not establish likeness. Underivation excludes proper intrinsic constituents only when composition entails dependence. A finite effect’s inability to exhaust an unlimited source does not establish that the source was free not to produce it. Identifying these missing bridges makes the account stronger: every conclusion receives its own reason rather than borrowing the force of another.

The resulting grammar is “minimal” within its stated language and assumptions. Combining many axioms into one enormous axiom would shorten the list without shortening the argument. Each retained premise must contribute something the others do not supply. Removing a premise and testing rival models therefore play a central role. If likeness disappears when causal adequacy is removed, causation was never enough to establish likeness. If noncomposition disappears when the principle connecting constitution to dependence is removed, underivation was never secretly simplicity. If freedom disappears while non-exhaustion remains, inexhaustibility was never secretly freedom.

The historical tradition is used in the same disciplined way. Plato, Gregory of Nyssa, Augustine, Dionysius, Maximus, Eriugena, Anselm, Bonaventure, Aquinas, Scotus, Przywara, and others are not treated as teaching one identical hidden system. They offer overlapping solutions to recurring problems: participation without partition, likeness without identity, causal intimacy without constitution, transcendence without distance, manifestation without exhaustion, and dependence without rivalry. The constructive synthesis belongs to this project, even where its elements are deeply rooted in the tradition. Newman’s account of development is used only analogically, as a test of whether the synthesis preserves rather than reverses the tradition’s central achievements.

As a Christian interpretation, the project preserves Creator–creature distinction, creation without divine material, divine sufficiency, real creaturely goodness, and real divine causality. Philosophy asks how these commitments can be articulated coherently and which arguments support them. Revelation supplies further determinations: ordinary participation in created being does not by itself establish grace, the Trinity, the Incarnation, or beatific communion.

**The methodological rule:** Keep the categories apart long enough to discover why they belong together.

Given the stated source and causal principles, a finite being can genuinely possess received actuality and express its source according to its own mode, while the source remains undivided and uncompleted. Dependence explains the gift; it does not make the recipient’s life less real.

**The receiver’s measure measures the reception. It does not measure the source.**

### The next open question

The next question concerns divine agency: how can God freely and knowingly create this world rather than another without acquiring an intrinsic determination? This reconstruction already excludes proper intrinsic constituents, given an underived source and the principle that a whole depends on such constituents. It does not establish every stronger account of divine simplicity or explain free creative action. Further work must defend the relevant principles and explain how divine action has a determinate intention and how God knows it, without building freedom or knowledge into their definitions.

A constructive proposal with conditional derivations and provisional historical verification; not a proof of global minimality or a definition of doctrine.

**How to read this page:** Begin with received possession and the positive meaning of finite measure. Then read the basis and derivations, and use the deletion lab to test each premise. The genealogy and source ledger distinguish historical resources from this project’s constructive proposals.

## Participation as real possession

### A received life is genuinely the creature’s life

Participation means real, dependent possession of received actuality or perfection according to the participant’s mode. Real possession matters as much as dependence: the creature actually lives, understands, and acts. What comes from a source is realized in the recipient; it is not merely a description of the source projected onto an otherwise empty appearance. Dependence concerns why the perfection obtains. Possession concerns where and how it obtains. These questions can have different answers without contradiction.

Receiving a power does not yet amount to exercising it. To establish genuine creaturely action, add a further principle: some received powers are productive powers of the creature itself, whose exercise remains sustained by God. Divine causality and creaturely causality then explain one event in different respects. The creature’s dependence does not erase its authorship. An occasionalist rival denies this further principle, so real secondary agency must be defended rather than extracted from the word participation.

### Expression needs intelligible correspondence

An effect can disclose its source because the relation connects what is realized in the effect with something true of that source. Mere production does not establish every proposed attribution. A machine can print meaningful words without understanding them. An artisan can shape stone without being stone. An effect may therefore establish causal capacity while leaving intrinsic perfection, intention, or personal character undecided.

The positive bridge proposed here is stronger: a genuine perfection in a derivative effect has an adequate ultimate source in which the corresponding positive content genuinely obtains, though not necessarily under the effect’s received mode. This is Q, the causal-adequacy principle. It requires an account of the positive content, not just the claim that the source can cause it. Exemplarism and the tradition of the logoi offer historical accounts of this source-related intelligibility. Their exact metaphysical commitments still require comparison.

Under Q, participation can become objective expression even when nobody recognizes it. Recognition is another achievement: knowledge requires a truth-conducive relation and warranted uptake. Thus causal origin, expressive likeness, and warranted knowledge remain distinct. This lets the account affirm genuine manifestation while identifying exactly what a finite effect permits us to say.

### Finite measure can help constitute a good

Finite reception does not exhaust an unlimited source. Yet finitude is not a single defect to be removed from every creaturely good. Three cases matter. A privation, such as ignorance, impedes an appropriate good. A constitutive finite condition helps make a particular good what it is: a melody needs succession, and a promise needs a history in which fidelity can be enacted. Removing distortion can improve the same melody; sounding every note at once abolishes it.

An adverse occasion is different again. Courage can be good in danger, and forgiveness can be good after injury. The goodness of the response neither makes the threat or injury good nor justifies causing it. A theory of fulfillment must preserve the response’s positive actuality while refusing to manufacture a justification of evil from it.

God can ground the positive reality of learning without learning, and the good of courage without undergoing danger. The entire finite description need not be transferred to its source. Likewise, finite knowledge need not be false or vague. A finite proposition can state something exactly true without reproducing the whole actuality of its object. The measure comparison in this model concerns finite reception of actuality; it is not a proof that every finite statement is inadequate.

### Fulfillment preserves the participant

Origin answers why a participant is; fulfillment asks what would perfect it. The second question requires an account of the subject’s good. Participation becomes ordered toward fulfillment when received powers can attain fitting ends, rather than merely continue to exist. Knowledge, fidelity, friendship, and love can then be real creaturely achievements. Their dependence on God does not relocate their history inside God or make them stages in divine self-completion.

Communion adds more than resemblance or causal contact: distinct persons know and love one another. Its reality requires their difference to endure. The Christian account of grace and beatific vision therefore extends the natural grammar with revealed commitments. It promises God himself, not merely a created substitute, while preserving the creature’s finite act of reception. Finite measure need not mean distance, and immediacy need not mean exhaustive comprehension. Return is the participant’s fulfillment without absorption into its source.

The five working engines are analytical jobs: determination and realization; dependence and origin; possibility and agency; manifestation and measure; goodness and fulfillment. They help audit the argument and are not the five primitive groups of the formal model. See the [shared reading guide](reading-guide.md).

## The result

The proposed basis of actuality + received dependence + measure is insufficient. A dependence graph has no qualitative likeness or constitution information. Underivation does not imply infinity; non-exhaustion does not imply contingency. The source–creature distinction can instead be generated conditionally from sourced actuality and underivation, while nonpartition requires separate constitution bridges.

The smallest *proposed* basis here is five information-bearing families and nine substantive clauses, relative to disclosed background semantics. Nine is not a count of every assumption. An absolute smallest list is not established: predicates can encode each other and axioms can be conjoined. The actual result is an irredundant reconstruction in a fixed language, with explicit extensions and countermodels.

## 1. Primitive notions

| Notation | Information retained | Interpretation |
| --- | --- | --- |
| Cᵥ(y,x,q) | Productive causation | y produces or sustains a real perfection q in x. Causing something remains distinct from being a constituent of it. |
| Dᵥ(x,y,r) | Ontological dependence | x depends on y for its actuality in respect r. This concerns what sustains or explains x, rather than merely what would happen if y were absent. |
| Hᵥ(x,q,m) | Qualitative realization | x really possesses a candidate positive perfection-content q in mode m. Selecting that content requires independent warrant; a complete finite-kind description is not automatically a pure perfection. Corresponding content does not mean a shared entity or genus. |
| Kᵥ(z,x) | Intrinsic constituency | z is a proper part or constituting principle within x. This distinguishes what x consists of from what causes it. |
| Jᵥ(x) | Intrinsic actuality | What x is in itself in possible situation w. This lets us ask whether different effects require a change within their source. |

Actuality is semantically primitive in real realization H, rather than an extra independently irreducible A. Define A(x) as ∃m H(x,e,m), where e indexes existential actuality. Define μₑ(x) as its complete mode. J records intrinsic facts not assumed exhausted by the selected H/K facts; if those were made exhaustive, J could be eliminated. Consequently five is a proposed operational vocabulary, not a demonstrated lower bound.

Identity, typed quantification, world indexing, qualitative indices, and a mode order are also needed. C and D are factive; every H-bearer is actual; modes are functional per subject/respect; proper K is actual, irreflexive, and transitive. Bounded modes lie below ∞. These substantive background assumptions are disclosed. ∞ signifies no finite upper bound, not a quantity of divine substance.

The system is conditional on actual source g and scopes entities to created beings/principles and their proposed source. It does not treat divine hypostases as extra created beings or adjudicate Trinity, incarnation, or grace. The system neither proves source existence nor derives its necessity.

Qualitative q is a semantic index, not an independent Form. Its positive content must be independently warranted. A candidate criterion is that the content does not entail deficiency or a finite constitutive mode: knowing as opposed to acquiring information discursively, actuality as opposed to being-created. This criterion needs case-by-case argument; “whatever God causes” is not an admissible definition. Some finite conditions constitute genuine particular goods: succession belongs to melody, and a history belongs to keeping a promise. Q therefore concerns a defended positive perfection-content, not the wholesale transfer of every complete finite-kind description into God. Biological life and divine life cannot be equated by using one symbol. H-source interpretation must not mean merely “able to cause H.”

## 2. Independent clauses and bridges

| Clause | Statement | Formal form |
| --- | --- | --- |
| G — Universal sustaining causality | The designated source g presently causes or sustains every other actual being and its positive perfections. This includes sustaining each creature’s existence. | A(x) ∧ x ≠ g ∧ H(x,q,m) ⇒ C(g,x,q) |
| CP — Causal dependence | Productive or sustaining causation grounds an effect’s actuality in the relevant respect. This bridge is not silently packed into the word “cause.” | C(y,x,q) ⇒ D(x,y,q) |
| U — The source depends on nothing | The designated source receives none of the actuality or perfection by which it is actual. This does not by itself say that it is infinite, simple, or existent. | ¬∃y,r D(g,y,r) |
| Q — Causal adequacy of the ultimate source | An independently identified positive perfection-content caused by the ultimate source has corresponding content in that source, under a potentially different mode. Both the selection of q and this possession bridge need argument. A complete finite-kind description is not transferred wholesale: causing learning does not imply learning. The principle does not apply to every instrumental cause, and must mean more than “can cause q.” | C(g,x,q) ∧ H(x,q,m) ⇒ ∃n H(g,q,n) |
| KD — Composition entails dependence | A composite’s actuality depends upon its proper intrinsic constituents. Underivation plus this principle excludes composition of the source. | K(z,x) ⇒ D(x,z,e) |
| KH — Constituents do not exceed the whole | An intrinsic constituent cannot exceed the whole containing it in the relevant capacity for actuality. This goes beyond a theory of parts and wholes and must be defended independently. | K(z,x) ⇒ μₑ(z) ≤ μₑ(x) |
| FS — Unbounded source actuality | The source is unlimited in actuality. Underivation does not prove this. Unlimitedness in another perfection requires its own argument; adequacy alone supplies corresponding content, not an infinite degree. | μₑ(g) = ∞ |
| FC — Bounded created actuality | Every actual other has a bounded mode of actuality. This is not a restriction on the source. “Bounded” is not a reduction of all perfections to a numerical quantity. | A(x) ∧ x ≠ g ⇒ μₑ(x) < ∞ |
| X — Unchanged source across creation alternatives | Differences in created effects do not constitute differences or gains in the source’s intrinsic actuality. Underivation at each world does not alone prove this comparison across worlds. | Jᵥ(g) = Jᵥ′(g) for admissible creation alternatives |

G, U, FS, and FC are a conditional source profile, not consequences of generic participation. CP, Q, KD, and KH bridge independently interpreted categories. X compares intrinsic actuality across different possible created outcomes. Q is restricted to the ultimate source; an instrument need not exhibit every quality of what it helps produce. FS/FC concern actuality e; any perfection-specific non-exhaustion theorem requires corresponding assumptions in that same q.

Global asymmetry was deleted: source-directed dependence is already asymmetric under CP + U. It would overconstrain unrelated creaturely relationships without contributing to this target.

## 3. Nonprimitive terms

- **Reception:** Rec(x,q,g) := C(g,x,q) ∧ ∃m H(x,q,m). No likeness, finitude, or nonpartition is stipulated.
- **Participation:** P(x,g,q) := Rec(x,q,g) ∧ D(x,g,q). CP generates the dependency from causal realization.
- **Likeness:** L(x,g,q) := ∃m,n [H(x,q,m) ∧ H(g,q,n)]. Shared qualitative content does not include a common natural genus, identical modes, or numerical identity.
- **Expression:** E := P ∧ L. This is a real expression of the source; it does not guarantee that someone recognizes it.
- **Underived source:** U(y) := ¬∃z,r D(y,z,r). It contains neither infinity nor simplicity.
- **Noncomposite in this model:** ¬∃z K(z,y). This excludes proper intrinsic constituents. It is narrower than the full classical doctrine of divine simplicity and does not exclude every disputed real distinction, formality, or energy.
- **Communication:** productive real realization in another; nondivision is a theorem under the constitution bridges, not its definition.
- **Non-exhaustion:** μₑ(x) < μₑ(g). This is failure to match source actuality-capacity, not a proof that every finite sentence, symbol, or infinite aggregate inadequately represents every aspect of its source.
- **Causal intimacy:** the source’s present causation of created actuality, not spatial proximity. **Transcendence:** underivation and unbounded actuality, not distance.
- **Perfection:** a defended interpretation of positive realized content; it is not reducible to mere causal effecthood. **Intelligibility:** receives no separate proof from the base; divine cognition/logoi provide theological interpretations and further premises.

## 4. Derivation tree

```text
G + CP + U                 → asymmetric source–effect dependence
Rec + CP                   → P
P + Q                      → L and E
CP + U                     → a source-caused effect cannot be g
KD + U                     → g has no proper intrinsic constituents
KH + FS + FC               → g is no intrinsic constituent of a creature
FS + FC                    → finite actuality cannot measure source actuality
source profile + X         → varying effects without intrinsic source gain
KD + U + N                 → no natural genus constituted by distinct principles
X + accessible alternative → contingency of the specified effect
X + no-creation alternative → no finite expression necessary from fullness
these + free intentional selection → scope for intentional free creation
```

| Target | Result | Clauses / limits |
| --- | --- | --- |
| T1 Participation without partition | Conditional | G, CP, U, KD, KH, FS, FC: KD + U exclude a creature as a constituent of g. KH + FS + FC exclude g as a constituent of a creature. This excludes intrinsic incorporation in either direction; other substance–mode ontologies require their own account. |
| T2 Likeness without identity | Conditional | CP, U, Q: For an actual C(g,x,q) effect with H(x,q,m), Q supplies shared content. If x were g, CP would imply dependence of g, contradicting U. No difference is hidden in the definition of reception. |
| T3 Likeness without common genus | Extra bridge | G, Q, U, KD, N: The basic assumptions block an inference from likeness to genus; it does not prove that no genus exists. N + KD + U exclude natural genus-membership. Scotist univocity of a concept is a separate issue. |
| T4 Dependence without reciprocal completion | Conditional | G, CP, U: Effects depend on g; no actuality of g is grounded in them. “Completion” must mean acquisition or grounding of intrinsic perfection, not merely true external predication. |
| T5 Causal intimacy without constituent identity | Conditional | G, CP, U, KD, KH, FS, FC: G requires the source to sustain actuality in the present. T1 rules out intrinsic constituency in either direction. Intimacy names this present sustaining dependence, not spatial closeness; it does not exclude secondary causes. |
| T6 Transcendence without distance | Compatibility | G, CP, U, FS, FC: Unequal modes and underivation coexist with present causation. The theory neither places God at a spatial location nor proves a spatial negative from a language without space. |
| T7 Finite manifestation without exhaustive representation | Qualified | G, Q, FS, FC: Source-related content can be truly manifested while a finite realization fails to match unlimited source actuality. Objective expression is not yet warranted recognition. A finite proposition can be exactly true; the mode comparison does not disqualify every representation or infinite aggregate. |
| T8 Real communication without source-completion | Conditional | G, CP, Q, U, X: H places the received perfection really in the participant; C gives its productive origin. Nonpartition is established separately by T1. U excludes completion grounded in the effect; X additionally excludes intrinsic gain correlated with different communications. |
| T9 Creaturely perfection without independent Forms | Economy, not exclusion | G, Q: H records what the creature really possesses; q indexes intelligible content without introducing an actual detached Form. An independently existing Form is unnecessary for this account of sourced perfection. Its nonexistence requires an additional ontological closure principle. |
| T10 Divine immanence without pantheistic identity | Conditional | G, CP, U, KH, FS, FC: Present sustaining causality and source–effect nonidentity jointly hold. This excludes identity-pantheism; “panentheism” remains too varied a label to refute by one theorem. |
| T11 Asymmetric Creator–creature relation | Qualified | G, CP, U, X: D is an actual creaturely grounding fact; source intrinsic actuality is not constituted by changed effects. Aquinas’s further “real / relation of reason” classification requires a school-specific relational ontology. |
| T12 Finite measure belongs to the recipient | Indexed fact | FS, FC: H indexes mode to its subject. FC bounds creatures; FS independently leaves the source unbounded. Subject-indexing alone would never prove divine infinity. |
| T13 Many expressions, no multiplied source | Non-entailment | G, CP, U, KD, X: KD + U exclude composition of g; X allows multiple created effects with unchanged intrinsic source actuality. Many effects do not entail many divine constituents. This does not settle formalities or energies. |
| T14 No finite participation measures the unlimited source | Conditional | FS, FC: For actuality e, every finite μₑ(x) is strictly below μₑ(g). For another perfection q, add unlimitedness of the source and boundedness of that participation in that very respect. |
| T15 No particular expression necessitated by fullness | Extra modal premise | X, V: V supplies a genuine no-creation alternative with the same source fullness, so no finite expression is necessary from that fullness. W is additionally required for intentional free selection. Neither follows from non-exhaustion. |

For T1, KD + U forbid an intrinsic creature-constituent of g; KH + FS + FC forbid g as an intrinsic constituent of a finite effect. A simple source could otherwise remain a constituent of another. For T2, given C(g,x,q) and H(x,q,m), Q gives source-content; CP + U exclude x = g. Difference was not built into reception.

Strong T3 requires **N**, a defended natural-genus account: genus and specific differentiation are distinct intrinsic constitutive principles. Noncomposition then excludes that genus-membership. A shared concept of being is not thereby a natural genus; Scotist univocity is not refuted by this argument. The base proves no inference from shared H to genus, not no-genus by pure logic.

T11 obtains real asymmetric creaturely grounding without intrinsic source constitution. Aquinas's further real/relation-of-reason classification requires his relational ontology; true reciprocal predications are not denied. T13 does not prove that formalities or uncreated energies are creatureward conceptual distinctions.

## 5. Deletion and independence

| Delete | Retained-clause witness | Consequence lost |
| --- | --- | --- |
| G | Deistic or immanent remainder: some actual perfection persists without the designated source. | A genuinely actual creature with no source remains possible. Dependence “in every moment” cannot then be claimed. |
| CP | A merely succession-based causal model, with C but no corresponding D. | Causal arrows can coexist with no ontological dependence. Production no longer establishes the Creator–creature interval. |
| U | A source whose actuality is grounded in an actual creature, despite its unlimited mode. | An unlimited source may itself depend upon another. A cycle of grounding or divine completion is admitted. |
| Q | An opaque source causes a living effect while no corresponding life can be attributed to the source. | Causation no longer establishes corresponding source-perfection for an additional content q; likeness and manifestation in that respect become underivable. Shared existential actuality can remain. |
| KD | An uncaused but composite deity. Simplicity does not follow from “uncaused” alone. | A composite source can simply be stipulated independent of its own intrinsic parts. |
| KH | A panentheistic constituent-model: the source belongs to the creature without transferring its unlimited capacity. | An unlimited source may be stipulated an intrinsic constituent of a finite creature. |
| FS | A finite ultimate artisan: underivation and noncomposition remain, but inexhaustibility does not. | An underived, simple, finite source is possible; some finite expression can match its measure. |
| FC | An unlimited derived effect that matches the source’s measure without becoming numerically identical. | An other can possess the source’s unlimited measure. Nonidentity survives, but finite non-exhaustion is lost. |
| X | An intrinsically responsive deity. Independence within each possible world does not establish the same intrinsic actuality across different possible worlds. | Different created histories may be correlated with different intrinsic states of the source, without those effects grounding the source’s actuality within either possible world. |

The formal dossier supplies actual sparse valuations for all nine clauses. The accompanying evaluator independently interprets H, C, D, K, modes, and the source profile; it checks every retained clause rather than storing axiom truth flags. These are model-relative independence witnesses, not proofs that rival universes satisfy every defensible metaphysical principle.

Primitive deletion tests are information-loss tests: without C, productive causality is indistinguishable from other grounding; without D, the grounding consequence is unrepresented; without H, causal graphs determine no qualitative resemblance; without K, nonconstituency is inexpressible; without intrinsic profile comparison, X is lost; without mode information, finite/infinite distinctions are lost. A was genuinely eliminated. No theorem of undefinability across every possible vocabulary is claimed.

## 6. Rival ontologies and modal test

| Rival | What discriminates it |
| --- | --- |
| Platonism | Underived actual productive Forms in scope violate G + CP. Inert abstracta remain open; the explanation does not need them. |
| Identity-pantheism | CP + U exclude source-caused effects identical with their source. Mode-based substance theories require further inherence analysis. |
| Constituent panentheism | KD + U and KH + FS + FC exclude proper mutual incorporation. Other meanings of “in God” are not settled by the label. |
| Occasionalism | Compatible. Add actual secondary powers and ordered concurrence to establish creaturely agency. |
| Necessary emanation | Compatible. An unlimited source may necessitate a finite non-exhaustive effect. Alternatives are extra. |
| Deism | G, interpreted as present existential sustenance, excludes detached effects. Historical production alone is insufficient. |
| Absolute idealism | Identity versions fail; genuinely other mental effects are not excluded without additional ontology. |
| Immanent causality | Fits generic causal grammar. The substantive underived/unbounded source profile provides the theological discrimination. |

Non-exhaustion supplies a negative opening: no finite effect necessitates creation by adequately measuring or completing unlimited fullness. It does not exclude other necessitating rules. To derive contingency of each finite expression, require an accessible same-fullness world lacking that expression; a no-creation world is a stronger sufficient premise. Two merely different created worlds can share a necessary effect a. The evaluator includes exactly this counterexample.

Intentional freedom additionally requires intelligent self-determination without necessity from intrinsic nature, external dependence, lack, or a unique-maximization rule. Intentionality alone does not imply libertarian freedom; modal alternatives alone could be stochastic. This is an extension, not a proof from infinity. Distinguishing God’s intrinsic actuality from differences in what God wills is a proposed account of divine agency. It still needs to explain why creation is free and what makes a particular act of willing real.

## 7. Philosophy and Christian commitments

The philosophical reconstruction establishes conditional consequences, not revealed doctrine. Christian interpretation supplies or constrains Creator–creature distinction, ex nihilo, divine nondependence, real finite goodness, transcendence, real divine causality, and intelligent free creation. Ex nihilo means no uncreated material co-source or divine material; it need not entail a temporal beginning. Universal present dependence is not by itself a complete explanation of production without material.

The tradition's explanatory models include essence–esse, act/potency, divine ideas, logoi, formalities, essence–energies, analogy, and mixed relations. Their differences are not uniformly dogmatic and can genuinely conflict. Actual secondary causality must be added: C(g,a,q) and C(b,a,q) can coexist without source–creature rivalry. Compatibility alone does not prove that the secondary cause operates.

## 8. Historical genealogy

| Witness / locus | Contribution | Unresolved difference |
| --- | --- | --- |
| Plato & Aristotle — Parmenides 130e–131e; Timaeus 28a–29b; Metaphysics Λ.7, 1072b | The whole/part problem makes “sharing” dangerous; exemplarity and different causal orders make it intelligible. | Aristotelian causal priority does not itself deliver Christian ex nihilo or universal sustaining causality. |
| Plotinus & Proclus — Enneads V.2.1; VI.9.3; Elements of Theology props. 23, 26–30 | One source, undivided presence, procession and return offer resources for nonpartition and causal excess. | Necessary procession is a live rival to free creation. Similar vocabulary cannot erase this modal difference. |
| Gregory of Nyssa & Augustine — Life of Moses II.230–239; City of God XI.10; De diversis quaestionibus 83, q.46 | Nyssen inexhaustible participation and Augustine’s non-acquired wisdom distinguish received finite perfection from source actuality. | Epektasis does not become a proof of divine infinity by being renamed “non-exhaustion.” Augustine’s divine ideas are not independent substances. |
| Dionysius & Maximus — Divine Names II.5, V.8, IX.6; Ambiguum 7, PG 91, 1080A–1085B | Effects can truly exhibit causal likeness without reproducing the source’s mode. Logoi distinguish intelligible reasons from contingent realization. | Dionysian procession is not automatically necessitarian. Maximus’s willing logoi are not a many-part divine interior. |
| Eriugena & Cusa — Periphyseon I.446D, I.455B; De docta ignorantia I.2, II.3 | Manifestation and enfolding explain why source transcendence need not be remoteness. | Retrieve them only with causal asymmetry and nonconstitution guards. Interpretive pressures toward divine self-constitution must remain visible. |
| Anselm & Bonaventure — Monologion 17, 31, 34; Itinerarium II.11–13, III.1–3, VI.2 | Composition depends on constituents; mutable likeness does not supply the exemplar’s actuality. Vestige, image, and similitude discriminate forms of expression. | Bonaventure’s diffusion of goodness concerns necessary trinitarian fecundity in VI.2; it is not a proof of necessary creation. |
| Henry of Ghent & Scotus — Henry: Summa art.21 q.4, art.24 q.3; Scotus: Ordinatio I d.2 p.1 qq.1–2, I d.35, I d.39 | Possible intelligibility and actual production need not be one operation. Divine cognition and volition demand careful modal distinctions. | Henry’s necessary possible-essence hierarchy and Scotus’s formal distinction are not interchangeable. Univocity of being is not a common natural genus. |
| Aquinas — ST I qq.3–4, 13, 15; q.44 a.1 ad2; q.45 a.3; q.105 a.5 | Necessary beings can still be caused; real creaturely powers can operate under universal divine causality; recipient mode does not migrate into the source. | Participation in esse is a strong witness, not the compulsory vocabulary for the entire tradition. Mixed relations require his relational framework. |
| Damascene, Palamas & Przywara — Damascene: On Holy Images III, image-types; Palamas: Triads III.2; Przywara: Analogia Entis | Image kinds, real uncreated communication, and likeness within greater dissimilarity test whether the common grammar is broad enough. | Noncomposition is not “no real distinction whatsoever.” Essence–energies and scholastic formalities cannot be erased by a blanket claim that every difference concerns only the effects. |
| Newman — Essay on Development, ch. V, opening §4 and §§I–VII | Preservation, continuity, assimilation, sequence, anticipation, conservation, and chronic vigour discipline constructive synthesis. | A new system cannot demonstrate centuries of chronic vigour. Explanatory fruitfulness is a provisional adaptation, not Newman’s exact seventh note. |

The common problem is finite real sourced likeness without divine material or divine acquisition. The contribution assignments are reasonable reconstructions; the five-family/nine-clause architecture is new. Plato's whole/part dilemma is a problem, not a Christian solution; necessary procession is a modal rival; Henry's possible-essence hierarchy is not Scotus's ontology; Palamite energies are not simply Thomistic distinctions of reason. Retrieve compatible structural insights without harmonizing contradictions.

## 9. Newman-style assessment

Newman's exact notes in Essay on Development ch. V are preservation of type, continuity of principles, power of assimilation, logical sequence, anticipation of its future, conservative action upon its past, and chronic vigour. He notes their varying cogency, independence, and applicability. The user's fruitfulness criterion is an analogical adaptation, not his seventh note verbatim.

The proposal provisionally preserves type and central commitments; assimilates exemplarity, grounding, recipient mode, and nonconstitution; proceeds by explicit bridges; identifies antecedent anticipations without attributing the exact system backward; and conserves genuine achievements. It cannot demonstrate chronic vigour for a new system. Countermodel resilience is preliminary explanatory fruitfulness. Verdict: a candidate development of an explanatory grammar, not an ecclesial certification or a demonstrated reconciliation of every school.

## 10. Where Explanation Finally Stops

The theory is conceptually relational but ontologically asymmetric. Its definitions form no circle: Rec uses C/H; P uses Rec/D; L uses H; E uses P/L; U uses D. Underivation is not defined by participation and does not explain why anything is actual.

Definitional circularity would be vicious if concepts never acquired independent meaning. Epistemic ascent from effects is not causal production of their source. Explanatory mutual articulation can clarify terms but cannot warrant independent bridges. Ontological dependence is one-way in the relevant source respect under CP + U. God is never explained by creatures in the respect in which their actuality is explained by God.

“Unreceived actuality” is actuality under a negative dependence status, not another mysterious object beyond actuality. The best verdict is a constrained primitive network terminating asymmetrically, rather than a proof by virtuous circle. Actuality remains primitive in real realization; causation, qualitative content, constituency, mode, and intrinsic/modal distinctions remain independently assessed. Putting all of them inside an enriched dependence predicate would relocate the explanation.

## 11. The whole account in ordinary English

A finite being can receive real actuality from a source and express that source in its own mode. If the source is underived and unlimited, composition would make it dependent, and it cannot be an intrinsic constituent of bounded actuality. Many finite effects need not divide, complete, or change its intrinsic fullness. The receiver's measure measures the reception, not the source. This grammar supplies neither source existence nor free creation by itself: those require further arguments.

The “third way” is a combination of asymmetric dependence, productive causation, qualitative likeness, and finite reception. Creator and creature are genuinely different. Difference need not entail distance, intimacy identity, likeness genus, dependence rivalry, presence constitution, or communication division. This is not “neither identical nor different.”

## 12. Final formal statement

```text
Primitives: C, D, H, K, J; disclosed worlds, indices and ordered modes.
A(x) := ∃m H(x,e,m); μₑ(x) := its complete mode.
Base: G ∧ CP ∧ U ∧ Q ∧ KD ∧ KH ∧ FS ∧ FC ∧ X.
Rec(x,q,g) := C(g,x,q) ∧ ∃m H(x,q,m).
P(x,g,q) := Rec(x,q,g) ∧ D(x,g,q).
L(x,g,q) := ∃m,n [H(x,q,m) ∧ H(g,q,n)].
Rec ⇒ P by CP; P ⇒ L by Q; P ⇒ x≠g by U.
K(z,g) ⇒ D(g,z,e), contradicting U.
K(g,x) ⇒ μₑ(g)≤μₑ(x), contradicting FS + FC.
finite x ⇒ μₑ(x)<μₑ(g), by FS + FC.
Strong genus exclusion requires N.
Universal finite contingency requires accessible same-fullness omission alternatives.
Intentional freedom additionally requires unnecessitated intelligent selection.
```

## Evidence and reading paths

| Source | Status | Consultation / limits |
| --- | --- | --- |
| [Aristotle, Metaphysics](https://raw.githubusercontent.com/PerseusDL/canonical-greekLit/master/data/tlg0086/tlg025/tlg0086.tlg025.perseus-eng2.xml) | primary | Hugh Tredennick, Perseus digital XML; selected passages consulted with Bekker milestones. Causal orders, being not a genus, and actuality-priority supply background; none independently yields Christian creation. |
| [Plotinus, Enneads](https://raw.githubusercontent.com/GITenberg/Plotinos--Complete-Works-v.-1In-Chronological-Order-Grouped-in-Four-Periods_42930/master/42930-h/42930-h.htm) | primary | Kenneth Sylvan Guthrie, older translation, GITenberg volume I; selected treatises consulted. V.2.1 and VI.9 clarify nonpartition; V.1.6 supplies modal pressure. Armstrong’s critical edition remains a follow-up. |
| [Gregory of Nyssa, On the Making of Man XVI](https://raw.githubusercontent.com/standardebooks/gregory-of-nyssa_on-the-making-of-man_william-moore_henry-austin-wilson/master/src/epub/text/chapter-16.xhtml) | primary | Moore / Wilson translation, Standard Ebooks transcription; edition provenance checked. Likeness in attributes, created–uncreated difference, and creaturely measure are directly verified. Life of Moses remains a separate unconsulted lead. |
| [Dionysius, Divine Names](https://raw.githubusercontent.com/calfa-co/Patrologia-Graeca/5895ab908dd4cac5ee06cfc0e36f2ef77723e143/PG003/PG003_text.txt) | primary | Calfa / GREgORI academic PG 3 Greek OCR, unproofread; selected clauses consulted. II.5, V.8, IX.6–7 support nonpartition and recipient-mode. OCR was not collated with a critical edition; exact wording remains provisional. |
| [Maximus, Ambiguum 7](https://raw.githubusercontent.com/robertvsiii/maximus-confessor/5ef8d8b33bb7e16576f4b5445db7ee07541aff9f/texts/maximus/maximus_confessor.ambigua_iohannem.tess) | primary | Provisional Greek transcription mirror; source edition undocumented. Selected passage consulted. The passage distinguishes logoi/preknowledge from created actualization. Reliable Constas-edition verification remains pending. |
| [Plato, Parmenides; Timaeus; Republic](https://raw.githubusercontent.com/GITenberg/Parmenides_1687/master/1687.txt) | primary | Benjamin Jowett translations, public-domain Gutenberg mirrors. Read selected passages; antiquated translations. The whole/part dilemma and exemplar language are verified; Greek philology is not supplied by these translations. |
| [Augustine, City of God XI.10](https://raw.githubusercontent.com/GITenberg/The-City-of-God-Volume-I_45304/master/45304-h/45304-h.htm) | primary | Marcus Dods translation, vol. I; Gutenberg #45304. Selected chapter consulted. Simple God “is what it has”; received creaturely wisdom is contrasted with divine wisdom. Related q.46 remains a locus lead. |
| [Anselm, Monologion](https://github.com/latin-ocr/monologiumetpro00ansegoog) | primary | Latin public-domain scan OCR mirror. Selected chapters consulted; OCR must be checked for quotation. Chapters 17, 31, and 34 anchor composition-dependence and asymmetric exemplar likeness; no unverified quotation is used. |
| [Aquinas, Summa Theologiae, Prima Pars](https://raw.githubusercontent.com/GITenberg/Summa-Theologica-Part-I--Prima-Pars-From-the-Complete-American-Edition_17611/master/17611.txt) | primary | English Dominican Fathers, Complete American Edition; Gutenberg #17611. Selected articles consulted. Causation of necessary beings, primary/secondary causality, divine ideas, analogy, simplicity, and mixed relations verified at article level. |
| [Newman, Essay on the Development of Christian Doctrine](https://raw.githubusercontent.com/GITenberg/An-Essay-on-the-Development-of-Christian-Doctrine_35110/master/35110-0.txt) | primary | Gutenberg #35110 mirror; chapter V consulted. The seven notes and their varying independence/applicability were checked. Newman is used analogically, not to certify a doctrine. |
| [John Damascene, On Holy Images](https://raw.githubusercontent.com/GITenberg/St-John-Damascene-on-Holy-Images-0x3c00x3c10x3bf0x3c2-0x3c40x3bf0x3c50x3c2-0x3b40x3b90x3b10x3__49917/master/49917-8.txt) | primary | Mary H. Allies, 1898; Gutenberg #49917 mirror. Selected image-type discussion consulted. Translation has an anachronistic identification in one passage; the dossier records it and restricts constructive use. |
| [Stanford Encyclopedia: archived article-body mirror](https://raw.githubusercontent.com/md-mq/philo2vec/0d2351d43723f0d4a1fa662557626adb31a822ad/data/data.zip) | secondary | Readable SEP prose in philo2vec archive committed by August 2016; headers, bibliography, and individual revision dates absent. Selected Bonaventure, Henry, Anselm, Dionysius, Eriugena, Cusa and other entries consulted where recorded. This is archival secondary evidence, not a verified current edition. |
| [Gregory of Nyssa, Life of Moses](https://www.newadvent.org/fathers/) | pending | Abraham J. Malherbe and Everett Ferguson, Paulist Press, 1978; II.230–239. Primary locus and scholarly bibliography supplied in dossier; full reliable translation was not directly consulted in this run. |
| [Dionysius / Maximus: modern critical translations](https://plato.stanford.edu/entries/pseudo-dionysius-areopagite/) | pending | Colm Luibheid / Paul Rorem (1987); Nicholas Constas (2014). Digital primary witnesses and secondary archive prose were read. The reliable modern complete translations remain unconsulted. |
| [Henry of Ghent; Duns Scotus](https://plato.stanford.edu/entries/henry-ghent/) | pending | Critical scholastic editions and specialist works listed in the dossiers. Henry archived secondary prose consulted. Primary Henry and Scotus loci are leads, not claims of new primary-text verification. |
| [Przywara, Analogia Entis; Palamas, Triads](https://plato.stanford.edu/entries/analogy-medieval/) | pending | John R. Betz / David Bentley Hart (2014); Nicholas Gendle (1983). Structural safeguards and bibliography supplied. Full primary works not consulted; no claim that their disputed models are identical. |
| [Specialist scholarship across the field](/participation/research/ancient-patristic.md) | pending | Dossiers distinguish consulted archive prose from bibliographic leads: Balás, Rorem, Perl, Blowers, Moran, McGinn, Noone/Houser, Porro/Pickavé, Wippel, Cross and Betz. A research map rather than a completed critical-edition survey. No bibliography entry is silently treated as a book read. |

Read the detailed [formal architecture](formal-architecture.md), [ancient/patristic](ancient-patristic.md), [Eastern/theophanic](eastern-metaphysics.md), [Latin exemplarism](latin-exemplarism.md), and [Aquinas/Scotus/Newman](aquinas-scotus-newman.md) dossiers for source distinctions and specialist bibliographies. Bibliographic leads are not presented as works newly read. Critical-edition collation, current specialist debate, pure-perfection semantics, inherence, and the modal truthmaker of divine willing remain open work.


## Questions and answers

From God, like God, and genuinely other: direct answers to the participation questions.

### 1. How can a creature be genuinely from God without being a piece of God?

A creature possesses an actuality that God causes and sustains. That actuality is genuinely the creature's: the received life is its life, and a received capacity can be its capacity to exercise. Participation names this real, dependent possession. Dependence answers where the actuality comes from; possession answers whose actuality it is. Neither answer cancels the other. A source can therefore sustain another reality without turning it into a portion of its own substance.

Nonpartition requires an argument in addition to that definition. If proper constituents make their whole depend upon them, absolute underivation excludes creatures as constituents of God. A separate capacity principle excludes unlimited divine actuality as a constituent of a bounded creature. On these premises, sustaining presence means present causality rather than spatial proximity. The creature's own exercise then requires another bridge: its received power must genuinely contribute to what occurs. Participation supplies the basis for secondary agency; it does not establish agency by naming it.

#### The premises behind this answer: Causation and constitution

Uses the source assumptions and constitution bridges already stated in Part I.

Adopt these premises:

1. God presently sustains created actuality, depends on nothing for his actuality, and is unlimited in the respect in which creatures are bounded.
2. Sustaining causation grounds the effect's actuality in its cause; proper intrinsic constituents ground the actuality of the whole they constitute.
3. An intrinsic constituent cannot exceed its whole in the relevant capacity for actuality.

Why adopt them?

Producing or sustaining something explains its actuality without making the producer its material. Constitution has a different explanatory direction: the whole possesses its actuality through its constituents. Confusing these directions would turn every cause into a component. The third premise adds a substantive constraint on what a bounded whole can intrinsically contain; it is not a consequence of mere part-whole vocabulary.

What follows if they hold?

Created actuality can be continuously from God while remaining distinct. Constitutive dependence excludes a creature as a part of the underived God; the capacity constraint excludes unlimited God as a constituent of a bounded creature.

What remains to defend: These are conditional consequences of the source profile and two constitution principles, not a demonstration that every cause communicates without division.

[Participation as real possession](/participation/#participation) · [The basis and constitution bridges](/participation/#basis) · [Participation without partition](/participation/#derivations)

### 2. If creatures are from God, in what sense can they genuinely be like God?

They can possess a real perfection whose positive content corresponds to perfection in their source, although its mode of possession differs. But being caused does not, by itself, establish that correspondence. Causation explains where a perfection comes from; likeness requires an additional principle of causal adequacy. The proposal applies that principle to the ultimate source, rather than requiring every instrument to possess the qualities of its effects.

The positive content must be identified independently of effecthood. Exemplarism supplies one account of the bridge: an effect's intelligible formation corresponds to the source's understanding, so the likeness is grounded in what the effect is. The complete finite form need not be copied into God. A melody requires succession; its divine ground need not be a succession of divine notes. This reconstruction makes detached Forms unnecessary to the explanation without proving every alternative ontology false. Objective expression can obtain before an observer recognizes it; recognition and warranted knowledge remain further achievements.

#### The premises behind this answer: Corresponding perfection in an ultimate cause

Adds causal adequacy to causation and dependence; the source interpretation of each positive perfection must also be defended.

Adopt these premises:

1. Identify the positive content independently of its being caused, and distinguish it from a complete finite-kind description: achieved understanding, for example, differs from the receptive history of learning.
2. Where the ultimate source fully grounds that positive actuality, the source possesses corresponding perfection actually, under a source-appropriate mode, rather than merely having the ability to produce it.

Why adopt them?

The proposal asks the ultimate explanation to account for what is positively realized, not only the fact that an event occurs. An instrument can transmit a perfection it does not possess in the relevant mode because other actualities explain its operation. An ultimate source cannot defer the whole explanatory burden indefinitely to such instruments. Correspondence permits difference of mode: causing understanding does not require a biological brain or discursive learning in God.

Source-related intelligible formation provides a positive account of the correspondence. On an exemplar account, the source understands the form it gives actuality to; the creature realizes that intelligible form under its own conditions. A causal relation alone does not supply this additional explanatory relation.

What follows if they hold?

A creature can bear an actual, received likeness. Its perfection has an intelligible source without requiring a detached Form between source and creature.

What remains to defend: This is a substantive causal-adequacy commitment, not a theorem of causation alone. Each positive content and its source interpretation still needs defense.

[Causal adequacy and realized perfection](/participation/#basis) · [Historical resources for likeness](/participation/#history)

### 3. How can a creature genuinely resemble God without sharing God's mode of being or a common genus?

A perfection can correspond without being possessed in the same way. A creature receives actuality according to its capacity; the adopted divine source receives none of the actuality by which it exists. The finite measure characterizes reception, rather than becoming a limit on the source. Likewise, a finite judgment can be completely true in its stated respect without comprehending God: knowing that God exists does not mean possessing everything God is. Non-exhaustion is compatible with truthful access.

Still, different modes alone do not prove that no common genus exists. The stricter conclusion needs a further account: membership in a natural genus would introduce distinct intrinsic constituting principles, and an absolutely underived source cannot depend on such principles. That account of genus requires independent defense. It concerns natural classification, rather than every shared predicate or intelligible concept. Scotus's univocal concept of being cannot simply be dismissed as a common natural genus.

#### The premises behind this answer: Natural genus and intrinsic constitution

Adds the natural-genus principle N to the inherited underivation and constitution arguments.

Adopt these premises:

1. Corresponding perfection can be received and bounded in the creature while unreceived and unlimited in God.
2. If natural genus-membership consists in an intrinsic common kind completed by a distinct intrinsic specific principle, both principles contribute to the member's constitution.
3. Proper intrinsic constituting principles ground a whole's actuality; God is absolutely underived.

Why adopt them?

A natural genus, on this account, identifies what a thing intrinsically is; its specific determination explains why it is this kind of member. Those contributions are stronger than two descriptions or a shared logical predicate. Treating them as real constituting principles therefore subjects them to the dependence argument. Mere likeness instead compares positive content without supplying a constituent through which God becomes actual.

What follows if they hold?

Likeness remains possible, while God cannot belong to a natural genus constituted in this way. The creature's finite reception measures its own mode rather than setting God's measure.

What remains to defend: The genus analysis is an additional Aristotelian-style commitment. It neither excludes every shared concept nor refutes Scotus's univocal concept of being.

[The additional genus principle](/participation/#derivations) · [Test the premises](/participation/#laboratory)