41 ideas
| 21584 | A sense of timelessness is essential to wisdom [Russell] |
| 21572 | Philosophical disputes are mostly hopeless, because philosophers don't understand each other [Russell] |
| 21571 | Philosophical systems are interesting, but we now need a more objective scientific philosophy [Russell] |
| 21574 | Hegel's confusions over 'is' show how vast systems can be built on simple errors [Russell] |
| 21587 | Philosophers sometimes neglect truth and distort facts to attain a nice system [Russell] |
| 21582 | Physicists accept particles, points and instants, while pretending they don't do metaphysics [Russell] |
| 21573 | When problems are analysed properly, they are either logical, or not philosophical at all [Russell] |
| 9108 | From an impossibility anything follows [William of Ockham] |
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| 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] |
| 13834 | Gentzen's Cut Rule (or transitivity of deduction) is 'If A |- B and B |- C, then A |- C' [Hacking] |
| 13835 | Only Cut reduces complexity, so logic is constructive without it, and it can be dispensed with [Hacking] |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| 21588 | Logic gives the method of research in philosophy [Russell] |
| 13845 | The various logics are abstractions made from terms like 'if...then' in English [Hacking] |
| 13840 | First-order logic is the strongest complete compact theory with Löwenheim-Skolem [Hacking] |
| 13844 | A limitation of first-order logic is that it cannot handle branching quantifiers [Hacking] |
| 13842 | Second-order completeness seems to need intensional entities and possible worlds [Hacking] |
| 13837 | With a pure notion of truth and consequence, the meanings of connectives are fixed syntactically [Hacking] |
| 21586 | The logical connectives are not objects, but are formal, and need a context [Russell] |
| 13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
| 9106 | The word 'every' only signifies when added to a term such as 'man', referring to all men [William of Ockham] |
| 13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
| 21585 | The tortoise won't win, because infinite instants don't compose an infinitely long time [Russell] |
| 9113 | Just as unity is not a property of a single thing, so numbers are not properties of many things [William of Ockham] |
| 9110 | The words 'thing' and 'to be' assert the same idea, as a noun and as a verb [William of Ockham] |
| 21684 | Atomic facts may be inferrable from others, but never from non-atomic facts [Russell] |
| 22316 | A positive and negative fact have the same constituents; their difference is primitive [Russell] |
| 21576 | With asymmetrical relations (before/after) the reduction to properties is impossible [Russell] |
| 21575 | When we attribute a common quality to a group, we can forget the quality and just talk of the group [Russell] |
| 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] |
| 21580 | Science condemns sense-data and accepts matter, but a logical construction must link them [Russell] |
| 21583 | When sense-data change, there must be indistinguishable sense-data in the process [Russell] |
| 21577 | Empirical truths are particular, so general truths need an a priori input of generality [Russell] |
| 21579 | Objects are treated as real when they connect with other experiences in a normal way [Russell] |
| 21578 | Global scepticism is irrefutable, but can't replace our other beliefs, and just makes us hesitate [Russell] |
| 6416 | Other minds seem to exist, because their testimony supports realism about the world [Russell, by Grayling] |
| 9105 | Some concepts for propositions exist only in the mind, and in no language [William of Ockham] |
| 21581 | We never experience times, but only succession of events [Russell] |