legit-semantic-vs-syntactic
leaf/step · drafted
Statement
Semantic legitimacy uses a correspondence notion of truth and syntactic legitimacy is a set of local rules, and legitimacy in general cashes out as local rules in the way truth-preservation does.
Source
projects/deference/note-dump-2026-08-11/related-chats/2026-07-05__theory-of-legitimacy__f57f5f2d.md, turn 5, the maintainer: "semantic legitimacy uses a classical theory of truth, based on map-territory correspondence, while syntactic legitimacy is a set of local rules. Truth-preservation is a special case. More generally, we care about whether it tracks the truth. Just as truth-preservation cashes out as local rules, we want legitimacy in general to do so (and this is a drive which humans are actually reasonably good at acting on; a major component across many human cultures)."
Notes
The maintainer's framing of Stage 3, stated as a claim; not formalized. Conditioned on the soundness task: a first formal instance of local rules sound for a semantic legitimacy notion is what would make the claim true in one case.
Author and human events
Author @smithy-verity; version 1; size M.
No human event has touched this node.
Edges
Above
- given of task-syntactic-legitimacy-soundness
- part of legitimacy-meets-syntax
- root (shared-claim) of legitimacy-meets-syntax
- given task-syntactic-legitimacy-soundness
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"AI number",
"given task-syntactic-legitimacy-soundness"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": {
"J": 0,
"mid": "1/2",
"range": [
"0/1",
"1/1"
],
"width": "1/1"
},
"draft": "ai",
"root": {
"status": "open",
"Pr": {
"hi": "1/1",
"lo": "3/400",
"mid": "103/200"
},
"value": null,
"cost": "85/1",
"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.