Combining Texts

All the ideas for 'Are Freedom and Equality Compatible?', 'Sets, Aggregates and Numbers' and 'Introduction: Truth and Truth-Making'

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


25 ideas

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]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
How many? must first partition an aggregate into sets, and then logic fixes its number [Yourgrau]
Nothing is 'intrinsically' numbered [Yourgrau]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
Defining 'three' as the principle of collection or property of threes explains set theory definitions [Yourgrau]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / b. Mathematics is not set theory
We can't use sets as foundations for mathematics if we must await results from the upper reaches [Yourgrau]
You can ask all sorts of numerical questions about any one given set [Yourgrau]
8. Modes of Existence / A. Relations / 2. Internal Relations
Internal relations depend either on the existence of the relata, or on their properties [Rami]
25. Social Practice / A. Freedoms / 5. Freedom of lifestyle
The right-wing conception of freedom is based on the idea of self-ownership [Cohen,GA]
Plenty of people have self-ownership, but still lack autonomy [Cohen,GA]
25. Social Practice / C. Rights / 4. Property rights
It is doubtful whether any private property was originally acquired legitimately [Cohen,GA]
It is plausible that no one has an initial right to own land and natural resources [Cohen,GA]
Every thing which is now private started out as unowned [Cohen,GA]