13 ideas
| 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] |
| 12312 | The real essence of a thing is its powers, or 'dispositional properties' [Copi] |
| 10937 | Essential properties are the 'deepest' ones which explain the others [Copi, by Rami] |
| 12308 | In modern science, nominal essence is intended to be real essence [Copi] |
| 12303 | Within the four types of change, essential attributes are those whose loss means destruction [Copi] |
| 12307 | Modern science seeks essences, and is getting closer to them [Copi] |
| 12310 | Real essences are scientifically knowable, but so are non-essential properties [Copi] |
| 1473 | Is evil an illusion, or a necessary contrast, or uncontrollable, or necessary for human free will? [Mackie, by PG] |
| 1472 | The propositions that God is good and omnipotent, and that evil exists, are logically contradictory [Mackie, by PG] |