Combining Texts

All the ideas for 'reports', 'Non-Monotonic Logic' and 'Proper Names'

expand these ideas     |    start again     |     specify just one area for these texts


16 ideas

2. Reason / E. Argument / 1. Argument
You can 'rebut' an argument's conclusion, or 'undercut' its premises [Antonelli]
4. Formal Logic / E. Nonclassical Logics / 1. Nonclassical Logics
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
Reasoning may be defeated by new premises, or by finding out more about the given ones [Antonelli]
Should we accept Floating Conclusions, derived from two arguments in conflict? [Antonelli]
Weakest Link Principle: prefer the argument whose weakest link is the stronger [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]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
We don't normally think of names as having senses (e.g. we don't give definitions of them) [Searle]
How can a proper name be correlated with its object if it hasn't got a sense? [Searle]
'Aristotle' means more than just 'an object that was christened "Aristotle"' [Searle]
Reference for proper names presupposes a set of uniquely referring descriptions [Searle]
Proper names are logically connected with their characteristics, in a loose way [Searle]
5. Theory of Logic / K. Features of Logics / 10. Monotonicity
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]
10. Modality / A. Necessity / 8. Transcendental Necessity
Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius]