29 ideas
4036 | What matters is not how many entities we postulate, but how many kinds of entities [Armstrong, by Mellor/Oliver] |
10482 | The logic of ZF is classical first-order predicate logic with identity [Boolos] |
10492 | A few axioms of set theory 'force themselves on us', but most of them don't [Boolos] |
10485 | Naïve sets are inconsistent: there is no set for things that do not belong to themselves [Boolos] |
10484 | The iterative conception says sets are formed at stages; some are 'earlier', and must be formed first [Boolos] |
10491 | Infinite natural numbers is as obvious as infinite sentences in English [Boolos] |
10483 | Mathematics and science do not require very high orders of infinity [Boolos] |
10490 | Mathematics isn't surprising, given that we experience many objects as abstract [Boolos] |
15754 | Without properties we would be unable to express the laws of nature [Armstrong] |
4034 | Whether we apply 'cold' or 'hot' to an object is quite separate from its change of temperature [Armstrong] |
8535 | To the claim that every predicate has a property, start by eliminating failure of application of predicate [Armstrong] |
8537 | Tropes fall into classes, because exact similarity is symmetrical and transitive [Armstrong] |
8538 | Trope theory needs extra commitments, to symmetry and non-transitivity, unless resemblance is exact [Armstrong] |
10488 | It is lunacy to think we only see ink-marks, and not word-types [Boolos] |
8539 | Universals are required to give a satisfactory account of the laws of nature [Armstrong] |
8529 | Deniers of properties and relations rely on either predicates or on classes [Armstrong] |
8532 | Resemblances must be in certain 'respects', and they seem awfully like properties [Armstrong] |
8530 | Change of temperature in objects is quite independent of the predicates 'hot' and 'cold' [Armstrong] |
8536 | We want to know what constituents of objects are grounds for the application of predicates [Armstrong] |
8531 | In most sets there is no property common to all the members [Armstrong] |
10487 | I am a fan of abstract objects, and confident of their existence [Boolos] |
10489 | We deal with abstract objects all the time: software, poems, mistakes, triangles.. [Boolos] |
15753 | Essences might support Resemblance Nominalism, but they are too coarse and ill-defined [Armstrong] |
8533 | Predicates need ontological correlates to ensure that they apply [Armstrong] |
4035 | There must be some explanation of why certain predicates are applicable to certain objects [Armstrong] |
8541 | Regularities theories are poor on causal connections, counterfactuals and probability [Armstrong] |
8540 | The introduction of sparse properties avoids the regularity theory's problem with 'grue' [Armstrong] |
9111 | God is not wise, but more-than-wise; God is not good, but more-than-good [William of Ockham] |
9112 | We could never form a concept of God's wisdom if we couldn't abstract it from creatures [William of Ockham] |