Metaphysical Theory Reduction Engine (MTRE) v2.0

Total Theories

20 100% catalog

Across 10 Kuhn Categories

Stage 1 Filtered

19 95%

Scope score ≥ 70 threshold

Stage 2 Primordial

3 15%

Zero unexplained primitives

Stage 3 Antinomy

3 15%

One-sided polarity rejected

Reduced Solution

2 10%

Nondual Coherence Achieved

Category Filter:

Scope Threshold

Score ≥ 70

Filters theories failing basic explanatory scope or lacking mind/matter integration.

Primordial Step

Zero Unexplained

Eliminates theories introducing ad-hoc primitives (Hard Problem gaps, combination traps).

Antinomy Filter

Non-Dogmatic

Prunes one-sided polar assertions ($A \lor \neg A$) subject to self-referential paradoxes.

Nondual Solution

Optimal

Retained minimal sufficient theories that resolve subject-object duality without primitives.

Propositional Engine Config

Select Target Theory:

Select Primary Ontological Premise ($P$):

$P_1$: Physical Substrate is Privileged ($M \to \neg C$) $P_2$: Mental Substrate is Privileged ($C \to \neg M$) $P_3$: Nondual Co-dependent Origination ($\neg M \land \neg C \land (M \iff C)$)

Kantian Antinomy Rule

Any theory asserting a fundamental positive stance ($A \land \neg B$) generates a symmetrical thesis/antithesis contradiction. MTRE forces reduction to zero-primitive nonduality.

Formal Proof Derivation

Formal Truth Table Matrix

M (Material)	C (Consciousness)	P (Premise)	Hard Problem Gap	Contradiction ($P \land \neg P$)	MTRE Evaluation

Side-by-Side Metaphysical Theory Comparison Matrix

Select 2 to 4 theories to compare axioms, primitives, polarity, and filter outcomes.

Feature / Dimension

MTRE v2.4 Enterprise

Scope Threshold

Primordial Step

Antinomy Filter

Nondual Solution

Interactive D3 Metaphysical Reduction DAG

Propositional Engine Config

Kantian Antinomy Rule

Formal Proof Derivation

Formal Truth Table Matrix

Side-by-Side Metaphysical Theory Comparison Matrix

Dynamic DSL Reduction Filter Engine

DSL JSON Representation

Scope Threshold

Primordial Step

Antinomy Filter

Nondual Solution

Interactive D3 Metaphysical Reduction DAG

Propositional Engine Config

Kantian Antinomy Rule

Formal Proof Derivation

Formal Truth Table Matrix

Side-by-Side Metaphysical Theory Comparison Matrix

Dynamic DSL Reduction Filter Engine

DSL JSON Representation Copy

--

Overview Summary

Formal Philosophical Axioms

Unexplained Primitive / Hard Problem Gap

DSL JSON Representation