Combining Texts

Ideas for 'works', 'Logic for Philosophy' and 'Truthmakers'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

8 ideas

7. Existence / A. Nature of Existence / 6. Criterion for Existence

18480

Maybe it only exists if it is a truthmaker (rather than the value of a variable)? [MacBride]

7. Existence / C. Structure of Existence / 1. Grounding / a. Nature of grounding

18471

Different types of 'grounding' seem to have no more than a family resemblance relation [MacBride]

18472

Which has priority - 'grounding' or 'truth-making'? [MacBride]

7. Existence / C. Structure of Existence / 6. Fundamentals / d. Logical atoms

18475

Russell allows some complex facts, but Wittgenstein only allows atomic facts [MacBride]

7. Existence / D. Theories of Reality / 10. Vagueness / f. Supervaluation for vagueness

13692

A 'precisification' of a trivalent interpretation reduces it to a bivalent interpretation [Sider]

13695

Supervaluational logic is classical, except when it adds the 'Definitely' operator [Sider]

13693

A 'supervaluation' assigns further Ts and Fs, if they have been assigned in every precisification [Sider]

13694

We can 'sharpen' vague terms, and then define truth as true-on-all-sharpenings [Sider]