display all the ideas for this combination of texts
4 ideas
14980 | There is a real issue over what is the 'correct' logic [Sider] |
15000 | 'It is raining' and 'it is not raining' can't be legislated, so we can't legislate 'p or ¬p' [Sider] |
15020 | Classical logic is good for mathematics and science, but less good for natural language [Sider] |
9188 | Gödel proved that first-order logic is complete, and second-order logic incomplete [Gödel, by Dummett] |