3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
18398 | Space, time, and some other basics, are not causal powers [Ellis] |
17503 | Theories can never represent accurately, because their components are abstract [Cartwright,N, by Portides] |