Single Idea 19116

[catalogued under 4. Formal Logic / E. Nonclassical Logics / 12. Non-Monotonic Logic]

Full Idea

Conservative core of non-monotonic logic:Reflexivity (p proves p), Cut (if p proves q, it proves their joint implications), Cautious Monotonicity, Left Logical Equivalence (equivalences have same consequences), Right Weakening (non-m preserves classical).

Gist of Idea

Non-monotonic core: Reflexivity, Cut, Cautious Monotonicity, Left Logical Equivalence, Right Weakening

Source

G. Aldo Antonelli (Non-Monotonic Logic [2014], 3.5.1)

Book Reference

'Stanford Online Encyclopaedia of Philosophy', ed/tr. Stanford University [plato.stanford.edu], p.18


A Reaction

[Highly compressed, and without symbols]

Related Idea

Idea 19112 Cautious Monotony ignores proved additions; Rational Monotony fails if the addition's negation is proved [Antonelli]