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

5. Theory of Logic / K. Features of Logics / 10. Monotonicity

[if something is proved, nothing new can unprove it]

6 ideas
Valid deduction is monotonic - that is, it remains valid if further premises are added [Psillos]
Explanations fail to be monotonic [Rosen]
Most deductive logic (unlike ordinary reasoning) is 'monotonic' - we don't retract after new givens [Wolf,RS]
In classical logic the relation |= has Monotony built into its definition [Antonelli]
Cautious Monotony ignores proved additions; Rational Monotony fails if the addition's negation is proved [Antonelli]
Monotonicity means there is a guarantee, rather than mere inductive support [Rumfitt]