Combining Texts

All the ideas for 'fragments/reports', 'Introduction: Truth and Truth-Making' and 'Knowledge and the Philosophy of Number'

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

24 ideas

3. Truth / B. Truthmakers / 1. For Truthmakers
18334 The truth-maker idea is usually justified by its explanatory power, or intuitive appeal [Rami]
18335 There are five problems which the truth-maker theory might solve [Rami]
3. Truth / B. Truthmakers / 2. Truthmaker Relation
18339 The truth-making relation can be one-to-one, or many-to-many [Rami]
3. Truth / B. Truthmakers / 3. Truthmaker Maximalism
18333 Central idea: truths need truthmakers; and possibly all truths have them, and makers entail truths [Rami]
3. Truth / B. Truthmakers / 4. Truthmaker Necessitarianism
18342 Most theorists say that truth-makers necessitate their truths [Rami]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
18340 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
18341 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
18345 'Truth supervenes on being' avoids entities as truth-makers for negative truths [Rami]
18346 'Truth supervenes on being' only gives necessary (not sufficient) conditions for contingent truths [Rami]
3. Truth / B. Truthmakers / 7. Making Modal Truths
18343 Maybe a truth-maker also works for the entailments of the given truth [Rami]
3. Truth / B. Truthmakers / 11. Truthmaking and Correspondence
18338 Truth-making is usually internalist, but the correspondence theory is externalist [Rami]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
18337 Correspondence theories assume that truth is a representation relation [Rami]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
18347 Deflationist truth is an infinitely disjunctive property [Rami]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
18350 Truth-maker theorists should probably reject the converse Barcan formula [Rami]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
23623 Predicativism says only predicated sets exist [Hossack]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
23624 The iterative conception has to appropriate Replacement, to justify the ordinals [Hossack]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
23625 Limitation of Size justifies Replacement, but then has to appropriate Power Set [Hossack]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / d. and
23628 The connective 'and' can have an order-sensitive meaning, as 'and then' [Hossack]
5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic
23627 'Before' and 'after' are not two relations, but one relation with two orders [Hossack]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / h. Ordinal infinity
23626 Transfinite ordinals are needed in proof theory, and for recursive functions and computability [Hossack]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / b. Mathematics is not set theory
23621 Numbers are properties, not sets (because numbers are magnitudes) [Hossack]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
23622 We can only mentally construct potential infinities, but maths needs actual infinities [Hossack]
8. Modes of Existence / A. Relations / 2. Internal Relations
18336 Internal relations depend either on the existence of the relata, or on their properties [Rami]
13. Knowledge Criteria / E. Relativism / 2. Knowledge as Convention
1556 By nature people are close to one another, but culture drives them apart [Hippias]