Type: Node / Meaningful Assertion
Working Definition: A claim is a proposition put forward from an attributable source position within a context, capable of being questioned, supported, contested, accepted, rejected, retracted, or superseded. Its epistemic profile, institutional disposition, operative condition, evidence attachments, and promotion history are tracked separately.
Function in the Grammar: A claim makes a proposition visible and contestable. An act may produce a social fact; a claim asserts something about that fact, about what should count as what, or about what is true, owed, authorized, or appropriate. Claims are not social facts themselves. They are moves through which propositions become available for support, challenge, institutional adoption, rejection, or continued uncertainty. Recording a claim makes its source position, context, epistemic profile, and institutional treatment accountable without pretending that institutional treatment determines truth.
Claim belongs in Division IV (Meaning and Interpretation), not Division I, because a claim is not a primitive operator that generates social reality — it is an intentional assertion by an agent within a social reality that already exists. Count-As and Constitutive Rule specify the grammar of social fact production; Claim is what happens when agents engage that grammar reflexively, asserting what they take to be true, owed, or valid and inviting (or resisting) its assessment.
Formal Grammar Representation
Claim(c) iff
c was put forward from SourcePosition(p) within Institution(I) or Context(C)
c has Proposition(φ): what is being asserted
c has Modality ∈ {factual, normative, interpretive, authority-claim, evidential, evaluative}
c has EpistemicProfile -- see Epistemic Status
c has InstitutionalDisposition ∈ {pending, contested, accepted, rejected, unresolved}
c has ClaimCondition ∈ {active, retracted, superseded}
c has EvidenceAttachments: set of EvidenceRef
c has PromotionHistory: set of Promotion acts
c has AssertedIn: the institutional or contextual frame in which the claim is made
c may reference StandingRecord(p, I)
-- standing affects uptake and institutional weight, not whether c is a claim
Institutional dispositions are scoped to an institution and domain. The same claim
may be accepted in one scope and rejected or unresolved in another.
PromotedTo(c, scope) holds iff a valid
Promotion(c, from_scope, to_scope: scope, authority, time) act is recorded.
There is no bare, global "promoted" status.
Semantic Constraints
The formal expression Claim(c) is well-formed when c has a specific proposition, an attributable source position, and a context. The source may be known, unknown, collective, inherited, human, or machine-produced. Unknown attribution weakens provenance but does not turn an assertion into a background assumption. Epistemic profile, institutional disposition, claim condition, attached evidence, and promotion history answer different questions and may change independently. Institutional acceptance does not establish truth or validity; it records that a particular institution has adopted the claim within a stated scope.
Formal Pattern
Claim(c, claimant: a, proposition: φ, modality: M, context: C)
ASSERTS(Agent(a), Claim(c))
CONTESTS(Agent(b), Claim(c), in: Scope(S)) -- institutional disposition in S may become contested
CHALLENGES(Agent(b), Claim(c), grounds: reason) -- WarrantStatus(c) → challenged
ATTACHES(Agent(a), Claim(c), Evidence(e)) -- adds EvidenceRef; does not determine disposition
REVIEWS(Institution(I), Claim(c)) -- ReviewStage(c) → reviewed
ACCEPTS(Institution(I), Claim(c)) -- I gives c accepted status within its domain
REJECTS(Institution(I), Claim(c)) -- I declines c within its domain; does not make c false
PROMOTES(Institution(I), Claim(c), from_scope: S₁, to_scope: S₂, authority: a′)
-- always paired with a recorded Promotion(c, S₁, S₂, a′, t) act
SUPERSEDES(Claim(c′), Claim(c)) -- c′ replaces c's operative role; c is preserved historically
RETRACTS(Agent(a), Claim(c)) -- a withdraws c because it should no longer be relied upon
Core Relations
| Relation | Notes |
|---|---|
| Source position asserts | A claim must be attributable to a source position, although the source may be unknown, collective, inherited, human, or machine-produced. Standing determines institutional uptake, not whether the proposition functions as a claim. |
| Count-As applies to | Many claims are claims about what should count as what — assertions about which Count-As relations hold in a given case. A claim that this act counts as consent is a normative claim that invokes the Count-As operator. |
| Context bounds | Claims are context-specific. The same proposition may be a valid claim in one context and not in another. |
| Evidence supports | Evidence attachments are recorded independently of disposition. Attachment neither proves support nor determines acceptance. |
| Recognition confers standing | Acceptance records that an institution adopts a claim within scope. It does not make the proposition true or intrinsically valid. |
| Commitment creates | An accepted normative claim may create a commitment — if an institution accepts a claim that X owes Y something, a commitment may follow. Claims are upstream of commitments. |
| Authority requires | A claim made from a recognized authority role carries different institutional weight than the same claim made without it. Authority is one form of standing that gives claims institutional force. |
| Epistemic and institutional properties track | Epistemic profile, scoped disposition, operative condition, evidence attachments, and promotion acts remain distinct. |
Typical Questions
- Who made this claim, and what standing do they have?
- What is this claim's epistemic basis, review status, and claim status?
- What would count as adequate evidence for this claim?
- Who has standing to contest this claim within the relevant institution?
- Has this claim's claim status been advanced through a recorded Promotion act, or does it remain contested?
- Has this claim's warrant been challenged, independent of its claim status?
- Is this claim about a fact, a norm, an authority, or an interpretation?
- Has the claimant retracted or modified this claim?
Examples
| Domain | Claim | What makes it a claim |
|---|---|---|
| Science | "This compound reduces inflammation in the model" | Asserted in a paper; subject to replication, peer review, contestation, and eventual acceptance or retraction |
| Law | "The defendant was present at the scene" | Asserted by a witness; subject to cross-examination, evidence, and judicial evaluation |
| Governance | "This act was authorized by Article 7" | A constitutional authority-claim; subject to review by whoever has authority to interpret the constitution |
| Publishing | "This is an accurate account of events" | Asserted by authorship; subject to factual challenge, correction, and retraction procedures |
| Personal recovery | "I completed the commitment" | Asserted to a community; subject to verification, celebration, or gentle challenge |
| Digital governance | "This LLM output accurately interprets the input" | Model-produced claim with disclosed grounding and review stage; subject to human review before institutional acceptance or reliance |
| Ordinary life | "You agreed to this last Tuesday" | Asserted in a dispute; subject to the other party's contestation, evidence, or acknowledgment |
Distinctions
Claim ≠ Fact. A fact is true independently of who asserts it. A claim is an assertion by an agent with a particular standing, subject to evaluation. The same proposition may be both a fact and a claim — but treating it as a fact ends evaluation, while treating it as a claim keeps it open to contestation and evidence. Institutions fail in both directions: they may treat contested claims as settled facts, ending evaluation too early; or they may keep well-established findings nominally "open" while refusing to evaluate them honestly. Both are forms of epistemic bad faith.
Claim ≠ Count-As. Count-As is the operator that generates social facts — the rule that X counts as Y in context C. A claim is what an agent asserts using that rule. "I claim that your silence counted as consent" is a claim that invokes the Count-As operator; the Count-As relation itself is not the claim. Generating a social fact and asserting one are different operations.
Claim ≠ Belief. A belief is a private epistemic state — what an agent holds to be true. A claim is a public, institutional move — an assertion addressed to others that invites evaluation. An agent may believe something without claiming it. An agent may claim something without fully believing it. The distinction matters: institutions can only work with claims, not beliefs.
Claim ≠ Assertion. An assertion is an act of putting forward a proposition. A claim is the proposition as an attributable, context-bound object that can persist through review, contestation, evidence attachment, recognition, retraction, or supersession. An assertion may create a claim; the claim can outlast the asserting act.
Institutional Disposition ≠ Epistemic Profile. Disposition records what an institution has done with a claim within a scope. The epistemic profile records derivation, producer, grounding, review stage, and warrant condition. Institutional acceptance does not constitute epistemic support, and epistemic support does not constitute institutional acceptance. See Epistemic Status.
Common Failure Modes
| Mode | Description |
|---|---|
| Claim without standing | An agent makes a claim in an institution that does not recognize their standing to make it. The claim may be true, but it receives no institutional uptake — it cannot be evaluated, evidenced, or promoted through legitimate channels. Where to look: claims that are consistently dismissed without engagement, where the dismissal is based on who is claiming rather than what is claimed. |
| Claim as fact | An institution treats a claim as settled fact, shutting down legitimate contestation. The claim's epistemic status is no longer tracked; it has been made immune to revision. Where to look: propositions that "everyone knows" but that no one has ever formally evaluated. |
| Claim without evidence path | A claim is accepted or rejected without any mechanism for evidencing it. Acceptance is based on authority, consensus, or social pressure rather than evaluation. Where to look: institutional decisions that rely on claims but cannot specify what would count as evidence for or against them. |
| Disposition loss | A scoped disposition changes but the institution fails to update its records. Future actors rely on an obsolete disposition. |
| LLM claim overclaiming | A model-produced claim is accepted or relied upon without an adequate review act. Acceptance does not improve its grounding or change its producer. |
| Bare promotion | A claim's status is set to promoted without a corresponding recorded Promotion act specifying scope, authority, and time. The status exists in the record but its legitimacy cannot be traced or audited. Where to look: claims marked promoted with no linked act naming who promoted them, from what scope, to what scope, and under what authority. |
Minimum Viable Test Case
c₁ = claim by model_assistant
Claimant: model_assistant (AlwaysBecoming)
Proposition: "The Institution encyclopedia entry is ready for publication"
Modality: evaluative
AssertedIn: AlwaysBecoming editorial context
EpistemicProfile:
derivation: synthesized
producer: model
grounding: partially-grounded
review_stage: provisional
warrant_status: unchallenged
InstitutionalDisposition(AlwaysBecoming editorial): pending
ClaimCondition: active
model_assistant has drafting authority, not publication authority
model_assistant has no standing to accept or promote c₁
c₁ → CONTESTS? No institutional contestation required; claim simply awaits human review
human_author REVIEWS(c₁):
ReviewStage(c₁) → reviewed
ProducerKind(c₁) unchanged: model
human_author EVALUATES(c₁):
If accepted → InstitutionalDisposition(c₁, editorial) = accepted
If rejected → InstitutionalDisposition(c₁, editorial) = rejected
Contrast — a bare promotion violation:
c₂ = a different claim, described as promoted with no Promotion act recorded
→ invalid: "Claim(c) is promoted" requires a recorded
Promotion(c₂, from_scope, to_scope, authority, time)
→ the bare status change is a governance failure, not a legitimate transition
The institution's constitution reserves evaluation to the human_author. Acceptance
does not alter c₁'s derivation, producer, grounding, review history, or truth.
Cross-References
Required
- Agent — agents commonly assert claims; source position may also be unknown, collective, inherited, or machine-produced
- Validity — acceptance or rejection does not by itself establish a claim's truth or criterion-relative validity
- Institution — the structure within which claims are evaluated and gain institutional force
- Standing — the institutional position that determines whether a claim receives uptake
- Epistemic Status — supplies the multidimensional epistemic profile used by claims
Consequential
- Commitment — accepted normative claims may generate commitments
- Recognition — when an institution accepts a claim, it performs a recognition act
Evidential
- Count-As — the operator many claims invoke; a claim may assert that a Count-As relation holds
- Authority — authority is one form of standing that grants claims institutional weight
- Evidence — evidence attachments are recorded independently of disposition and do not establish support by themselves
- Interpretation — a class of claims about what something means