Combining Texts

All the ideas for 'fragments/reports', 'Truth-making and Correspondence' and 'Non-Monotonic Logic'

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


25 ideas

2. Reason / E. Argument / 1. Argument
You can 'rebut' an argument's conclusion, or 'undercut' its premises [Antonelli]
3. Truth / A. Truth Problems / 2. Defining Truth
If truths are just identical with facts, then truths will make themselves true [David]
3. Truth / B. Truthmakers / 2. Truthmaker Relation
Examples show that truth-making is just non-symmetric, not asymmetric [David]
3. Truth / B. Truthmakers / 4. Truthmaker Necessitarianism
It is assumed that a proposition is necessarily true if its truth-maker exists [David]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
Two different propositions can have the same fact as truth-maker [David]
3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths
What matters is truth-making (not truth-makers) [David]
3. Truth / B. Truthmakers / 11. Truthmaking and Correspondence
Correspondence is symmetric, while truth-making is taken to be asymmetric [David]
Correspondence is an over-ambitious attempt to explain truth-making [David]
Correspondence theorists see facts as the only truth-makers [David]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Correspondence theory likes ideal languages, that reveal the structure of propositions [David]
3. Truth / C. Correspondence Truth / 2. Correspondence to Facts
One proposition can be made true by many different facts [David]
What makes a disjunction true is simpler than the disjunctive fact it names [David]
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 / 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]
7. Existence / A. Nature of Existence / 3. Being / d. Non-being
Not-Being obviously doesn't exist, and the five modes of Being are all impossible [Gorgias, by Diog. Laertius]
8. Modes of Existence / A. Relations / 4. Formal Relations / a. Types of relation
A reflexive relation entails that the relation can't be asymmetric [David]
19. Language / F. Communication / 1. Rhetoric
Destroy seriousness with laughter, and laughter with seriousness [Gorgias]
Gorgias says rhetoric is the best of arts, because it enslaves without using force [Gorgias, by Plato]