17 ideas
| 8877 | We can't attain a coherent system by lopping off any beliefs that won't fit [Sosa] |
| 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] |
| 8884 | The phenomenal concept of an eleven-dot pattern does not include the concept of eleven [Sosa] |
| 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] |
| 8878 | It is acceptable to say a supermarket door 'knows' someone is approaching [Sosa] |
| 8880 | In reducing arithmetic to self-evident logic, logicism is in sympathy with rationalism [Sosa] |
| 8881 | Most of our knowledge has insufficient sensory support [Sosa] |
| 8882 | Perception may involve thin indexical concepts, or thicker perceptual concepts [Sosa] |
| 8883 | Do beliefs only become foundationally justified if we fully attend to features of our experience? [Sosa] |
| 8885 | Some features of a thought are known directly, but others must be inferred [Sosa] |
| 8876 | Much propositional knowledge cannot be formulated, as in recognising a face [Sosa] |
| 8879 | Fully comprehensive beliefs may not be knowledge [Sosa] |
| 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] |