doxastic standpoint claim
- CURIE:
gmeow:DoxasticStandpointClaim - IRI: https://blackcatinformatics.ca/gmeow/DoxasticStandpointClaim
- Category: class
- Defined by:
gmeow:slices/epistemics - Box roles: TBox role (What is this?)
A StandpointClaim that explicitly reports a held DoxasticState — the reified, vantage-indexed claim that an agent is in a particular believing mode toward a proposition. It carries the qualitative claimModality of the belief and links to the underlying DoxasticState via gmeow:claimOfBelief, so the holding can be justified or defeated in a sibling child (Principles 9, 15).
Structure
Subclass of: gmeow:StandpointClaim
Practical Pattern
Use gmeow:DoxasticStandpointClaim as a specialized kind of gmeow:StandpointClaim. Add statement metadata or a standpoint when the assertion needs provenance, confidence, or vantage.
Example Snippets
These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.
Justification And Defeat
- Source:
slices/core/epistemics/examples/justification-and-defeat.ttl - Examples catalog: open in catalog#example-slices-core-epistemics-examples-justification-and-defeat
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex: <https://blackcatinformatics.ca/gmeow/examples/epistemics/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
ex:adaJustifiedClaim a gmeow:DoxasticStandpointClaim ;
rdfs:label "Ada's justified standpoint claim that it is noon"@en ;
gmeow:vantage ex:ada ;
gmeow:observedFeature ex:timeNoon ;
gmeow:claimModality gmeow:unequivocal ;
gmeow:observationMethod gmeow:methodInstrumentalReading ;
gmeow:claimOfBelief ex:adaJustifiedBelief .
ex:adaGettierClaim a gmeow:DoxasticStandpointClaim ;
rdfs:label "Ada's Gettier-defeated standpoint claim that it is noon"@en ;
gmeow:vantage ex:ada ;
gmeow:observedFeature ex:timeNoon ;
gmeow:claimModality gmeow:unequivocal ;
gmeow:observationMethod gmeow:methodInstrumentalReading ;
gmeow:claimOfBelief ex:adaGettierBelief .
Blame Deflection
- Source:
slices/core/deception/examples/blame-deflection.ttl - Examples catalog: open in catalog#example-slices-core-deception-examples-blame-deflection
# SPDX-FileCopyrightText: 2026 Blackcat Informatics® Inc. <paudley@blackcatinformatics.ca>
# SPDX-License-Identifier: CC-BY-4.0
#
# Worked example: deception is held ≠ projected. A spokesperson
# privately BELIEVES an internal misconfiguration caused an outage, but publicly
# PROJECTS that a third-party vendor did. The lie is a gmeow:Event linking the
# two DoxasticStandpointClaims: gmeow:heldStandpoint (the believed claim) and
# gmeow:projectedStandpoint (the asserted-but-disbelieved one). Falsehood is not
# an isFalse boolean — it is the projected claim carrying gmeow:claimVeridicality
# gmeow:veridicalityUntrue. Nothing here needs a "deception class": ordinary
# claims, an event type, and the held/projected gap do all the work.
#
# Re-grounded for both standpoints are reified as gmeow:DoxasticState
# instances and reported by gmeow:DoxasticStandpointClaim instances via
# gmeow:claimOfBelief. The held belief has high credence; the projected belief has
# low credence — the spokesperson publicly avows the vendor-caused proposition
# while actually disbelieving it. The deception is the divergence between the
# high-credence held state and the low-credence projected state.
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex: <https://blackcatinformatics.ca/gmeow/examples/deception/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
# --- What the spokesperson privately HOLDS: the internal engineer caused it.
ex:heldClaim a gmeow:DoxasticStandpointClaim ;
gmeow:vantage ex:spokesperson ;
gmeow:observedFeature ex:internalCauseProposition ;
gmeow:claimOfBelief ex:spokespersonHeldBelief ;
gmeow:claimModality gmeow:unequivocal ;
gmeow:observationMethod gmeow:methodExpertJudgement .
Common Companion Terms
Usage Advice
Use when
- Use when a belief report must be a first-class
StandpointClaimthat can be justified, defeated, or standpoint-indexed independently of the flatgmeow:believes/gmeow:knowsThatspine (Principle 9).
Avoid when
- Avoid when the flat doxastic spine suffices; do not mint both a flat believes statement and a
DoxasticStandpointClaimfor the same holding without a clear reason (Principle 4).
How to use
- Mint one
DoxasticStandpointClaimper (agent, proposition, belief-modality) tuple; set its vantage to the agent,observedFeatureto the proposition,claimModalityto the qualitative belief value, andclaimOfBeliefto the underlyingDoxasticState. Justification and defeat are modeled viagmeow:justifiedByandgmeow:defeatedByin the sibling child.
Examples
- ex:aliceRoundClaim a
gmeow:DoxasticStandpointClaim;gmeow:vantageex:alice;gmeow:observedFeatureex:earthIsRound;gmeow:claimOfBeliefex:aliceBelievesRound;gmeow:claimModalitygmeow:unequivocal.