Sher vs. the Orthodox case, run the same way on both sides

This is drafted research, assembled by Debby’s analysis process from primary sources, not a curated Library entry and not an adjudicated comparative verdict. No score under Debby’s scoring rubric has been calculated for anyone discussed here — that rubric is itself still a draft. The founder holds an Eastern Orthodox conviction; it is treated throughout as a research hypothesis under test, not a pre-adjudicated answer, and every check run against a rival is run against Orthodoxy’s own best formulations in the same pass.

It is published because the founder considers this the clearest working demonstration so far of what the method is actually for: not producing a comfortable verdict, but finding real, specific gaps — on whichever side they happen to sit.

The canonical contentions are OTC-001 (logic, truthmaker, access, and the Logos/logoi bridge), with bounded connections to OTC-002 (person-count) and OTC-022 (moral normativity). Public state remains OPEN. The revised judgments are AI-proposed unless a specific underlying packet says otherwise.

The founder’s opening suspicion was specific: that Gila Sher — a serious philosopher of logic at UC San Diego — never actually attempts to explain what makes logical truths true, and only describes norms for the sentences and beliefs that are supposed to be true. If that were right, calling her account “comparably explanatory” to a theistic one would be generous to the point of being wrong.

Checked against her own pages, the claim turns out to be false, and backwards. “Logical inferences are grounded in formal laws,” she writes, and formality is a real, checkable mathematical condition (invariance under isomorphism) — not a label standing in for an argument. Her account quantifies over objects and their properties, the truthmaker side of the relevant distinction, not over sentences and beliefs. If anything, it is the theist’s own strongest analytic argument for God as logic’s ground that runs almost entirely over propositions and their content, leaving what makes an inference actually hold unaddressed.

But the founder’s instinct survives, relocated one level down. Sher grounds logical truth in the world’s formal structure — and then stops. In her own words, whether that structure “could not have been different than they are” is left “an open question.” She even says the right description of that structure is probably mathematics, which just relocates the question rather than answering it. That is a real, disclosed gap, and it is the honest half of the founder’s worry.

A natural next move is to press Sher on that gap: anything whose obtaining calls for explanation, including her formal structure, needs a ground — and a theist’s God, being necessary, is a cheaper place to stop than a structure whose modal status is left open. That argument sounds like a second, independent route to the theist’s conclusion.

It collapses on inspection. Stopping the regress at God without stopping it at formal laws requires assuming exactly one thing: that God is necessary while the formal laws are not. That premise is the theist’s main argument’s own load-bearing assumption, restated — not a second, cheaper argument for it.

And that assumption turns out not to be free for anyone to make. Penelope Maddy — a past president of the Association for Symbolic Logic, not a fringe figure — argues in print, using a documented case from quantum mechanics, that even rudimentary logic’s necessity is an illusion generated by mistaking broad applicability for unrestricted necessity. Run symmetrically, as this program requires, that finding cuts in both directions at once: it weakens Sher’s own account of logic’s ground, and it weakens, at least as much, the theist’s move that stops the regress at God specifically because God is necessary while logic supposedly is not.

LOCAL_APPROPRIATION asks one narrow question: can a named account use or survive this argument for this explanandum without contradiction, borrowing, or a special exemption? Sher currently survives the “formal truth must be a thought” argument. That means only that this argument has not excluded her formal realism.

SYSTEMIC_WORLDVIEW_DISCRIMINATION asks how a named school fares across a preregistered inventory: logic, epistemic access, morality, personhood, freedom, history, revelation, and the other burdens it actually incurs. Sher’s theory is a domain account, not a comprehensive worldview, and neither it nor Eastern Orthodoxy has completed that test here. Both are NOT_GLOBALLY_TESTED — neither globally adequate nor globally defeated.

The non-transfer rule runs both ways. Sher’s local success does not answer EO’s wider claims about purpose or participation. EO’s possible strengths on history, morality, or revelation cannot repair an invalid logic inference. Joint compatibility is not exclusivity.

Sher argues that if a civilization enshrined Nazi values, those would not count as genuine human values — they would be “inhuman.” Pressed adversarially, that move has a real, unrepaired gap: she names Nazi values as her paradigm of the excluded category before introducing the technical machinery (a Kripke-style rigid designator) she later cites to explain why the exclusion sticks. Applied consistently, that machinery shows only that our civilization’s actually-enshrined values resist relativization — it does not supply an independent reason Nazi values specifically belong outside the category rather than inside a different one. A follow-up check found the same pattern in every other excluded case she names, including two later, harsher examples: the gap is structural, not a one-off around one paradigm.

The obvious next move is to ask whether Orthodoxy’s own flagship epistemic argument does any better. Jay Dyer’s transcendental apologetic and Fr. Dcn. Ananias Sorem’s worked defense of it argue that autonomous epistemology cannot justify its own starting points without circularity, and conclude — by ruling out the alternative — to the Orthodox revealed God as the unique precondition of knowledge. Credit where it’s due: unlike Sher’s unused criterion, this one actually works against foundationalism and thin coherentism. It is a real, functioning argument, not a label.

