6 ideas
9390 | Logic guides thinking, but it isn't a substitute for it [Rumfitt] |
12354 | A 'categorial' property is had by virtue of being or having an item from a category [Wedin] |
12358 | Substance is a principle and a kind of cause [Wedin] |
9389 | Vague membership of sets is possible if the set is defined by its concept, not its members [Rumfitt] |
12346 | Form explains why some matter is of a certain kind, and that is explanatory bedrock [Wedin] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |