Combining Texts
Ideas for
'Mahaprajnaparamitashastra', 'Non-Monotonic Logic' and 'Plural Quantification Exposed'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
8 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 / 12. Non-Monotonic Logic
|
19111
|
Reasoning may be defeated by new premises, or by finding out more about the given ones [Antonelli]
|
|
19113
|
Weakest Link Principle: prefer the argument whose weakest link is the stronger [Antonelli]
|
|
19114
|
Should we accept Floating Conclusions, derived from two arguments in conflict? [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]
|
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / n. Axiom of Comprehension
|
10779
|
A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo]
|