6 ideas
| 17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
| 15571 | The idea of an atemporal realm of validity is as implausible as medieval theology [Heidegger] |
| 15581 | Dasein is always only that which it has chosen to be [Heidegger] |
| 17371 | Some kinds are very explanatory, but others less so, and some not at all [Devitt] |
| 17373 | Species pluralism says there are several good accounts of what a species is [Devitt] |
| 17372 | The higher categories are not natural kinds, so the Linnaean hierarchy should be given up [Devitt] |