33 ideas
| 13838 | A decent modern definition should always imply a semantics [Hacking] |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [Hacking] |
| 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] |
| 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] |
| 13839 | Perhaps variables could be dispensed with, by arrows joining places in the scope of quantifiers [Hacking] |
| 13843 | If it is a logic, the Löwenheim-Skolem theorem holds for it [Hacking] |
| 6472 | Continuity is a sufficient criterion for the identity of a rock, but not for part of a smooth fluid [Russell] |
| 6473 | Physical things are series of appearances whose matter obeys physical laws [Russell] |
| 6465 | We need not deny substance, but there seems no reason to assert it [Russell] |
| 6471 | The assumption by physicists of permanent substance is not metaphysically legitimate [Russell] |
| 6466 | Where possible, logical constructions are to be substituted for inferred entities [Russell] |
| 6467 | No sensibile is ever a datum to two people at once [Russell] |
| 6483 | Russell held that we are aware of states of our own brain [Russell, by Robinson,H] |
| 8244 | Sense-data are qualities devoid of subjectivity, which are the basis of science [Russell, by Deleuze/Guattari] |
| 6462 | Sense-data are not mental, but are part of the subject-matter of physics [Russell] |
| 6463 | Sense-data are objects, and do not contain the subject as part, the way beliefs do [Russell] |
| 6464 | Sense-data are usually objects within the body, but are not part of the subject [Russell] |
| 6459 | We do not know whether sense-data exist as objects when they are not data [Russell] |
| 6460 | 'Sensibilia' are identical to sense-data, without actually being data for any mind [Russell] |
| 6461 | Ungiven sense-data can no more exist than unmarried husbands [Russell] |
| 6458 | Individuating sense-data is difficult, because they divide when closely attended to [Russell] |
| 6469 | Sense-data may be subjective, if closing our eyes can change them [Russell] |
| 22693 | The works we value most are in sympathy with our own moral views [John,E] |
| 22694 | We should understand what is morally important in a story, without having to endorse it [John,E] |
| 22695 | We value morality in art because that is what we care about - but it is a contingent fact [John,E] |
| 22692 | A work can be morally and artistically excellent, despite rejecting moral truth [John,E] |
| 6470 | Matter is the limit of appearances as distance from the object diminishes [Russell] |
| 6468 | There is 'private space', and there is also the 'space of perspectives' [Russell] |