FINITE MIND, FINITE GOD · MORAL APPRAISAL AND RESPONSIBILITY

Omnibenevolence Misappraisal Theorem

A judgment can be mistaken without being culpable. Calling God perfectly good does not make a negative appraisal proof of guilt.

Matthew Tripp Zejda

I distinguish two questions. Is the appraisal correct about the proposed target, and is the person responsible for arriving at it? Those questions cannot be answered by substituting one for the other.

A claim that God is perfectly good rules out a correct judgment that the same God is unjust under the same meanings. It does not establish that the claim of goodness is true, that a person received an accurate representation, or that the person deserves condemnation for failing to accept it. Those are further questions, and the person’s actual circumstances belong in the answer.

Read the Formal Argument Notation Used Here FMFG Definitions

1. What a claim of perfect goodness commits us to

When I call something good, the words can perform different jobs. I might be reporting that I like it. I might be comparing it with a stated standard. Or I might be claiming that its goodness gives it authority over what another person should believe or do. The present argument concerns that last kind of claim when a theological system invokes God’s goodness to require worship, assent, or obedience and to justify condemnation.

The distinction is important. “Good to me” does not mean “authoritatively good for everyone being judged.” A system cannot begin with the stronger claim when demanding allegiance, then retreat to a private preference when its judgment is questioned. The meaning doing the justificatory work has to remain stable.

I use OG(G) for the goodness claim at issue. Within this argument it says that the proposed God is good and not bad or unjust. This is a deliberately limited representation of the commitment needed here, not a complete definition of every theological use of omnibenevolence.

OG(G) := Good(G) ∧ ¬Bad(G)

Under that meaning, a correct appraisal that G is unjust and the truth of OG(G) cannot coexist. That incompatibility is the first result. It does not tell us which claim is true. Someone’s sincere conviction, a tradition’s authority, or the force of a threat does not decide the question simply by entering the argument.

A contradiction between two claims is not a verdict against the person who questions one of them. I have to examine the claims before deciding whether there is a mistake, and examine responsibility before deciding whether there is fault.

2. The God being asserted and the God a person receives

I write G for the target asserted by a theological system and G_A for the representation available to a particular agent. These are not interchangeable. A person encounters descriptions, testimony, interpretations, memories, practices, and experiences. Even a claimed direct encounter must become something available within that person’s interface before it can be assessed. Public authority adds the further history of transmission to other people. [1] [2]

A representation can be about something real without containing that thing. It can also misdescribe its referent, combine inconsistent descriptions, or fail to establish that the referent exists. The fact that a God-concept occurs is not proof that its content is true. Conversely, the fact that someone has only mediated access is not proof that the content is false.

Consider an illustrative case. Someone receives a description of a ruler who punishes people for a failure they had no realistic opportunity to avoid. The person calls that ruler unjust. Another speaker answers that the true God would never act unjustly. Those statements do not yet settle a disagreement about one agreed description. The speakers may disagree about what was represented, whether the description is accurate, or what justice means. Calling the first person rebellious would bypass the disagreement instead of resolving it.

The received-map distinction does not prevent an appraisal from referring to the proposed God. It identifies how the appraisal is available to the person. Its correctness still has to be evaluated against the target and the evidence. A correct criticism of an attributed command may expose a defective representation rather than establish a verdict on the alleged source. A correct criticism of the actual target, under the same moral predicates, would instead defeat the all-good claim.

This is why I retain three places to examine a conflict: the goodness assertion itself, the person’s received representation, and the meanings of the moral predicates. These are ways of locating the disagreement. They are not three automatic verdicts on the person’s innocence or guilt.

3. Why an error is not yet a fault

Even when an appraisal is mistaken, the mistake does not establish guilt. I have to ask what the person received, what they could understand, what capacities were available, and what relevant control or independently attributable fault the system can establish. Finitude does not automatically excuse every appraisal, and a negative appraisal does not automatically condemn the person who formed it.

The Fairness Clause supplies access and capacity conditions under a stated commitment to fault-sensitive judgment. Access means more than hearing words. Capacity means more than a demand that an ideal person could satisfy. The book’s conditions allow a relevant lack of access or capacity to defeat culpability or significantly reduce it. Reduction and complete removal are different outcomes. [3]

The appraisal-control condition adds the separate doxastic argument. Belief and evaluative seeming are not unconditional switches. Deciding to utter a sentence is not the same as making its content sincerely appear true. Meaningful indirect influence can remain through attention, inquiry, source selection, and the handling of evidence. The actual scope of that influence has to be examined; it is not restored universally by the instruction to “choose to believe.” [4]

Full blame, mitigation, and exoneration

I therefore distinguish an attribution of some culpability from an attribution of full, unmitigated culpability. Under the explicit responsibility commitments used below, full blame requires adequate access, adequate capacity, and enough relevant control. Their presence is necessary for that attribution, not sufficient proof that the person is at fault.

A mitigating condition requires the judgment to change; it need not remove every degree of culpability. An excusing condition can remove the relevant culpability. Neither conclusion should be manufactured by treating a broad word such as “limited” as a complete description of the case.

There is also a difference between a condition being absent and its presence not having been established. An institution that has not shown adequate access cannot claim its justificatory task is complete. But that evidential gap alone does not prove that access was absent. The burden of justification and the facts being investigated must stay separate.

Negative appraisal alone supplies neither guilt nor universal innocence. It calls for an examination of truth, the received representation, the conditions of responsibility, and the justification of any response.

4. The arguments this application uses

This is a standalone application of Existential Logicism and Finite Mind, Finite God. Its numbered definitions and theorems belong to this argument, not to a separate chapter in either book. Four established arguments supply different parts of its basis.

Finite Mind Constraint. The appraisal must be available through the agent’s own finite interface. This identifies mediation, not the truth or finitude of the referent. [1]
Human Interface Thesis. Public doctrinal authority reaches people through testimony, language, preservation, and interpretation. The proposed origin does not remove those conditions. [2]
Fairness Clause. A system claiming culpability-tracking justice has to account for access and capacity, including whether a limitation mitigates or excuses. [3]
Doxastic constraint. The belief-formation argument distinguishes sincere conviction from profession and indirect influence. It supplies the separate reason not to assume unlimited control over appraisal. [4]

The moral connection does not replace these premises

ERP secures occurrence, and Tripp’s Prison examines the interface through which an appraisal is made. Neither supplies a justice standard merely because the appraisal occurs. The fairness application explicitly adopts responsibility commitments; it does not derive them from tokening alone. [5]

The Contingency Guillotine asks whether action-guiding moral force can be independent of every constitutive valuer. That is different from OMT’s local use of “objective” for a theological system’s authoritative goodness claim. The shared adjective does not make the two targets identical. A divine valuation would still be a valuation on the constitutive account, rather than an automatic escape from that account. [6]

Deterministic Moral Forces then preserves the reality of causal agency, answerability, protection, repair, and learning under its own premises. Relevant control here means the capacities and opportunities needed for the particular fault-sensitive attribution. It does not mean an uncaused power to choose outside the complete causal situation. An attribution of responsibility and a justification of a punitive response still require their own reasons. [6]

5. Formal argument

The argument first fixes the target and the representation, then separates the truth of an appraisal from the conditions for blaming its bearer. The fairness application concerns a system that claims its judgments track culpability. A system that declines that commitment has not supplied a counterexample to the conditional result; it has declined the justice premise being tested.

Notation used here

A is a finite epistemic agent; T is a theological moral system; G is its asserted God-target; and G_A is the received God-map. B_A(p) records belief in p, not the truth of p. The requirement φ_G is the appraisal or affirmation demanded by T.

Acc, Cap, and Ctrl name the access, capacity, and relevant-control conditions. Culp_T is the blameworthiness predicate; FullCulp_T marks full, unmitigated attribution; and Cond_T records condemnation by the system. Recording a condemnation is not endorsing it.

The sign := means “is defined as”; ∧ means “and”; ¬ means “not”; and ⇒ means “implies.” An implication supplies the direction stated. Its converse requires a further argument.

Definitions 1.1–1.9

Definition 1.1 (Agent, system, God-term)

Let A range over finite epistemic agents. Let T denote a theological moral system (doctrine-set plus judgment scheme). Let G denote “God” as asserted by T.

Definition 1.2 (Tokened God-map)

Let G_A denote the tokened God-concept as it exists for agent A inside A’s interface. When A appraises “God,” the appraisal is made over G_A as received.

Definition 1.3 (Moral predicates)

Good(x) means “x is morally good.”

Bad(x) means “x is morally bad or unjust.”

Definition 1.4 (Belief operator)

B_A(p) means “agent A believes proposition p.”

Definition 1.5 (Objective omnibenevolence claim)

Define

OG(G):=Good(G) ∧ ¬Bad(G).

“Objective” here means: not merely “good-to-me,” but good in the authoritative system-governing sense invoked to ground worship-worthiness, obedience, or condemnation.

Definition 1.6 (God-appraisal requirement)

Let φ_G be a requirement of the form “Affirm OG(G)” or “Do not judge God as Bad or unjust” or “Regard God as morally perfect/worthy of worship.”

Let Req_T(φ_G) mean that T imposes this requirement.

Definition 1.7 (Condemnation and culpability predicates)

Cond_T(A,φ_G) means “T condemns A for violating φ_G.”

Culp_T(A,φ_G) means “A is blameworthy under T for violating φ_G.”

Full, unmitigated culpability

FullCulp_T(A, φ_G) means that T attributes full, unmitigated culpability to A for the specified failure to satisfy φ_G.

An attribution of some culpability and an attribution of unmitigated culpability are not interchangeable. Whether a condition excuses or mitigates is fixed by the applicable, defended account of responsibility and the facts of the case.

Definition 1.8 (Negative God-appraisal)

Define

Neg(A,G):=B_A(Bad(G)),

and allow Neg(A,G) to cover any doxastic appraisal incompatible with OG(G) (for example “God is cruel,” “God is unjust,” “God is not morally good”).

Definition 1.9 (Fairness variables)

Acc(A,φ_G) means A has adequate epistemic access relevant to φ_G (not merely exposure, but access in a form A could realistically encounter, understand, and evaluate).

Cap(A,φ_G) means A has adequate capacity relevant to φ_G (cognitive, affective, developmental, normative).

Ctrl(A,φ_G) means the relevant state is under enough control to be a proper target of blame (in particular belief and appraisal are not treated as unconditional at-will switches).

Lemmas 1.10–1.14

Lemma 1.10 (Interface-bounded appraisal)

For any finite agent A, any appraisal of “God” that can matter to A’s reasoning is an appraisal of G_A as received within A’s interface.

Proof.

By the finite mind tokening constraint, every doxastic and evaluative state available to A is tokened within A’s interface. By the human interface thesis, public God-claims arrive to A as mediated tokens (text, testimony, translation, interpretation). Therefore A’s appraisal is necessarily formed over the interface-available representation G_A.

□

Lemma 1.11 (Omnibenevolence excludes correct negative appraisal)

If OG(G) holds, then Bad(G) is false. Hence if OG(G) is true, a negative appraisal “God is bad/unjust” cannot be correct as an appraisal of G.

Proof.

Immediate from the definition OG(G):=Good(G) ∧ ¬Bad(G).

□

Lemma 1.12 (Negative appraisal forces a fork)

If Neg(A,G), then at least one of the following must obtain:

Refutation: ¬OG(G).
Misappraisal under finitude: the appraisal is tracking G_A (the received map) rather than G (the asserted target), so the negative content is explainable by mediation, distortion, contradiction, trauma, thin access, or other pipeline constraints.
Semantic retreat: the predicates “good” and “bad” are not being used in a truth-apt, univocal way when applied to G, so OG(G) is not functioning as a determinate evaluative premise that can ground condemnation.

Proof.

Assume Neg(A,G). If OG(G) is false, we are in (a). If OG(G) is true, then by Lemma 1.11 the negative appraisal cannot be correct as an appraisal of G. The remaining explanation must locate the divergence in the representational situation of A (map-level misappraisal under finitude) or in the semantics of applying the predicates to G (non-univocal or non-truth-apt use).

□

Lemma 1.13 (Belief and appraisal are not blameworthy by default)

Because belief and evaluative seeming are not, in general, direct will-switches, condemnation for a belief-state or appraisal-state cannot be justified merely by pointing to the state. Additional conditions must connect the state to controllable fault.

Proof.

This is the doxastic constraint. One can choose speech and behavior more directly than one can choose what seems credible or what evaluative verdict one is compelled to by the information and cognitive state one has. Therefore culpability for belief or appraisal requires further control-sensitive justification.

□

Lemma 1.14 (Case-specific fairness schema)

Let T assess a God-appraisal requirement φ_G under the following explicit responsibility commitments:

The Access Condition and Capacity Condition apply as in the Fairness Clause: a relevant lack of access or capacity defeats or significantly reduces culpability.
Full blame for the appraisal also requires enough relevant control to support a fault-sensitive attribution, rather than treating belief as an unconditional at-will switch.

Under these commitments,

FullCulp_T(A, φ_G) ⇒ Acc(A, φ_G) ∧ Cap(A, φ_G) ∧ Ctrl(A, φ_G).

Proof.

A relevant absence of access or capacity either defeats the attribution or requires mitigation, so an unmitigated attribution cannot be retained unchanged. The added control commitment likewise excludes full blame where the relevant control condition fails. These are necessary conditions for the specified attribution. Their conjunction is not a sufficient proof of culpability, and a mitigating condition must not be treated as complete exoneration without the corresponding premise.

□

The access and capacity components come from FMFG Chapter 3. The additional appraisal-control commitment uses Chapter 4’s separate doxastic discussion. These are explicit responsibility premises, not consequences of occurrence alone. [3] [4]

In Lemma 1.12, the semantic branch concerns loss of the determinate content needed by the appraisal gate. Analogical language is not automatically meaningless. An analogical account must specify the content that is available for evaluation and the responsibility it can support. The truth of the goodness claim is never established merely by its assertion.

Theorems 1.15 and 1.16

Theorem 1.15 (Omnibenevolence Misappraisal Theorem)

Assume a system T asserts OG(G) as a truth-apt, evaluatively binding claim. Then for any finite agent A, if Neg(A,G), the negative appraisal cannot be a correct perspective on G under T’s own omnibenevolence claim. Therefore Neg(A,G) must be treated as either:

a live refutation of OG(G) (so ¬OG(G)), or
a misappraisal generated at the interface level (an appraisal of G_A as received), or
a semantic retreat in which the predicates “good” and “bad” are not being used in a stable truth-apt, univocal way for G.

In particular, if T insists that OG(G) is true and truth-apt, then Neg(A,G) is necessarily misaligned with T’s own claim and cannot be defended as a correct moral perspective on G.

Proof.

Combine Lemma 1.11 with Lemma 1.12. If OG(G) holds, then Bad(G) is false, so B_A(Bad(G)) cannot be correct as a claim about G. The remaining coherent locations for the negative appraisal are refutation (deny OG(G)), interface-level misappraisal (map-level divergence), or semantic retreat.

□

Theorem 1.16 (Omnibenevolence Misappraisal: Fairness Application)

Let T impose a God-appraisal requirement φ_G, invoke OG(G) in support of it, and require its condemnations to track culpability. Assume the finite-interface and doxastic conditions and the case-specific responsibility commitments of Lemma 1.14. For a finite agent A with a negative God-appraisal:

When the appraisal is correct of G under the same determinate moral predicates, OG(G) fails. T's assertion of OG(G) alone does not establish that the appraisal is mistaken.
When OG(G) is retained as true, a conflicting appraisal is mistaken about G under those predicates. That mistake, and its occurrence through G_A, do not by themselves establish FullCulp_T or the failure of Acc, Cap, or Ctrl.
When at least one of Acc, Cap, or Ctrl fails in the relevant sense, the full-blame attribution is unavailable under Lemma 1.14. Whether remaining culpability is reduced or removed depends on the actual excusing or mitigating conditions. A system retaining unmitigated condemnation despite such a failure violates its stated responsibility commitments.
When the conditions are present, culpability is not thereby proven. A case-specific attribution of relevant fault and a justification of the response are still required. This argument does not rule out every such attribution.
When the conditions have not been established, the justification of condemnation remains incomplete. Failure to establish a condition is not itself proof that the condition is absent.

Consequently, negative appraisal alone is not a warrant for default guilt. A tradition retaining omnibenevolence and just condemnation must examine the received representation, the truth of the appraisal, and the conditions of responsibility instead of treating the appraisal-state as its own proof of fault.

Proof.

Item 1 is the conditional incompatibility established by Lemma 1.11. Item 2 separates that truth condition from the distinct responsibility predicates; neither the definition of Neg nor interface-boundedness supplies those additional facts. Item 3 follows by contraposition of the explicitly adopted full-blame schema. The schema provides only necessary conditions, so their presence does not establish the conclusion in its converse direction, proving item 4's limitation. Item 5 separates an unfulfilled evidential burden from a factual negation. These distinctions jointly block the inference from negative appraisal alone to a justified assignment of guilt without declaring every negative appraisal innocent.

□

Theorem 1.15 identifies incompatibility with the asserted goodness claim. A “live refutation” is a route to examine, not a conclusion obtained merely because someone has a negative belief. Theorem 1.16 supplies the distinct, case-sensitive fairness application. It does not infer that one responsibility condition must fail in every negative-appraisal case.

Corollaries 1.17–1.19

Corollary 1.17 (Map-territory targeting)

For finite agents, negative God-appraisals are normally appraisals of the received map G_A. If T wants to preserve both omnibenevolence and justice, it must address the pipeline (what was received, how it was mediated, what capacities were present), not merely punish the output state.

Corollary 1.18 (No default guilt for negative appraisal)

If T invokes OG(G) and claims its condemnation is just, Neg(A,G) alone does not establish culpability. A full, unmitigated attribution must meet the explicit access, capacity, and control conditions of Lemma 1.14, and any blame that remains after mitigation still requires a case-specific justification. Establishing those necessary conditions is not itself sufficient to establish fault.

Corollary 1.19 (Diagnostic triangle)

Under a fixed, truth-apt interpretation, OG(G) and a correct judgment Bad(G) cannot both hold. Adding a condemnation claim cannot remove that inconsistency. Nor does withdrawing one member of the conflicting pair establish that condemnation is deserved; its justification must still satisfy the case-specific fairness and fault requirements.

Proof.

The first claim follows from OG(G) = Good(G) and not Bad(G). The remaining claims distinguish this truth-condition incompatibility from the separately specified conditions of culpability and condemnation.

□

6. A binding claim needs determinate content

A system may insist that God exceeds human understanding. That assertion does not, by itself, supply or refute a metaphysical account. But a claim used to judge finite people has a further task: it must be determinate enough for the required response and its alleged violation to be identifiable.

Lemma 1.20 (Determinacy requirement for binding doctrine)

If T uses OG(G) to ground worship or condemnation, then T is committed to OG(G) being determinately contentful for finite agents, meaning it must be tokenable enough to guide appraisal and action. If OG(G) is treated as ineffable to the point of non-evaluability, then it cannot coherently function as a culpability gate.

This does not demand exhaustive comprehension of God before any meaningful religious statement can be made. Partial understanding can be genuine. The relevant question is whether the particular goodness claim and appraisal requirement have enough specified content to do the work being assigned to them. Calling a predicate mysterious cannot both remove its evaluability and preserve it unchanged as the basis for condemning a person’s evaluation.

When a system makes OG(G) non-evaluable for finite agents, the lemma blocks its use as a determinate appraisal gate. That is a limit on the claim’s moral and epistemic use, not an inference that its proposed God-target is absent. The objections below distinguish this limit from claims about timelessness or nonspatial existence.

7. How I assess a negative appraisal

The useful result is not another label to place on the person. It is an order of questions that stops one disputed belief from doing the work of an entire account of responsibility.

Fix the target and the predicates. What precisely is being called good or unjust? Is the appraisal about the proposed source, an attributed command, the received description, or an institution? Keep the moral meanings stable across the comparison.
Examine what was received. Identify the claim, the evidence offered for it, and the forms of mediation involved. A criticism of a distorted account is not automatically a criticism of an accurately represented target.
Separate correctness from responsibility. Establishing an error does not establish fault. Establishing sincere belief does not establish truth. Neither distinction disappears because the stakes are described as ultimate.
Establish the conditions in the actual case. Examine access, capacity, relevant control, evidence handling, and any separately attributable refusal or negligence. Distinguish an absent condition from a condition that has not yet been demonstrated.
Apply the right degree of judgment. An excuse and a mitigation do different work. Adequate conditions do not themselves prove guilt, and an attribution of fault does not independently justify the severity or purpose of every proposed response.

Two hypothetical cases show why this matters. In one, a person reaches a negative judgment through a representation they had no realistic opportunity to check, and no relevant fault is established. In another, a person has suitable opportunities and knowingly suppresses relevant evidence to protect a preferred conclusion. The same negative sentence could appear in both cases. Its appearance cannot tell us which case we have.

The second example is not a declaration that any actual person deserves condemnation, much less a maximal or unending penalty. Even there, the alleged fault, the person’s circumstances, and the response require justification. It simply makes visible the case that a universal declaration of innocence would erase.

The institution also belongs in the assessment. Its messages, restrictions, threats, and treatment of questions can affect what a person receives and can realistically investigate. Existential Ground develops this reciprocal responsibility: a community cannot claim fault-sensitive judgment while treating its own contribution to the person’s circumstances as irrelevant. [7]

8. Questions and objections

What about a God outside logic?

If “outside logic” means “not truth-apt,” then claims like OG(G) cannot function as binding premises for worship, obedience, or condemnation. The doctrine becomes immune to evaluation, but it also loses the ability to ground the moral work it is being used to do.

If “outside logic” still permits truth-apt, binding doctrine, then the moment the doctrine is stated and used to judge humans, it enters finite minds as tokened content and remains subject to the fairness constraints on culpability.

These alternatives concern whether the claim supplies usable evaluative content. They do not equate analogy with meaninglessness. An analogical account can be examined on the content it actually specifies; the condition is that the appraisal requirement and its alleged violation remain intelligible.

What about a God outside time?

Even if the upstream metaphysics is “outside time,” the downstream evidential object for agents is still present interface content (texts, testimony, experiences, memories, institutional claims). Culpability can only be assessed relative to what appears in that pipeline and relative to Acc, Cap, and Ctrl for the relevant requirement.

This objection does not require me to settle every metaphysics of time. The operative judgment and the evidence available to the finite recipient remain the objects of assessment.

What about a God outside space?

If “outside space” is taken to mean “no spatial consequences,” then there is no public communicative footprint to bind anyone. If God communicates in a way relevant to agents, that communication is instantiated in the agent-facing world (ink, sound, bodies, brains, artifacts). That keeps the evaluation inside the interface pipeline, which is exactly where the fairness constraints apply.

Nonspatial existence and an absence of consequences are different claims. The answer is conditional on the absence of an agent-facing communicative consequence, not a definition of every nonspatial God-concept. A claim that does reach human reasoning still has an interface-bound presentation.

Does saying God is good make every criticism mistaken?

No. The truth of the goodness claim and a system’s assertion of it are different matters. Under the same fixed predicates, actual goodness of the stipulated kind excludes a correct appraisal of injustice. But merely asserting goodness does not demonstrate that the critic is wrong. The grounds for both claims still need examination.

Does this make every negative appraisal innocent?

No. A person may have relevant opportunities and exercise particular forms of culpable avoidance or negligence. Those conditions cannot be inferred merely from the negative verdict, but they are not excluded merely because the person is finite. The conclusion is no default guilt, not universal innocence.

The presence of adequate access, capacity, and control is also not sufficient proof of guilt. A particular attribution of fault must be justified, as must the kind and severity of the proposed response.

Can people shape their own beliefs through inquiry?

Yes, meaningful indirect influence is part of the account. Attention, source selection, practice, and the treatment of evidence can affect what later appears credible. That is different from a universal ability to produce any demanded conviction by a direct decision.

The opportunities for inquiry and the relevant degree of control must be assessed in the person’s circumstances. Control here is not contra-causal self-creation, and it is not a reason to treat every sincere failure of conviction as deliberate refusal.

What is the difference between mitigation and an excuse?

Mitigation reduces the relevant culpability or changes the warranted response. An excuse can remove culpability for the specified failure. The Fairness Clause allows the access and capacity conditions to work in either way, depending on the applicable account and the case.

FullCulp identifies the unmitigated attribution. When a relevant missing condition requires reduction, that full attribution cannot remain unchanged. It does not follow that all residual culpability disappears without a premise establishing complete excuse.

Could a perfectly informed judge establish particular fault?

The argument does not exclude case-specific knowledge or fault. A proposed perfectly informed judge would still need to judge the actual person rather than treat the negative appraisal alone as its complete account of responsibility.

A human institution’s claim to speak for that judge is a further claim. Invoking perfect knowledge upstream does not show that the institution’s own judgment accurately represents it or that its response has been justified. The target, the received claim, and the public warrant remain distinct.

9. What follows, and what does not

I have not proved that God does not exist or that a particular religion is false. I have examined a combination of commitments: authoritative omnibenevolence, an appraisal requirement, condemnation for violating it, a claim of justice, and finite mediated belief formation. The argument identifies what that combination requires and what cannot follow from a negative appraisal alone.

I have also not claimed that every negative appraisal is blameless. Relevant culpable avoidance, deception, or negligent evidence handling remains a particular question. Neither a believer’s nor a nonbeliever’s label supplies its answer. A system retaining omnibenevolence and fault-sensitive justice has to meet the same evidential and responsibility burdens in the case before it.

What remains is substantive. A person can correct a mistaken appraisal without accepting that the mistake established guilt. A community can answer criticism by improving the evidence and the conditions of inquiry rather than treating a threatened consequence as its proof. Moral concern, honest questioning, answerability, and repair can survive the removal of default condemnation.

SYNTHESIZED ANALYSIS

The truth of a God-appraisal and the responsibility of the person making it are different questions. A claim of perfect goodness constrains the first. Fault-sensitive fairness constrains the second. Neither permits negative appraisal to serve as its own proof of guilt.

The Salvation Paradox applies the related pressure to a strict belief gate. The Right to Think Without Fear follows its consequences for inquiry and threatened punishment. Those arguments inherit relevant conditions without becoming another name for this particular appraisal theorem.

10. Terms used in the argument

The formal definitions above fix the numbered argument. These explanations provide a return route into its principal distinctions.

Omnibenevolence: The all-goodness claim examined here. OMT represents the relevant commitment as Good(G) together with not Bad(G), under a fixed interpretation. It does not supply a complete theology by that formula. [source]
Moral appraisal: An evaluative judgment about a represented target. Its occurrence, correctness, and responsibility conditions are separate questions. [source]
God-target: G, the referent a theological system asserts. A claim about this target must not be confused with proof that the target exists or has the stated properties. [source]
Tokened God-map: G_A, the God-concept available to a particular finite agent through their interface. It is the operative representation, not the referent itself. [source]
Misappraisal: An appraisal that is mistaken about its intended target under the specified predicates. That mistake does not, by itself, determine whether the person is at fault. [source]
Truth-apt content: Content that can be assessed as true or false under the interpretation being used. A determinate appraisal gate needs more than an emotionally powerful but unevaluable label. [source]
Univocal use: Use of a predicate with the same relevant meaning across the claims being compared. Changing that meaning changes the comparison and must be made explicit. [source]
Analogical predication: A use that is not simply identical in meaning across its applications but claims a specified analogy or relation. It is not automatically empty; what it permits us to evaluate must be explained. [source]
God-appraisal requirement: A demand to affirm divine goodness or refrain from judging the asserted God bad or unjust. Requiring the state does not establish a person’s ability to form it. [source]
Epistemic access: Adequate access to the relevant content in a form the actual person can realistically encounter, understand, and evaluate. Mere exposure is not sufficient. [source]
Normative capacity: The relevant cognitive, psychological, developmental, situational, and practical ability to meet the requirement. It is assessed for the person and circumstances at issue. [source]
Relevant control: Enough actual control to support the specific fault-sensitive attribution. It can include meaningful indirect influence and does not assume that belief is an unconditional will-switch. [source]
Culpability: Blameworthiness for violating the specified requirement under the relevant system. An asserted violation and a justified attribution of blame are not identical. [source]
Full culpability: The full, unmitigated attribution marked by FullCulp. It is distinct from some remaining culpability after a relevant reduction. [source]
Condemnation: The system’s adverse judgment for a specified violation. Cond_T records that the system condemns; it does not certify that the condemnation is justified. [source]
Mitigation: A relevant reduction of culpability or change in the justified response. It must not be silently treated as complete exoneration. [source]
Excusing condition: A condition that removes the relevant culpability for the specified failure under the applicable responsibility account. Whether a condition excuses or only mitigates requires the actual premise and facts. [source]
Doxastic constraint: The belief-control limitation used here: sincere conviction and evaluative seeming are not universally producible on command, while meaningful indirect influence and particular cases of fault can remain. [source]
Determinacy requirement: A claim used to ground an appraisal obligation must be contentful enough for finite agents to understand the relevant appraisal and its alleged violation. This does not demand exhaustive comprehension of its referent. [source]
Default guilt: Treating the negative appraisal itself as sufficient warrant for blame, without establishing the distinct truth, access, capacity, control, and fault questions. This is the inference OMT rejects. [source]

For the wider vocabulary, use FMFG Terms and Notation, EL Terms and Notation, Epistemology, Skepticism, and Interpretation, Metaphysics, Ontology, and Explanation, and Established Terms and Definitions. Shared words retain their source-specific meanings.

11. Sources and connected reading

The numbered OMT argument on this page is a standalone application. Its finite-interface, responsibility, and doxastic premises are developed in the works below. The local full-culpability schema adds its control commitment explicitly; it is not presented as a verbatim three-condition definition from the Fairness Clause chapter.

[1] Matthew Zejda, Finite Mind, Finite God. Chapter 1, §1.7: Theorem 1.1 and Definition 1.3, printed pp. 11–13. Concept tokening and the finite experiential interface. Book; Finite Mind Constraint.
[2] Matthew Zejda, Finite Mind, Finite God. Chapter 2, §§2.1–2.10, printed pp. 16–31, especially the Human Interface Constraint, Theorem 2.11. Public testimony, the Revelation Filter, transmission, and interpretation. Human Interface Thesis.
[3] Matthew Zejda, Finite Mind, Finite God. Chapter 3, §3.7, printed pp. 40–46: Definitions 3.4–3.7, Lemmas 3.10–3.11, and Theorem 3.13. The access and capacity conditions permit mitigation or defeat of culpability under the stated justice commitment. Fairness Clause.
[4] Matthew Zejda, Finite Mind, Finite God. Chapter 4, §§4.2–4.3 and §4.9, printed pp. 49–52 and 59–63: Definition 4.7, Lemmas 4.8–4.9, and Theorem 4.11. Direct control, indirect influence, nonculpable nonbelief, and the limits of a strict belief gate. Salvation Paradox.
[5] Matthew Tripp Zejda, Existential Logicism: A Logic-Based Engine for Navigating Reality. §§2.5 and 2.11, printed pp. 19–26 and 43–52. Occurrence, actual tokening, frame-internal appraisal, and the distinction between a representation and its referent. Engine; ERP; Tripp’s Prison.
[6] Matthew Tripp Zejda, Existential Logicism: A Logic-Based Engine for Navigating Reality. §7.10 and §8.4, printed pp. 214–220 and 234–246. The constitutive moral-force argument and separately supported causal account of responsibility. Contingency Guillotine; Deterministic Moral Forces.
[7] Matthew Tripp Zejda, Existential Ground. Chapter 17, §§17.5–17.6 and §17.9, printed pp. 300–303 and 308; Appendix A.12.3, Proposition A.90, Definition A.91, and Theorem A.92, printed pp. 444–445. Belief formation, case-sensitive fairness, honest doubt, and institutional responsibility. Book; The Right to Think Without Fear.

Previous: Fairness Clause Next: Salvation Paradox FMFG Project

Back to the beginning