7 ideas
291 | Don't assume that wisdom is the automatic consequence of old age [Plato] |
13831 | Logic is based on transitions between sentences [Prawitz] |
13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |
13823 | In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz] |
21862 | Consciousness is based on 'I can', not on 'I think' [Merleau-Ponty] |
20750 | The mind does not unite perceptions, because they flow into one another [Merleau-Ponty] |
293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |