display all the ideas for this combination of philosophers
4 ideas
10766 | Logic is either for demonstration, or for characterizing structures [Tharp] |
10767 | Elementary logic is complete, but cannot capture mathematics [Tharp] |
10769 | Second-order logic isn't provable, but will express set-theory and classic problems [Tharp] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |