anti-naturality-arguments-as-stated
and · drafted
Statement
Each of the eight published anti-naturality arguments holds as stated for a trained agent whose utility on the algebra containing its overseers' corrections depends on those corrections, and the surviving notion matches a newer formalism.
Source
projects/deference/corrigibility-note-dump-2026-10-01/corrigibility-discussion-outline.md, the table of items 1 to 9; the author's thesis of 2026-09-13 as republished there, which says the arguments have hidden or under-scrutinized assumptions.
Notes
The conjunction the author's thesis denies: it is filed so that the thesis leaf can condition on it and so that each argument is one leaf a session can settle. The conjuncts are jointly necessary because the thesis says 'each argument'. A gestalt is logged for the whole, as the content rule for a conjunction of more than four AI-estimated parts requires; the derived product is small because at least two conjuncts are already settled against the arguments.
Author and human events
Author @smithy-verity; version 1; size L.
No human event has touched this node.
Edges
Above
- part of anti-naturality-review
- root (shared-claim) of anti-naturality-review
Children
- part: arg-utility-change leaf/step
- part: arg-nearest-unblocked leaf/step
- part: arg-turner-vnm-incoherence leaf/step
- part: arg-miri-2015-e-channel leaf/step
- part: arg-thornley-completeness leaf/step
- part: arg-fully-updated-deference leaf/step
- part: arg-christiano-basin-fragility leaf/step
- part: arg-agi-ruin-23 leaf/step
- part: arg-newer-formalisms-checkpoint leaf/question
- part: anti-naturality-arguments-as-stated.complete leaf/completeness
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"interval not a bound (negative evidential edge)"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": null,
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "2373628257/16384000000",
"lo": "0/1",
"mid": "2850598767159/167772160000000000"
},
"value": null,
"cost": "inf",
"margin": "no established leaves"
}
}Say something about it
Each verb opens a prefilled issue; a round files what lands as the ledger event it is.