4 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
8836 | Must all justification be inferential? [Ginet] |
8837 | Inference cannot originate justification, it can only transfer it from premises to conclusion [Ginet] |
3015 | The virtue of man is thoughtful foresight of future events [Chilo, by Diog. Laertius] |