3 ideas
4262 | If the only aim was consistent beliefs then new evidence and experiments would be irrelevant [Goldman] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
4741 | A very powerful computer might have its operations restricted by the addition of consciousness [Clark,T] |