3 ideas
8460 | Philosophers have given precise senses to deduction, probability, computability etc [Quine/Ullian] |
10247 | We have no adequate logic at the moment, so mathematicians must create one [Veblen] |
8249 | Class membership is not transitive, unlike being part of a part of the whole [Lesniewski, by George/Van Evra] |