2014 | Non-Monotonic Logic |
1 | p.2 | 19111 | Reasoning may be defeated by new premises, or by finding out more about the given ones |
1 | p.2 | 19110 | In classical logic the relation |= has Monotony built into its definition |
1 | p.3 | 19112 | Cautious Monotony ignores proved additions; Rational Monotony fails if the addition's negation is proved |
2.1 | p.4 | 19113 | Weakest Link Principle: prefer the argument whose weakest link is the stronger |
2.3 | p.7 | 19114 | Should we accept Floating Conclusions, derived from two arguments in conflict? |
3.2 | p.11 | 19115 | You can 'rebut' an argument's conclusion, or 'undercut' its premises |
3.5.1 | p.18 | 19116 | Non-monotonic core: Reflexivity, Cut, Cautious Monotonicity, Left Logical Equivalence, Right Weakening |
3.5.2 | p.19 | 19117 | We can rank a formula by the level of surprise if it were to hold |
4 | p.26 | 19118 | People don't actually use classical logic, but may actually use non-monotonic logic |
4 | p.27 | 19119 | We infer that other objects are like some exceptional object, if they share some of its properties |