14 ideas
| 12302 | Definitions formed an abstract hierarchy for Aristotle, as sets do for us [Fine,K] |
| 14266 | Aristotle sees hierarchies in definitions using genus and differentia (as we see them in sets) [Fine,K] |
| 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] |
| 14268 | Maybe bottom-up grounding shows constitution, and top-down grounding shows essence [Fine,K] |
| 14267 | There is no distinctive idea of constitution, because you can't say constitution begins and ends [Fine,K] |
| 14264 | Is there a plausible Aristotelian notion of constitution, applicable to both physical and non-physical? [Fine,K] |
| 14185 | Conditionals are just a shorthand for some proof, leaving out the details [Read] |
| 14367 | An explanation is a causal graph [Woodward,J, by Strevens] |
| 14265 | The components of abstract definitions could play the same role as matter for physical objects [Fine,K] |