29 ideas
| 6782 | Realism is the only philosophy of science that doesn't make the success of science a miracle [Putnam] |
| 13838 | A decent modern definition should always imply a semantics [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] |
| 13833 | 'Thinning' ('dilution') is the key difference between deduction (which allows it) and induction [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] |
| 22181 | Putnam says anti-realism is a bad explanation of accurate predictions [Putnam, by Okasha] |
| 1350 | Continuity is needed for existence, otherwise we would say a thing existed after it ceased to exist [Reid] |
| 21322 | We treat slowly changing things as identical for the sake of economy in language [Reid] |
| 21320 | Identity is familiar to common sense, but very hard to define [Reid] |
| 1367 | Identity can only be affirmed of things which have a continued existence [Reid] |
| 23644 | Without memory we could have no concept of duration [Reid] |
| 23643 | We all trust our distinct memories (but not our distinct imaginings) [Reid] |
| 1356 | A person is a unity, and doesn't come in degrees [Reid] |
| 1359 | Personal identity is the basis of all rights, obligations and responsibility [Reid] |
| 21319 | I can hardly care about rational consequence if it wasn't me conceiving the antecedent [Reid] |
| 21323 | The identity of a thief is only known by similarity, but memory gives certainty in our own case [Reid] |
| 21321 | Memory reveals my past identity - but so does testimony of other witnesses [Reid] |
| 21324 | If consciousness is transferable 20 persons can be 1; forgetting implies 1 can be 20 [Reid] |
| 21325 | Boy same as young man, young man same as old man, old man not boy, if forgotten! [Reid] |
| 21327 | If a stolen horse is identified by similitude, its identity is not therefore merely similitude [Reid] |
| 1366 | If consciousness is personal identity, it is continually changing [Reid] |
| 1352 | Thoughts change continually, but the self doesn't [Reid] |