16 ideas
17311 | Real definitions don't just single out a thing; they must also explain its essence [Koslicki] |
8717 | Hilbert wanted to prove the consistency of all of mathematics (which realists take for granted) [Hilbert, by Friend] |
17312 | It is more explanatory if you show how a number is constructed from basic entities and relations [Koslicki] |
10113 | The grounding of mathematics is 'in the beginning was the sign' [Hilbert] |
10115 | Hilbert substituted a syntactic for a semantic account of consistency [Hilbert, by George/Velleman] |
10116 | Hilbert aimed to prove the consistency of mathematics finitely, to show infinities won't produce contradictions [Hilbert, by George/Velleman] |
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] |
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] |
13554 | True greatness is never allowing events to disturb you [Seneca] |
13556 | Every night I critically review how I have behaved during the day [Seneca] |
13553 | Anger is a vice which afflicts good men as well as bad [Seneca] |
13552 | Anger is an extreme vice, threatening sanity, and gripping whole states [Seneca] |