13 ideas
| 21566 | 'Propositional functions' are ambiguous until the variable is given a value [Russell] |
| 14620 | Theories in logic are sentences closed under consequence, but in truth discussions theories have axioms [Fine,K] |
| 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] |
| 14530 | The role of semantic necessity in semantics is like metaphysical necessity in metaphysics [Fine,K, by Hale/Hoffmann,A] |
| 14618 | Semantics is either an assignment of semantic values, or a theory of truth [Fine,K] |
| 14621 | Semantics is a body of semantic requirements, not semantic truths or assigned values [Fine,K] |
| 14622 | Referential semantics (unlike Fregeanism) allows objects themselves in to semantic requirements [Fine,K] |
| 14619 | The Quinean doubt: are semantics and facts separate, and do analytic sentences have no factual part? [Fine,K] |
| 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] |