display all the ideas for this combination of philosophers
3 ideas
2442 | Inferences are surely part of the causal structure of the world [Fodor] |
9188 | Gödel proved that first-order logic is complete, and second-order logic incomplete [Gödel, by Dummett] |
10035 | Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel] |