4 ideas
1489 | Modern philosophy tends to be a theory-constructing extension of science, but there is also problem-solving [Nagel] |
9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |