display all the ideas for this combination of texts
4 ideas
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
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] |