9 ideas
10528 | Definitions concern how we should speak, not how things are [Fine,K] |
16186 | The Barcan Formulas express how to combine modal operators with classical quantifiers [Simchen] |
16187 | The Barcan Formulas are orthodox, but clash with the attractive Actualist view [Simchen] |
16190 | BF implies that if W possibly had a child, then something is possibly W's child [Simchen] |
10529 | If Hume's Principle can define numbers, we needn't worry about its truth [Fine,K] |
10530 | Hume's Principle is either adequate for number but fails to define properly, or vice versa [Fine,K] |
16188 | Serious Actualism says there are no facts at all about something which doesn't exist [Simchen] |
15793 | We can take 'ways things might have been' as irreducible elements in our ontology [Stalnaker, by Lycan] |
10527 | An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K] |