Combining Texts

All the ideas for 'Necessary Existents', 'Nominalism and Substitutional Quantifiers' and 'Truthmakers'

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

34 ideas

3. Truth / A. Truth Problems / 2. Defining Truth
18486 We might define truth as arising from the truth-maker relation [MacBride]
3. Truth / B. Truthmakers / 1. For Truthmakers
18484 Phenomenalists, behaviourists and presentists can't supply credible truth-makers [MacBride]
3. Truth / B. Truthmakers / 2. Truthmaker Relation
18466 If truthmaking is classical entailment, then anything whatsoever makes a necessary truth [MacBride]
3. Truth / B. Truthmakers / 3. Truthmaker Maximalism
18481 Maximalism follows Russell, and optimalism (no negative or universal truthmakers) follows Wittgenstein [MacBride]
18473 'Maximalism' says every truth has an actual truthmaker [MacBride]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
18483 The main idea of truth-making is that what a proposition is about is what matters [MacBride]
3. Truth / B. Truthmakers / 6. Making Negative Truths
18479 There are different types of truthmakers for different types of negative truth [MacBride]
18477 There aren't enough positive states out there to support all the negative truths [MacBride]
3. Truth / B. Truthmakers / 8. Making General Truths
18482 Optimalists say that negative and universal are true 'by default' from the positive truths [MacBride]
3. Truth / B. Truthmakers / 12. Rejecting Truthmakers
18485 Even idealists could accept truthmakers, as mind-dependent [MacBride]
18474 Does 'this sentence has no truth-maker' have a truth-maker? Reductio suggests it can't have [MacBride]
18490 Maybe 'makes true' is not an active verb, but just a formal connective like 'because'? [MacBride]
18493 Truthmaker talk of 'something' making sentences true, which presupposes objectual quantification [MacBride]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10794 The nominalist is tied by standard semantics to first-order, denying higher-order abstracta [Marcus (Barcan)]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
18489 Connectives link sentences without linking their meanings [MacBride]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not
18476 'A is F' may not be positive ('is dead'), and 'A is not-F' may not be negative ('is not blind') [MacBride]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
10786 Anything which refers tends to be called a 'name', even if it isn't a noun [Marcus (Barcan)]
10788 Nominalists see proper names as a main vehicle of reference [Marcus (Barcan)]
5. Theory of Logic / G. Quantification / 1. Quantification
10799 Nominalists should quantify existentially at first-order, and substitutionally when higher [Marcus (Barcan)]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
10790 Quantifiers are needed to refer to infinitely many objects [Marcus (Barcan)]
10791 Substitutional semantics has no domain of objects, but place-markers for substitutions [Marcus (Barcan)]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
10785 Maybe a substitutional semantics for quantification lends itself to nominalism [Marcus (Barcan)]
10798 A true universal sentence might be substitutionally refuted, by an unnamed denumerable object [Marcus (Barcan)]
10795 Substitutional language has no ontology, and is just a way of speaking [Marcus (Barcan)]
7. Existence / A. Nature of Existence / 3. Being / i. Deflating being
10787 Is being just referent of the verb 'to be'? [Marcus (Barcan)]
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]
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
10789 Nominalists say predication is relations between individuals, or deny that it refers [Marcus (Barcan)]
9. Objects / A. Existence of Objects / 3. Objects in Thought
10796 If objects are thoughts, aren't we back to psychologism? [Marcus (Barcan)]
9. Objects / F. Identity among Objects / 2. Defining Identity
10797 Substitutivity won't fix identity, because expressions may be substitutable, but not refer at all [Marcus (Barcan)]
10. Modality / A. Necessity / 6. Logical Necessity
18478 Wittgenstein's plan to show there is only logical necessity failed, because of colours [MacBride]
19. Language / D. Propositions / 3. Concrete Propositions
19216 Propositions (such as 'that dog is barking') only exist if their items exist [Williamson]