16 ideas
| 9327 | Organisms understand their worlds better if they understand themselves [Gulick] |
| 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] |
| 13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
| 10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
| 9325 | In contrast with knowledge, the notion of understanding emphasizes practical engagement [Gulick] |
| 9326 | Knowing-that is a much richer kind of knowing-how [Gulick] |
| 9319 | Is consciousness a type of self-awareness, or is being self-aware a way of being conscious? [Gulick] |
| 9320 | Higher-order theories divide over whether the higher level involves thought or perception [Gulick] |
| 9321 | Higher-order models reduce the problem of consciousness to intentionality [Gulick] |
| 9322 | Maybe qualia only exist at the lower level, and a higher-level is needed for what-it-is-like [Gulick] |
| 22745 | Pherecydes said the first principle and element is earth [Pherecydes, by Sext.Empiricus] |
| 9324 | From the teleopragmatic perspective, life is largely an informational process [Gulick] |
| 5883 | Pherecydes was the first to say that the soul is eternal [Pherecydes, by Cicero] |