Description
Check credence membership in an interval with explicit endpoint inclusion.
Evidence records distinguish claims, source origins, confidence labels, logical scope and access status. Repeated citations may share an origin rather than provide independent support; an unknown origin is not proof of independence. A recorded support or witness link does not establish entailment, truth or a valid inference.
Check credence membership in an interval with explicit endpoint inclusion.
When to use this tool
Use Proposition Credence Interval Membership when checking the stated evidence, source, confidence or logical-label convention.
How to use the tool and how it works
- Enter credence, lower, upper, includeLower, includeUpper. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read inside. Inspect inside before interpreting the associated values.
Require credence/lower/upper in [0,1] with lower<=upper. Test each endpoint using strict comparison or equality according to its inclusion flag.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| credence | Credence | Required. Finite number; minimum 0; maximum 1. |
| lower | Lower | Required. Finite number; minimum 0; maximum 1. |
| upper | Upper | Required. Finite number; minimum 0; maximum 1. |
| includeLower | Whether equality at lower bound passes. | Required. Boolean. |
| includeUpper | Whether equality at upper bound passes. | Required. Boolean. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| inside | Inside | Required. Boolean. |
{
"input": {
"credence": 0.6,
"lower": 0.4,
"upper": 0.8,
"includeLower": true,
"includeUpper": false
},
"output": {
"inside": true
}
}Limitations and assumptions
- A singleton admits a value only when both endpoints are included; no belief calibration, evidence quality or suitable probability is assessed.
- 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.
- Numeric calculations use binary floating point unless exact decimal-integer arithmetic is explicitly stated. No hidden measurement tolerance or decimal rounding is added; nonfinite or out-of-contract results are rejected. Numeric signed-zero results are exported as zero.
Alternative or Complementary methods
Inspect original evidence and use appropriate complete logical/statistical analysis, preserving uncertainty, provenance and applicable access/reuse permissions.
References
Similar or alternative tools
- Claim Confidence Source Label
Attach a stated confidence-source label to a claim.
- Confidence Scale Verbal Anchor Pair
Preserve the verbal anchors of a confidence scale.