Description
Record a defeater's stated retraction event.
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.
Record a defeater's stated retraction event.
When to use this tool
Use Defeater Retraction Event Token when checking the stated evidence, source, confidence or logical-label convention.
How to use the tool and how it works
- Enter beliefId, defeaterId, retractionEventId. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read token. Use the output convention below.
Require nonempty belief, defeater and retraction-event IDs. Encode the ordered triple as JSON text.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| beliefId | Belief Id | Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 8192. |
| defeaterId | Defeater Id | Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 8192. |
| retractionEventId | Retraction Event Id | Required. Text; minimum UTF-16 length 1; maximum UTF-16 length 8192. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| token | JSON-encoded ordered tuple or literal token under the convention above; not a database lookup or authentication result. | Required. Text; maximum UTF-16 length 8192. |
{
"input": {
"beliefId": "B17",
"defeaterId": "D4",
"retractionEventId": "E2"
},
"output": {
"token": "[\"B17\",\"D4\",\"E2\"]"
}
}Limitations and assumptions
- No belief is revised or evidence evaluated; the tool records an event assertion without determining whether a defeater is valid.
- 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
- Counterexample Witness Proposition Link
Link a supplied counterexample witness to a proposition.
- Epistemic Possibility World Tag
Record a proposition's supplied possible-world label.