Description
Format an epistemic modal-scope bracket under a supplied convention.
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.
Format an epistemic modal-scope bracket under a supplied convention.
When to use this tool
Use Epistemic Modal Scope Bracket when checking the stated evidence, source, confidence or logical-label convention.
How to use the tool and how it works
- Enter modalToken, propositionText. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read scopedText. Use the output convention below.
Require nonempty modal token and proposition text. Return token(propositionText) with literal parentheses around the proposition.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| modalToken | Modal Token | Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 8192. |
| propositionText | Proposition Text | Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 8192. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| scopedText | Scoped Text | Required. Text; maximum UTF-16 length 8192. |
{
"input": {
"modalToken": "K_a",
"propositionText": "p ∧ q"
},
"output": {
"scopedText": "K_a(p ∧ q)"
}
}Limitations and assumptions
- Input text is not parsed or escaped as a logical grammar; inserted parentheses do not prove valid syntax, intended scope or a modal inference.
- 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
Inspect original evidence and use appropriate complete logical/statistical analysis, preserving uncertainty, provenance and applicable access/reuse permissions.
References
Similar or alternative tools
- Epistemic Possibility World Tag
Record a proposition's supplied possible-world label.
- Ethical Claim Conditional Modality Label
Attach a supplied conditional-modality label to an ethical claim.