Description
Use weak permission P(a) = not O(not a), with prohibition defined as O(not a).
A logical calculation operates on a stated representation: truth values, token lists, counts, or an explicitly supplied relation. Checking one assignment, pair, trace, or witness is different from proving a formula or validating an entire argument. Empty domains, duplicate tokens, and scope conventions can change the result.
Use weak permission P(a) = not O(not a), with prohibition defined as O(not a).
When to use this tool
Use Deontic Permission Prohibition Duality Tag when you need this exact local truth, count, token, relation, or witness check within a larger logic workflow.
How to use the tool and how it works
- Enter obligatoryNot. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read permitted, prohibited. Inspect permitted, prohibited before interpreting the associated values.
Return permitted=NOT obligatoryNot and prohibited=obligatoryNot.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| obligatoryNot | Obligatory Not | Required. Boolean. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| permitted | Permitted | Required. Boolean. |
| prohibited | Prohibited | Required. Boolean. |
{
"input": {
"obligatoryNot": true
},
"output": {
"permitted": false,
"prohibited": true
}
}Limitations and assumptions
- The result adopts the explicit duality between permission and absence of an obligation not to act. It is a chosen logical convention rather than a legal determination or a model of conflicting norms.
- 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 a parser, scope-aware representation, model checker, or proof procedure when the supplied token or witness representation is insufficient. A local passing check should not be promoted to global validity.
References
Similar or alternative tools
- Deontic Exception Priority Gap
Compare caller-supplied priorities under an explicit equality convention.
- Propositional Conditional Counterexample Row
Classical material implication for one supplied truth assignment.