Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'Mr Strawson on Logical Theory' and 'Introduction: Truth and Truth-Making'

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


26 ideas

1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
Philosophy is largely concerned with finding the minimum that science could get by with [Quine]
1. Philosophy / F. Analytic Philosophy / 6. Logical Analysis
Logicians don't paraphrase logic into language, because they think in the symbolic language [Quine]
2. Reason / B. Laws of Thought / 6. Ockham's Razor
Good algorithms and theories need many occurrences of just a few elements [Quine]
3. Truth / B. Truthmakers / 1. For Truthmakers
There are five problems which the truth-maker theory might solve [Rami]
The truth-maker idea is usually justified by its explanatory power, or intuitive appeal [Rami]
3. Truth / B. Truthmakers / 2. Truthmaker Relation
The truth-making relation can be one-to-one, or many-to-many [Rami]
3. Truth / B. Truthmakers / 3. Truthmaker Maximalism
Central idea: truths need truthmakers; and possibly all truths have them, and makers entail truths [Rami]
3. Truth / B. Truthmakers / 4. Truthmaker Necessitarianism
Most theorists say that truth-makers necessitate their truths [Rami]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
It seems best to assume different kinds of truth-maker, such as objects, facts, tropes, or events [Rami]
3. Truth / B. Truthmakers / 5. What Makes Truths / c. States of affairs make truths
Truth-makers seem to be states of affairs (plus optional individuals), or individuals and properties [Rami]
3. Truth / B. Truthmakers / 5. What Makes Truths / d. Being makes truths
'Truth supervenes on being' avoids entities as truth-makers for negative truths [Rami]
'Truth supervenes on being' only gives necessary (not sufficient) conditions for contingent truths [Rami]
3. Truth / B. Truthmakers / 7. Making Modal Truths
Maybe a truth-maker also works for the entailments of the given truth [Rami]
3. Truth / B. Truthmakers / 11. Truthmaking and Correspondence
Truth-making is usually internalist, but the correspondence theory is externalist [Rami]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Correspondence theories assume that truth is a representation relation [Rami]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
Deflationist truth is an infinitely disjunctive property [Rami]
4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / a. Symbols of PL
The logician's '→' does not mean the English if-then [Quine]
4. Formal Logic / D. Modal Logic ML / 6. Temporal Logic
It is important that the quantification over temporal entities is timeless [Quine]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
Truth-maker theorists should probably reject the converse Barcan formula [Rami]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
Logical languages are rooted in ordinary language, and that connection must be kept [Quine]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
Reduction to logical forms first simplifies idioms and grammar, then finds a single reading of it [Quine]
8. Modes of Existence / A. Relations / 2. Internal Relations
Internal relations depend either on the existence of the relata, or on their properties [Rami]
10. Modality / B. Possibility / 8. Conditionals / e. Supposition conditionals
Normally conditionals have no truth value; it is the consequent which has a conditional truth value [Quine]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
If we understand a statement, we know the circumstances of its truth [Quine]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]
27. Natural Reality / D. Time / 2. Passage of Time / f. Tenseless (B) series
Quine holds time to be 'space-like': past objects are as real as spatially remote ones [Quine, by Sider]