Defeater Scope Overlap Bit Tool

Description

Test whether any claim scope occurs in defeaterScopes.

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.

Test whether any claim scope occurs in defeaterScopes.

When to use this tool

Use Defeater Scope Overlap Bit when you need one stated finite-model or scope comparison.

How to use the tool and how it works

Enter claimScopes, defeaterScopes, defeaterActive. Keep parallel arrays aligned. Use the units and conventions below.
Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
Read scopeOverlap, appliesUnderFlags. Inspect scopeOverlap, appliesUnderFlags before interpreting the associated values.

Test whether any claim scope occurs in defeaterScopes. Return that overlap and its conjunction with defeaterActive.^[1]

Input field	Meaning and units	Accepted input
claimScopes	Claim Scopes	Required. Array of text; maximum UTF-16 length 8192; maximum items 256.
defeaterScopes	Defeater Scopes	Required. Array of text; maximum UTF-16 length 8192; maximum items 256.
defeaterActive	Defeater Active	Required. Boolean.

Output field	Interpretation	Returned shape
scopeOverlap	Scope Overlap	Required. Boolean.
appliesUnderFlags	Applies Under Flags	Required. Boolean.

json

{
  "input": {
    "claimScopes": [
      "a",
      "b"
    ],
    "defeaterScopes": [
      "b"
    ],
    "defeaterActive": true
  },
  "output": {
    "scopeOverlap": true,
    "appliesUnderFlags": true
  }
}

Limitations and assumptions

Scope and activity are supplied tokens/flags. No actual evidence, defeater strength, valid inference or justified belief is established.
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

Calculation and input contract: epistemology/defeater-scope-overlap-bit — tool.io

Similar or alternative tools

Belief Scope Hypothesis Token
Compare hypothesis and expectedHypothesis literally and serialize source, hypothesis and claim into a JSON-array key.
Belief Priority Rank Gap Tool
Calculate belief priority rank gap from explicit caller-supplied inputs.