Write or generate a theory of premises, rules and preferences. See which arguments survive.
Theory
How to write a theory
Click a button to add a declaration to the theory, then type over its placeholders.
Background evaluation is not available in this browser. Evaluations run on the page itself and cannot be cancelled, so the page asks before each one.
How the claims are argued
- accepted
- defeated
- undecided
- rule (dashed = defeasible)
- derives
- defeats
Claims and rules is a summary: arguments for the same claim share one box, and each attack is drawn where it lands. An attack on a premise or step also defeats every argument built on it, even though no separate arrow is drawn to those arguments. “Every argument” shows all of them.
Claims
| Claim | Status | Accepted in |
|---|
Justified: accepted in every extension. Defensible: in some. Overruled: every argument for it is defeated in every extension. Undecided: none of these.
Argument
The claim's arguments with their immediate connections only: what each is directly built from, and the arguments that attack it or that it attacks. Colours show each argument's label; click one to follow its own connections.
All arguments, grouped by claim
An argument is a derivation tree. Each different combination of sub-arguments is its own argument, so one claim can have several.