14 ideas
| 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] |
| 6375 | The taste of chocolate is a 'finer-grained' sensation than the taste of sweetness [Polger] |
| 6381 | The mind and the self are one, and the mind-self is a biological phenomenon [Polger] |
| 6378 | Teleological functions explain why a trait exists; causal-role functions say what it does [Polger] |
| 6380 | Identity theory says consciousness is an abstraction: a state, event, process or property [Polger] |
| 6379 | A mummified heart has the teleological function of circulating blood [Polger] |
| 6377 | Teleological notions of function say what a thing is supposed to do [Polger] |
| 22745 | Pherecydes said the first principle and element is earth [Pherecydes, by Sext.Empiricus] |
| 5883 | Pherecydes was the first to say that the soul is eternal [Pherecydes, by Cicero] |