3 ideas
8460 | Philosophers have given precise senses to deduction, probability, computability etc [Quine/Ullian] |
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
8628 | I hold that algebra and number are developments of logic [Jevons] |