supposes

• CURIE: gmeow:supposes
• IRI: https://blackcatinformatics.ca/gmeow/supposes
• Category: property
• Defined by: gmeow:slices/imagination
• Box roles: RBox role (What is this?)

An agent takes a proposition on HYPOTHETICALLY — for the sake of argument or exploration, in a suppositional mood, without holding it true. The propositional sibling of gmeow:imagines: where imagining is quasi-perceptual, supposing is the entertaining of a proposition under a hypothesis. Range is intentionally OPEN (the spine precedent); the content is typically a gmeow:Proposition (referenced by prose). Non-functional. A supposition characteristically opens an imagined world (gmeow:imaginedWorld → logic:World, by reference) explored under it; from whose vantage it is supposed rides gmeow:accordingTo, never a truth bit here.

Structure

Property shape: object property; gmeow:Agent -> ?

Practical Pattern

Use gmeow:supposes from gmeow:Agent to ? when the relationship itself belongs in the native GMEOW graph.

Example Snippets

These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.

Counterfactual Rehearsal

• Source: slices/core/imagination/examples/counterfactual-rehearsal.ttl
• Examples catalog: open in catalog#example-slices-core-imagination-examples-counterfactual-rehearsal

@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix logic: <https://blackcatinformatics.ca/logic/> .
@prefix ex:    <https://blackcatinformatics.ca/gmeow/examples/imagination/> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .



# --- The agent and the what-if premise she takes on hypothetically.
ex:lillith a gmeow:Agent ;
    gmeow:supposes ex:interestRatesDouble ;   # held AS-IF, not believed
    gmeow:imagines ex:recessionScene .         # the scene she pictures under it

Common Companion Terms

gmeow:Agent

Usage Advice

Use when

• Use to record that an agent entertains a proposition hypothetically — the antecedent of a conditional, the hypothesis of a reductio, a what-if premise — to explore its consequences, typically against a gmeow:imaginedWorld; the propositional companion of gmeow:imagines.

Avoid when

• Avoid where the agent takes the premise on as a working commitment within an argument (use gmeow:accepts), holds it true (use gmeow:believes), or pictures non-propositional content (use gmeow:imagines); supposition is hypothetical entertaining, not commitment, and never a factive verdict.

How to use

• Point the agent at the supposed proposition; tag its reality-monitoring source with gmeow:contentOrigin gmeow:originSupposed, open the explored world with gmeow:imaginedWorld (logic:World, by reference), and carry the vantage on gmeow:accordingTo rather than asserting the proposition as a fact.

Scope notes

• Distinct from gmeow:accepts (no axiom): acceptance takes a premise on as a working commitment within an argument; supposition explicitly entertains a proposition AS-IF, characteristically to explore its consequences in a counterfactual world (the antecedent of a conditional, the hypothesis of a reductio). The supposed content's source is marked gmeow:contentOrigin gmeow:originSupposed for reality-monitoring.

Examples

• ex:lillith gmeow:supposes ex:interestRatesDouble.