18 ideas
1597 | Thales was the first western thinker to believe the arché was intelligible [Roochnik on Thales] |
5515 | Imaginary cases are good for revealing our beliefs, rather than the truth [Parfit] |
11022 | Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read] |
11065 | The inferential role of a logical constant constitutes its meaning [Gentzen, by Hanna] |
11023 | The logical connectives are 'defined' by their introduction rules [Gentzen] |
11213 | Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule [Gentzen] |
10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
5516 | Reduction can be by identity, or constitution, or elimination [Parfit, by PG] |
3013 | Nothing is stronger than necessity, which rules everything [Thales, by Diog. Laertius] |
5514 | Psychologists are interested in identity as a type of person, but philosophers study numerical identity [Parfit] |
5521 | If my brain-halves are transplanted into two bodies, I have continuity, and don't need identity [Parfit] |
5522 | Over a period of time what matters is not that 'I' persist, but that I have psychological continuity [Parfit] |
5519 | It is fine to save two dying twins by merging parts of their bodies into one, and identity is irrelevant [Parfit] |
5520 | If two humans are merged surgically, the new identity is a purely verbal problem [Parfit] |
5518 | It doesn't matter whether I exist with half my components replaced (any more than an audio system) [Parfit] |
1494 | Thales said water is the first principle, perhaps from observing that food is moist [Thales, by Aristotle] |
1713 | Thales must have thought soul causes movement, since he thought magnets have soul [Thales, by Aristotle] |
1742 | Thales said the gods know our wrong thoughts as well as our evil actions [Thales, by Diog. Laertius] |