4 ideas
8720 | A logic is 'relevant' if premise and conclusion are connected, and 'paraconsistent' allows contradictions [Priest,G, by Friend] |
6409 | The 'simple theory of types' distinguishes levels among properties [Ramsey, by Grayling] |
3212 | Beliefs are maps by which we steer [Ramsey] |
22086 | The most important aspect of a human being is not reason, but passion [Kierkegaard, by Carlisle] |