3 ideas
15549 | If it were true that nothing at all existed, would that have a truthmaker? [Lewis] |
11052 | Psychological logic can't distinguish justification from causes of a belief [Frege] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |