16 ideas
| 17824 | The master science is physical objects divided into sets [Maddy] |
| 14187 | If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter [Read] |
| 14188 | Not all arguments are valid because of form; validity is just true premises and false conclusion being impossible [Read] |
| 14182 | If the logic of 'taller of' rests just on meaning, then logic may be the study of merely formal consequence [Read] |
| 14183 | Maybe arguments are only valid when suppressed premises are all stated - but why? [Read] |
| 14184 | In modus ponens the 'if-then' premise contributes nothing if the conclusion follows anyway [Read] |
| 14186 | Logical connectives contain no information, but just record combination relations between facts [Read] |
| 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] |
| 14185 | Conditionals are just a shorthand for some proof, leaving out the details [Read] |
| 20239 | Unlike us, the early Greeks thought envy was a good thing, and hope a bad thing [Hesiod, by Nietzsche] |