34 ideas
| 18487 | We want to know what makes sentences true, rather than defining 'true' [McFetridge] |
| 14239 | The empty set is usually derived from Separation, but it also seems to need Infinity [Oliver/Smiley] |
| 14240 | The empty set is something, not nothing! [Oliver/Smiley] |
| 14241 | We don't need the empty set to express non-existence, as there are other ways to do that [Oliver/Smiley] |
| 14242 | Maybe we can treat the empty set symbol as just meaning an empty term [Oliver/Smiley] |
| 14243 | The unit set may be needed to express intersections that leave a single member [Oliver/Smiley] |
| 14234 | If you only refer to objects one at a time, you need sets in order to refer to a plurality [Oliver/Smiley] |
| 14237 | We can use plural language to refer to the set theory domain, to avoid calling it a 'set' [Oliver/Smiley] |
| 14245 | Logical truths are true no matter what exists - but predicate calculus insists that something exists [Oliver/Smiley] |
| 14246 | If mathematics purely concerned mathematical objects, there would be no applied mathematics [Oliver/Smiley] |
| 14247 | Sets might either represent the numbers, or be the numbers, or replace the numbers [Oliver/Smiley] |
| 17292 | Avoid 'in virtue of' for grounding, since it might imply a reflexive relation such as identity [Audi,P] |
| 17295 | Ground relations depend on the properties [Audi,P] |
| 17297 | A ball's being spherical non-causally determines its power to roll [Audi,P] |
| 17302 | Ground is irreflexive, asymmetric, transitive, non-monotonic etc. [Audi,P] |
| 17303 | The best critique of grounding says it is actually either identity or elimination [Audi,P] |
| 17294 | Grounding is a singular relation between worldly facts [Audi,P] |
| 17300 | If grounding relates facts, properties must be included, as well as objects [Audi,P] |
| 17296 | We must accept grounding, for our important explanations [Audi,P] |
| 17301 | Reduction is just identity, so the two things are the same fact, so reduction isn't grounding [Audi,P] |
| 18488 | We normally explain natural events by citing further facts [McFetridge] |
| 17293 | Worldly facts are obtaining states of affairs, with constituents; conceptual facts also depend on concepts [Audi,P] |
| 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] |
| 17298 | Two things being identical (like water and H2O) is not an explanation [Audi,P] |
| 17299 | There are plenty of examples of non-causal explanation [Audi,P] |