It still fails the identical free-rider check, in two places. Success against autonomous epistemology is treated as licensing a full Triune Orthodox package, without an independent derivation ruling out unitarian or other theistic rivals. And morality is listed alongside logic as a co-equal precondition of knowledge, without a separate demonstration that categorical moral obligation carries that same status. Same cycle, founder’s own side — which is the entire point of running the check both ways.

Ancient skeptics named three, and only three, ways a chain of justification can end: an infinite regress that never actually finishes, a circle that quietly uses what it’s trying to prove, or a stop that is simply arbitrary — asserted, not derived. Presuppositionalist apologist Greg Bahnsen’s “borrowed capital” argument (that atheists can only reason morally by secretly relying on a God they deny) was tested directly against this trilemma and found to fail the identical way Sher’s ethics move fails: it asserts the exclusion it needs rather than deriving it.

Turning to the leading secular alternative sharpens the point rather than dodging it. David Enoch’s robust moral realism — brute, irreducibly normative facts, independent of anyone’s will — is a serious, professionally respected position. Read at first hand, in his own book, Enoch names his own starting point openly: a “pre-theoretical feeling.” Crucially, he immediately says that feeling falls short of an argument and then offers two positive arguments: from deliberative indispensability and from the moral implications of objectivity. The fair criticism is therefore not “Enoch only has an intuition.” It is that his robust facts, epistemic access, evolutionary reliability, and motivation must be tested as one package rather than credited merely because the starting intuition is candidly disclosed.

Maximus’s Ambiguum 7 gives the strongest verified native starting point. The one Logos contains the many logoi according to which universal and particular beings are intentionally made. Rational creatures and the things they know participate, in different ways, in that same order. As an INFERENCE, this makes mind–world fit non-accidental if the account is true. It is not a quotation in which Maximus identifies a law of logic with a logos.

The account also says why thinkers go wrong and how they are corrected: passions, self-love, and fixation on utility cloud cognition; virtue, detachment, natural contemplation, Scripture, and ecclesial life reorient it. Palamas then supplies a real essence–energies resource: the logoi are divine energies and acts of will, so genuine participation does not require comprehending or univocally predicating of the divine essence.

The limit is equally native and equally important. On the sources checked, the logoi are principles of beings, not propositions or consequence relations. Tollefsen reports that Maximus treats universals as created; Romanides describes the logoi as formless divine willings that bear no likeness to creatures. EO therefore has a substantial account of ontological and teleological intelligibility, participation, and noetic repair, but no located mechanism for formal truth-preservation. It is stronger than silence and weaker than an exclusivity proof.

The earlier research has been recovered. It did not contain the remembered proof. Buber and process philosophy were cited as independent attestation for the general thesis that personhood and relation belong together. Buber’s own basic word is I–Thou: a dyadic relation already containing real otherness. No located Buber passage derives a third personal relatum, a mediator, or an exact cardinality.

The triadic argument actually on file is the shared-love or condilectio line, most strongly represented in the EO material by Stăniloae: love limited to two can become closed or possessive, while joy in a co-beloved third opens and intensifies communion. This is a substantive fittingness argument for at least three under its value premise, not a theorem that every dyad is defective.

The bounds are therefore: actual reciprocal communion conditionally gives N > 1; open/shared love motivates N ≥ 3; nothing in Buber, process thought, or the shared-love argument gives N ≤ 3. The move from relation roles to a census of persons also needs its own bridge. Exactly Father, Son, and Spirit remains revelation-identified, not neutrally derived by this argument.

OTC-001 JUDGMENT: Sher’s formal realism LOCALLY_SURVIVES the checked mind-only and regress arguments. EO’s Maximian Logos/logoi account is a substantial candidate explanation of intentional world–mind fit, teleology, error, correction, and participation. The accounts are not yet direct rivals at every level: Sher describes formal truthmakers; EO proposes a deeper intentional ground. No checked EO source supplies the bridge from logoi to a consequence relation or establishes EO uniqueness.

OTC-022 boundary: Enoch’s robust realism is not reduced to an intuition; his deliberative-indispensability and objectivity arguments remain serious. The local comparison with EO’s non-voluntarist terminus is mixed and does not rank either worldview.

OTC-002 boundary: reciprocal communion conditionally supports N > 1; Stăniloae supplies N ≥ 3 fittingness; no upper bound yields N = 3. All parties here remain NOT_GLOBALLY_TESTED.

Stale wording invalidated: the old page’s suggestion that EO had mainly a permission with no native positive account; its treatment of Enoch’s vindication as explicitly “not proof”; and any reading of Buber or process philosophy as an independent proof of at least three or exactly three persons.