Combining Texts

All the ideas for 'Introduction: Truth and Truth-Making', 'Abstract of 'The Fourfold Root'' and 'The philosophical basis of intuitionist logic'

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


26 ideas

2. Reason / B. Laws of Thought / 2. Sufficient Reason
'There is nothing without a reason why it should be rather than not be' (a generalisation of 'Why?') [Schopenhauer]
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' only gives necessary (not sufficient) conditions for contingent truths [Rami]
'Truth supervenes on being' avoids entities as truth-makers for negative 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 / D. Modal Logic ML / 7. Barcan Formula
Truth-maker theorists should probably reject the converse Barcan formula [Rami]
4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
Dummett says classical logic rests on meaning as truth, while intuitionist logic rests on assertability [Dummett, by Kitcher]
5. Theory of Logic / G. Quantification / 1. Quantification
Classical quantification is an infinite conjunction or disjunction - but you may not know all the instances [Dummett]
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 / C. Sources of Modality / 1. Sources of Necessity
All necessity arises from causation, which is conditioned; there is no absolute or unconditioned necessity [Schopenhauer]
11. Knowledge Aims / A. Knowledge / 2. Understanding
All understanding is an immediate apprehension of the causal relation [Schopenhauer]
16. Persons / C. Self-Awareness / 2. Knowing the Self
What we know in ourselves is not a knower but a will [Schopenhauer]
16. Persons / D. Continuity of the Self / 3. Reference of 'I'
The knot of the world is the use of 'I' to refer to both willing and knowing [Schopenhauer]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
Stating a sentence's truth-conditions is just paraphrasing the sentence [Dummett]
If a sentence is effectively undecidable, we can never know its truth conditions [Dummett]
19. Language / A. Nature of Meaning / 6. Meaning as Use
Meaning as use puts use beyond criticism, and needs a holistic view of language [Dummett]
27. Natural Reality / D. Time / 1. Nature of Time / b. Relative time
Time may be defined as the possibility of mutually exclusive conditions of the same thing [Schopenhauer]