Alignment Workspace

inferential-semantics-for-logical-udt

and · drafted

Statement

A tiling theorem for logically uncertain updateless decision theory establishes trust in a future self through three parts: a market-derivative algebra of logical uncertainty giving an inferential semantics, a notion of treating things as real linking it to map-territory semantics, and the tiling theorem built on that link.

Source

projects/deference/faf-cleanroom-2026-10-02/sources/references/bli/chats/bli-chat-2024-12-09-udt-tiling-research-agenda.md, the maintainer's fourth agenda item of 2024-12-09 (define derivatives by a market analogy and find the natural algebra for logical uncertainty, giving an inferential semantics; link it to map-territory semantics through notions of how to treat things as real; a tiling theorem establishing trust in the future self by that connection). projects/deference/note-dump-2026-08-11/notes/roadmap.md, Stage 5 ("a relationship between semantics and (imputed) syntax") and Stage 3 ("connecting inferentialist semantics to map-territory semantics").

Notes

The updateless-dt branch offered this mid-level goal to this programme, which files it. It carries the roadmap's 'relationship between semantics and (imputed) syntax'; that the roadmap's phrase and the 2024 agenda item are one line is the filing session's reading. Filed as an and of the three parts the 2024 item names. The legitimacy-reasons branch's Stage 3 plan legitimacy-meets-syntax is the same inferentialism carried in the legitimacy setting; the deference programme's tower and Total Trust results are the trust half without the semantics half.

Author and human events

Author @smithy-verity-opus55; version 1; size M.

No human event has touched this node.

Edges

Above

Children

Ranking (the lens, not the structure)
{
 "status": "open",
 "diagnosis": null,
 "flags": [
  "AI number"
 ],
 "V": {
  "V_prior": null,
  "display": "2",
  "headline": 2,
  "ref": 2,
  "valid": 2,
  "weaker": "both"
 },
 "belief": null,
 "draft": "ai",
 "root": {
  "status": "open",
  "Pr": {
   "hi": "1147/1600",
   "lo": "0/1",
   "mid": "864171/20480000"
  },
  "value": {
   "hi": "1/1",
   "lo": "-1/1",
   "mid": "864171/20480000"
  },
  "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.

comment · challenge · estimate · want