15 ideas
| 18859 | Metaphysics is a quest for truthmakers [Tallant] |
| 18861 | Maybe number statements can be paraphrased into quantifications plus identities [Tallant] |
| 18866 | Maybe only 'positive' truths need truth-makers [Tallant] |
| 18860 | A truthmaker is the minimal portion of reality that will do the job [Tallant] |
| 18863 | What is the truthmaker for a possible new power? [Tallant] |
| 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] |
| 18864 | The wisdom of Plato and of Socrates are not the same property [Tallant] |
| 18865 | Substance must have two properties: individuation, and property-bearing [Tallant] |
| 18862 | Are propositions all the thoughts and sentences that are possible? [Tallant] |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |