18 ideas
17311 | Real definitions don't just single out a thing; they must also explain its essence [Koslicki] |
17312 | It is more explanatory if you show how a number is constructed from basic entities and relations [Koslicki] |
8698 | Modal structuralism says mathematics studies possible structures, which may or may not be actualised [Hellman, by Friend] |
9557 | Statements of pure mathematics are elliptical for a sort of modal conditional [Hellman, by Chihara] |
10263 | Modal structuralism can only judge possibility by 'possible' models [Shapiro on Hellman] |
17314 | The relata of grounding are propositions or facts, but for dependence it is objects and their features [Koslicki] |
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] |
9169 | A statement can be metaphysically necessary and epistemologically contingent [Putnam] |
5819 | Conceivability is no proof of possibility [Putnam] |
17317 | A good explanation captures the real-world dependence among the phenomena [Koslicki] |
9168 | I can't distinguish elm trees, but I mean by 'elm' the same set of trees as everybody else [Putnam] |
5820 | 'Water' has an unnoticed indexical component, referring to stuff around here [Putnam] |
17316 | We can abstract to a dependent entity by blocking out features of its bearer [Koslicki] |
9170 | We need to recognise the contribution of society and of the world in determining reference [Putnam] |
5817 | Language is more like a cooperative steamship than an individual hammer [Putnam] |
5818 | If water is H2O in the actual world, there is no possible world where it isn't H2O [Putnam] |