16 ideas
10528 | Definitions concern how we should speak, not how things are [Fine,K] |
18369 | There are at least fourteen candidates for truth-bearers [Kirkham] |
19318 | A 'sequence' of objects is an order set of them [Kirkham] |
19319 | If one sequence satisfies a sentence, they all do [Kirkham] |
19320 | If we define truth by listing the satisfactions, the supply of predicates must be finite [Kirkham] |
19315 | In quantified language the components of complex sentences may not be sentences [Kirkham] |
21566 | 'Propositional functions' are ambiguous until the variable is given a value [Russell] |
19317 | An open sentence is satisfied if the object possess that property [Kirkham] |
21567 | 'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell] |
10529 | If Hume's Principle can define numbers, we needn't worry about its truth [Fine,K] |
10530 | Hume's Principle is either adequate for number but fails to define properly, or vice versa [Fine,K] |
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] |
19322 | Why can there not be disjunctive, conditional and negative facts? [Kirkham] |
10527 | An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K] |