4 ideas
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
8754 | Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro] |
8836 | Must all justification be inferential? [Ginet] |
8837 | Inference cannot originate justification, it can only transfer it from premises to conclusion [Ginet] |