structure for 'Formal Logic'    |     alphabetical list of themes    |     expand these ideas

4. Formal Logic / E. Nonclassical Logics / 12. Non-Monotonic Logic

[logic that adjust its proofs when new premisses are added]

6 ideas
Reasoning may be defeated by new premises, or by finding out more about the given ones [Antonelli]
Weakest Link Principle: prefer the argument whose weakest link is the stronger [Antonelli]
Should we accept Floating Conclusions, derived from two arguments in conflict? [Antonelli]
Non-monotonic core: Reflexivity, Cut, Cautious Monotonicity, Left Logical Equivalence, Right Weakening [Antonelli]
We can rank a formula by the level of surprise if it were to hold [Antonelli]
People don't actually use classical logic, but may actually use non-monotonic logic [Antonelli]