display all the ideas for this combination of philosophers
4 ideas
17786 | The mainstream of modern logic sees it as a branch of mathematics [Mayberry] |
17788 | First-order logic only has its main theorems because it is so weak [Mayberry] |
17791 | Only second-order logic can capture mathematical structure up to isomorphism [Mayberry] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |