legitimacy-meets-syntax

Legitimacy is characterized by a set of local update rules on a market of the logical-induction kind, sound with respect to a semantic legitimacy notion on a fragment.

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.

A set of local rules exists that is sound with respect to semantic legitimacy, never blessing truth-divergent reasoning, and complete, certifying whatever tracks truth, on a nontrivial fragment.

In the market-logic price model the tonk connective is a sure loss for the market maker, and harmony of introduction and elimination rules corresponds to pricing with no exposure.

The Market Logic sequence, re-read with the legitimacy question in hand, yields a statement of what it already says about local rules of sanity.

On never-settled questions a standard of correctness exists beyond the limit of the market's deliberation, and it comes from the trust principles of logical induction rather than from the limit.

A survey of formality and informality, vagueness and crispness, and fuzziness connects the ways a theory breaks out of the mold of a set of sentences in a classical logic to the legitimacy and inferentialism picture.

Logical induction generalizes to an assessment process in place of a deductive process, with the market maker's bound holding at every propositionally consistent world.

Objectivity is the invariant of the class of legitimate processes, so that correspondence is recovered where there is a territory and inferentialism where there is none.

Unconditional Reflection for an embedded agent makes whatever the future self comes to believe correct by the fact of its being believed: subjectivism carried past the point of having a concept of objectivity.

Legitimacy is related to local rules of sanity, with inferentialist semantics connected to map-territory semantics.