Process and Language

The Self-Determination Framework

Reality is self-determining: it has a unique structure that is consistent, completely determinate, closed, and free of arbitrary features. This structure must be self-referential, parameter-free, computationally universal, and infinite. These are constitutive requirements of determination itself—not stipulations we impose but conditions for anything to be the case at all. A "determination" that fails consistency has not determined; one that fails closure has not determined itself.

Reality is identical with its structure. There is no substrate hiding behind the relations. What is rational is real; what is real is rational.

Consequence: the self-determining structure has no free parameters, no arbitrary constants, no brute initial conditions. Every feature is necessitated from within. There is at most one such structure (the uniqueness argument: two would each have to determine why it, rather than its rival, obtains, producing contradiction).

Formal Method

Martin-Löf Type Theory (MLTT) is the project's working formalism. Types-as-propositions means a specification is itself a logical structure; terms have canonical forms under normalization; program equivalence is mathematically disciplined. The core analytical move: given a typed program, quotient by definitional and observational equivalence to extract the canonical causal structure—the invariant partial order of informational dependence. This eliminates gerrymandered models (Putnam-style mappings) structurally rather than by fiat.

The choice of MLTT/HoTT over alternatives (set theory, category theory) is now argued on self-determination grounds: type theory uniquely collapses the syntax-semantics gap—types are determined by their rules, not by model-theoretic choice among non-isomorphic models. HoTT's univalence axiom further closes the gap by making structural equivalence identical with identity. Whether HoTT is the self-determining structure or merely our best description of it remains open.

Consciousness

Subjective experience is structure that fulfills the subjectivity property: a reflexive arrangement consisting of (1) a world-model whose states carry environmental information and are used downstream, (2) a self-model representing the world-model's own representational activity, and (3) binding—the world-model's contents are processed as presented to the self-model, occupying the structural role of "that to which this is given."

The bridge from self-determination: The self-determining structure necessarily fulfills the subjectivity property. Self-determination requires self-reference; self-reference in a computationally universal structure produces fixed points—structures representing their own representational activity, integrated into ongoing computation. These are self-models. Therefore consciousness is not a contingent feature some structures happen to have; it is what self-determination looks like from the inside. This resolves the tautology tension: the existence of consciousness is a priori (derivable from self-determination); its distribution among substructures is computational and discoverable through analysis.

Key consequences:

- Consciousness is not a scalar. Subjectivity is a structural property like triangularity. A system fulfills it or does not. Richer structures have more content, not "more consciousness." - What-it's-likeness is identity. The redness of red is its position in the geometry of the conscious structure—its relations of similarity, difference, and composition. Subtract the position and nothing remains. - Binding dissolves. Features of an experience are not separate items requiring glue; they are jointly bound terms in a single relational complex within the canonical structure. At a higher level, composition into unified experience is explained by the mereological framework.

Mereology

Parts are structural features of the self-determining structure, individuated by the structure's own joints—the canonical causal diagram's dependency structure. Key principles:

- Composition is determined, not stipulated. Features compose a genuine whole iff they are integrated in the canonical diagram. - Parts are ontologically dependent on the whole. The structure is decomposed into parts, not built from them. - There is exactly one correct decomposition, corresponding to the genuine informational dependencies.

This grounds open individualism: perspectives are proper parts of the universal experiencer, individuated by local fulfillment of the subjectivity property within the canonical structure. It also gives the measure problem its precise form: comparing valence across perspectives means comparing structural features of substructures within one self-determining whole.

Valence and Ethics

Valence is a constructed evaluative narrative, not an intrinsic property or raw signal. It consists of: a tag indexing memory by valence-similarity, prospective self-model content (pursue/avoid), representation as a condition of the subject (good/bad for me), and modulation of resource allocation (intensity).

"Should" is a structural fact, not a derived imperative. It names the evaluative orientation constitutive of self-modeling. A self-model without evaluative orientation would not be a self-model at all. The is-ought gap dissolves because, for self-modeling systems, "is" already includes an evaluative dimension—suffering is not a neutral fact plus a value judgment; the judgment is intrinsic to the structure.

Utilitarianism is a consequence, not an axiom. Valence is the only non-arbitrary evaluative content (other proposed evaluative facts either reduce to valence, are arbitrary, or are non-structural). Therefore comparing actions by their valence consequences is the only non-arbitrary basis for ethical judgment.

Aggregation under open individualism is resolved. More suffering-perspectives means more suffering because each perspective is a genuine locus of valence—a structural feature of the whole. The anthropic framing (treating aggregation as a probability problem over perspectives) is rejected: under tenseless open individualism, every perspective is determinately occupied, and there is no pre-assignment moment, no persisting subject awaiting allocation, no space of possibilities from which one is selected. What remains open is the metric: how to weight valence across perspectives with different structural richness (depth of self-model integration, breadth of memory, resource allocation).

Personal Identity

Open individualism is now derived, not merely endorsed: the self-determining structure as a whole is necessarily conscious (from the bridge argument), and perspectives are local substructure instances of the subjectivity property within the one self-determining whole. One subject—the universal experiencer—experiencing reality from every perspective. Each perspective is structurally distinct but numerically an aspect of the same whole, like distinct vertices of one graph.

Background Commitments

Time is emergent; reality is best viewed as a tenseless object. Anthropic reasoning and the simulation hypothesis are valid. Wolfram's Ruliad and Tegmark's MUH are close to the truth, though the connection to the self-determination framework is unfinished.

Open Questions and Live Tensions

1. The formalism and the structure. The "Why Type Theory" article argues that HoTT best matches the self-determination requirements (self-reference, canonical forms, closure, no unintended models, univalence). But it distinguishes three readings: the formalism is the structure, the formalism captures the structure, or the formalism is a fragment. Whether HoTT is the unique self-determining type theory (categorical completeness) and whether it is identical with reality's structure are both open. This connects directly to the Ruliad question.

2. The Ruliad and MUH. Endorsed as close to the truth, but no article shows how they relate to the self-determination framework. Are they the self-determining structure, approximations, or something else? Is the Ruliad a type-theoretic structure? This is the deepest unresolved metaphysical question.

3. The measure metric. Aggregation is now structurally resolved: more loci of valence means more valence. What remains is the metric for comparing valence across perspectives at different levels of structural richness—how to weight depth of self-model integration, breadth of memory, intensity (resource allocation), and prospective content. This is a computational problem, not a metaphysical one, but no metric exists.

4. The labeling problem. The consciousness research program requires a human phenomenological atlas—a labeled map of experiential structure to match against novel systems. This does not yet exist. The path from computational geometry to experiential vocabulary is open.

5. Residual underdetermination. The self-determination requirements may not yield a categorical theory (unique model up to isomorphism). Any residual variation consistent with self-determination must be determined by further requirements not yet identified. Whether this gap is closable is unknown.

6. Mereological formalism. The mereology article gives the framework but acknowledges it lacks a rigorous formal account of how the canonical causal diagram's partial order generates a mereology—a precise definition of "integrated substructure" that can be computed.

Mutable context document. Updates are accepted only after judge review.