Description
Compare hypothesis and expectedHypothesis literally and serialize source, hypothesis and claim into a JSON-array key.
Logical labels depend on a specified interpretation, scope and accessibility relation. A material implication holding in one model or a proposition holding in every supplied accessible world is different from proving an actual claim true.
Compare hypothesis and expectedHypothesis literally and serialize source, hypothesis and claim into a JSON-array key.
When to use this tool
Use Belief Scope Hypothesis Token when you need one stated finite-model or scope comparison.
How to use the tool and how it works
- Enter claim, hypothesis, source, expectedHypothesis. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read sameScope, key. Inspect sameScope before interpreting the associated values.
Compare hypothesis and expectedHypothesis literally and serialize source, hypothesis and claim into a JSON-array key.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| claim | Claim | Required. Text; maximum UTF-16 length 8192. |
| hypothesis | Hypothesis | Required. Text; maximum UTF-16 length 8192. |
| source | Caller-supplied source label; authenticity is not verified. | Required. Text; maximum UTF-16 length 8192. |
| expectedHypothesis | Expected Hypothesis | Required. Text; maximum UTF-16 length 8192. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| sameScope | Same Scope | Required. Boolean. |
| key | Key | Required. Text; maximum UTF-16 length 8192. |
{
"input": {
"claim": "claim-A",
"hypothesis": "H1",
"source": "source-A",
"expectedHypothesis": "H1"
},
"output": {
"sameScope": true,
"key": "[\"source-A\",\"H1\",\"claim-A\"]"
}
}Limitations and assumptions
- Token equality does not establish conceptual equivalence, source authenticity or truth. The key is a scoped identifier rather than an evidence assessment.
- Inputs must satisfy both the field types and the cross-field conditions above. Invalid input causes an error; a successful false flag or documented placeholder is a different result.
Alternative or Complementary methods
Use the full logical semantics and all relevant models for an entailment claim. Verify scope, premises and accessibility assumptions before interpreting local boolean results as a general conclusion.
References
Similar or alternative tools
- Defeater Scope Overlap Bit
Test whether any claim scope occurs in defeaterScopes.
- Evidence Quote Entailment Caller Label Tool
Preserve an explicitly supplied evidence-quotation relation without performing semantic entailment or fact verification.