6 ideas
| 3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
| 15160 | Davidson rejected ordinary meaning, and just used truth and reference instead [Davidson, by Soames] |
| 14612 | Davidson aimed to show that language is structured by first-order logic [Davidson, by Smart] |
| 17371 | Some kinds are very explanatory, but others less so, and some not at all [Devitt] |
| 17372 | The higher categories are not natural kinds, so the Linnaean hierarchy should be given up [Devitt] |
| 17373 | Species pluralism says there are several good accounts of what a species is [Devitt] |