5 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
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] |
12346 | Form explains why some matter is of a certain kind, and that is explanatory bedrock [Wedin] |
1743 | The greatest deterrence for injustice is if uninjured parties feel as much indignation as those who are injured [Solon, by Diog. Laertius] |