11 ideas
| 20771 | Six parts: dialectic, rhetoric, ethics, politics, physics, theology [Cleanthes, by Diog. Laertius] |
| 21566 | 'Propositional functions' are ambiguous until the variable is given a value [Russell] |
| 21567 | 'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell] |
| 23457 | Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell] |
| 21556 | Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey] |
| 21568 | A one-variable function is only 'predicative' if it is one order above its arguments [Russell] |
| 6028 | Bodies interact with other bodies, and cuts cause pain, and shame causes blushing, so the soul is a body [Cleanthes, by Nemesius] |
| 20831 | The soul suffers when the body hurts, creates redness from shame, and pallor from fear [Cleanthes] |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| 5993 | The ascending scale of living creatures requires a perfect being [Cleanthes, by Tieleman] |