3 ideas
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
7258 | The forefather of modern intuitionism is Richard Price [Price,R, by Dancy,J] |
5996 | Critolaus redefined Aristotle's moral aim as fulfilment instead of happiness [Critolaus, by White,SA] |