12 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] |
| 15327 | Kripke's semantic theory has actually inspired promising axiomatic theories [Kripke, by Horsten] |
| 15343 | Kripke offers a semantic theory of truth (involving models) [Kripke, by Horsten] |
| 14966 | The Tarskian move to a metalanguage may not be essential for truth theories [Kripke, by Gupta] |
| 14967 | Certain three-valued languages can contain their own truth predicates [Kripke, by Gupta] |
| 16328 | Kripke classified fixed points, and illuminated their use for clarifications [Kripke, by Halbach] |
| 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] |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| 14265 | The components of abstract definitions could play the same role as matter for physical objects [Fine,K] |