17 ideas
| 9108 | From an impossibility anything follows [William of Ockham] |
| 9107 | A proposition is true if its subject and predicate stand for the same thing [William of Ockham] |
| 16300 | Ockham had an early axiomatic account of truth [William of Ockham, by Halbach] |
| 21566 | 'Propositional functions' are ambiguous until the variable is given a value [Russell] |
| 9106 | The word 'every' only signifies when added to a term such as 'man', referring to all men [William of Ockham] |
| 21567 | 'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell] |
| 8203 | All the arithmetical entities can be reduced to classes of integers, and hence to sets [Quine] |
| 9113 | Just as unity is not a property of a single thing, so numbers are not properties of many things [William of Ockham] |
| 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] |
| 9110 | The words 'thing' and 'to be' assert the same idea, as a noun and as a verb [William of Ockham] |
| 15388 | Universals are single things, and only universal in what they signify [William of Ockham] |
| 9109 | If essence and existence were two things, one could exist without the other, which is impossible [William of Ockham] |
| 8202 | Meaning is essence divorced from things and wedded to words [Quine] |
| 9105 | Some concepts for propositions exist only in the mind, and in no language [William of Ockham] |
| 8201 | The distinction between meaning and further information is as vague as the essence/accident distinction [Quine] |