Combining Texts
Ideas for
'Axiomatic Theories of Truth', 'A Universe from Nothing' and 'Non-Monotonic Logic'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
9 ideas
4. Formal Logic / E. Nonclassical Logics / 1. Nonclassical Logics
19119
|
We infer that other objects are like some exceptional object, if they share some of its properties [Antonelli]
|
4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic
16335
|
In Strong Kleene logic a disjunction just needs one disjunct to be true [Halbach]
|
16334
|
In Weak Kleene logic there are 'gaps', neither true nor false if one component lacks a truth value [Halbach]
|
4. Formal Logic / E. Nonclassical Logics / 12. Non-Monotonic Logic
19111
|
Reasoning may be defeated by new premises, or by finding out more about the given ones [Antonelli]
|
19114
|
Should we accept Floating Conclusions, derived from two arguments in conflict? [Antonelli]
|
19113
|
Weakest Link Principle: prefer the argument whose weakest link is the stronger [Antonelli]
|
19116
|
Non-monotonic core: Reflexivity, Cut, Cautious Monotonicity, Left Logical Equivalence, Right Weakening [Antonelli]
|
19117
|
We can rank a formula by the level of surprise if it were to hold [Antonelli]
|
19118
|
People don't actually use classical logic, but may actually use non-monotonic logic [Antonelli]
|