19 ideas
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
11115 | 'All horses' either picks out the horses, or the things which are horses [Jubien] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
10885 | Computer proofs don't provide explanations [Horsten] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
11116 | Being a physical object is our most fundamental category [Jubien] |
16463 | Adams says actual things have haecceities, but not things that only might exist [Adams,RM, by Stalnaker] |
11117 | Haecceities implausibly have no qualities [Jubien] |
11119 | De re necessity is just de dicto necessity about object-essences [Jubien] |
11118 | Modal propositions transcend the concrete, but not the actual [Jubien] |
11108 | Your properties, not some other world, decide your possibilities [Jubien] |
11111 | Modal truths are facts about parts of this world, not about remote maximal entities [Jubien] |
11109 | If other worlds exist, then they are scattered parts of the actual world [Jubien] |
11106 | If all possible worlds just happened to include stars, their existence would be necessary [Jubien] |
11112 | Possible worlds just give parallel contingencies, with no explanation at all of necessity [Jubien] |
11113 | Worlds don't explain necessity; we use necessity to decide on possible worlds [Jubien] |
11107 | If there are no other possible worlds, do we then exist necessarily? [Jubien] |
11105 | We have no idea how many 'possible worlds' there might be [Jubien] |
11110 | We mustn't confuse a similar person with the same person [Jubien] |