26 ideas
| 17311 | Real definitions don't just single out a thing; they must also explain its essence [Koslicki] |
| 18365 | If truths are just identical with facts, then truths will make themselves true [David] |
| 18362 | Examples show that truth-making is just non-symmetric, not asymmetric [David] |
| 18360 | It is assumed that a proposition is necessarily true if its truth-maker exists [David] |
| 18358 | Two different propositions can have the same fact as truth-maker [David] |
| 18355 | What matters is truth-making (not truth-makers) [David] |
| 18354 | Correspondence is symmetric, while truth-making is taken to be asymmetric [David] |
| 18356 | Correspondence is an over-ambitious attempt to explain truth-making [David] |
| 18363 | Correspondence theorists see facts as the only truth-makers [David] |
| 18364 | Correspondence theory likes ideal languages, that reveal the structure of propositions [David] |
| 18357 | What makes a disjunction true is simpler than the disjunctive fact it names [David] |
| 18359 | One proposition can be made true by many different facts [David] |
| 12766 | Logical space is abstracted from the actual world [Stalnaker] |
| 17312 | It is more explanatory if you show how a number is constructed from basic entities and relations [Koslicki] |
| 17314 | The relata of grounding are propositions or facts, but for dependence it is objects and their features [Koslicki] |
| 18361 | A reflexive relation entails that the relation can't be asymmetric [David] |
| 12764 | For the bare particular view, properties must be features, not just groups of objects [Stalnaker] |
| 17313 | Modern views want essences just to individuate things across worlds and times [Koslicki] |
| 17309 | For Fine, essences are propositions true because of identity, so they are just real definitions [Koslicki] |
| 17315 | We need a less propositional view of essence, and so must distinguish it clearly from real definitions [Koslicki] |
| 12761 | An essential property is one had in all the possible worlds where a thing exists [Stalnaker] |
| 12763 | Necessarily self-identical, or being what it is, or its world-indexed properties, aren't essential [Stalnaker] |
| 12762 | Bare particular anti-essentialism makes no sense within modal logic semantics [Stalnaker] |
| 12765 | Why imagine that Babe Ruth might be a billiard ball; nothing useful could be said about the ball [Stalnaker] |
| 17317 | A good explanation captures the real-world dependence among the phenomena [Koslicki] |
| 17316 | We can abstract to a dependent entity by blocking out features of its bearer [Koslicki] |