A classification of theories of defeat
A set of defeaters can be considered to be a theory of defeat.
The following classification of defeat theories suggests itself:
- Theories with sentence-type defeat
Special case: Theories with assumption-type defeat
- Theories with step-type defeat
- Theories with composite-type defeat