4 ideas
8836 | Must all justification be inferential? [Ginet] |
8837 | Inference cannot originate justification, it can only transfer it from premises to conclusion [Ginet] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |