3 ideas
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
3214 | The models we use in reasoning may be more like perceptions than like language [Johnson-Laird] |
7258 | The forefather of modern intuitionism is Richard Price [Price,R, by Dancy,J] |