20 ideas
17824 | The master science is physical objects divided into sets [Maddy] |
17825 | Set theory (unlike the Peano postulates) can explain why multiplication is commutative [Maddy] |
17826 | Standardly, numbers are said to be sets, which is neat ontology and epistemology [Maddy] |
17828 | Numbers are properties of sets, just as lengths are properties of physical objects [Maddy] |
17827 | Sets exist where their elements are, but numbers are more like universals [Maddy] |
17830 | Number theory doesn't 'reduce' to set theory, because sets have number properties [Maddy] |
17823 | If mathematical objects exist, how can we know them, and which objects are they? [Maddy] |
17829 | Number words are unusual as adjectives; we don't say 'is five', and numbers always come first [Maddy] |
12184 | Logical necessity overrules all other necessities [McFetridge] |
15083 | The fundamental case of logical necessity is the valid conclusion of an inference [McFetridge, by Hale] |
15084 | In the McFetridge view, logical necessity means a consequent must be true if the antecedent is [McFetridge, by Hale] |
12180 | Logical necessity requires that a valid argument be necessary [McFetridge] |
12181 | Traditionally, logical necessity is the strongest, and entails any other necessities [McFetridge] |
12183 | It is only logical necessity if there is absolutely no sense in which it could be false [McFetridge] |
12192 | The mark of logical necessity is deduction from any suppositions whatever [McFetridge] |
12182 | We assert epistemic possibility without commitment to logical possibility [McFetridge] |
12187 | Objectual modal realists believe in possible worlds; non-objectual ones rest it on the actual world [McFetridge] |
12186 | Modal realists hold that necessities and possibilities are part of the totality of facts [McFetridge] |
2614 | Modern phenomenalism holds that objects are logical constructions out of sense-data [Ayer] |
2615 | The concept of sense-data allows us to discuss appearances without worrying about reality [Ayer] |