31 ideas
| 9572 | Realists about sets say there exists a null set in the real world, with no members [Chihara] |
| 9550 | We only know relational facts about the empty set, but nothing intrinsic [Chihara] |
| 9562 | In simple type theory there is a hierarchy of null sets [Chihara] |
| 9573 | The null set is a structural position which has no other position in membership relation [Chihara] |
| 9551 | What is special about Bill Clinton's unit set, in comparison with all the others? [Chihara] |
| 9549 | The set theorist cannot tell us what 'membership' is [Chihara] |
| 9571 | ZFU refers to the physical world, when it talks of 'urelements' [Chihara] |
| 9563 | A pack of wolves doesn't cease when one member dies [Chihara] |
| 9561 | The mathematics of relations is entirely covered by ordered pairs [Chihara] |
| 9552 | Sentences are consistent if they can all be true; for Frege it is that no contradiction can be deduced [Chihara] |
| 9553 | Analytic geometry gave space a mathematical structure, which could then have axioms [Chihara] |
| 10192 | We can replace existence of sets with possibility of constructing token sentences [Chihara, by MacBride] |
| 19489 | For me, fictions are internally true, without a significant internal or external truth-value [Yablo] |
| 19490 | Make-believe can help us to reason about facts and scientific procedures [Yablo] |
| 19491 | 'The clouds are angry' can only mean '...if one were attributing emotions to clouds' [Yablo] |
| 9559 | If a successful theory confirms mathematics, presumably a failed theory disconfirms it? [Chihara] |
| 9566 | No scientific explanation would collapse if mathematical objects were shown not to exist [Chihara] |
| 16435 | Plantinga proposes necessary existent essences as surrogates for the nonexistent things [Plantinga, by Stalnaker] |
| 14655 | The 'identity criteria' of a name are a group of essential and established facts [Plantinga] |
| 14658 | 'Being Socrates' and 'being identical with Socrates' characterise Socrates, so they are among his properties [Plantinga] |
| 14656 | Does Socrates have essential properties, plus a unique essence (or 'haecceity') which entails them? [Plantinga] |
| 14654 | Properties are 'trivially essential' if they are instantiated by every object in every possible world [Plantinga] |
| 14653 | X is essentially P if it is P in every world, or in every X-world, or in the actual world (and not ¬P elsewhere) [Plantinga] |
| 14660 | If a property is ever essential, can it only ever be an essential property? [Plantinga] |
| 14661 | Essences are instantiated, and are what entails a thing's properties and lack of properties [Plantinga] |
| 14657 | Does 'being identical with Socrates' name a property? I can think of no objections to it [Plantinga] |
| 14652 | 'De re' modality is as clear as 'de dicto' modality, because they are logically equivalent [Plantinga] |
| 14659 | We can imagine being beetles or alligators, so it is possible we might have such bodies [Plantinga] |
| 9568 | I prefer the open sentences of a Constructibility Theory, to Platonist ideas of 'equivalence classes' [Chihara] |
| 9547 | Mathematical entities are causally inert, so the causal theory of reference won't work for them [Chihara] |
| 9574 | 'Gunk' is an individual possessing no parts that are atoms [Chihara] |