3 ideas
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
12694 | Essence is the distinct thinkability of anything [Leibniz] |
18033 | The meaning of a representation is its role in thought, perception or decisions [Block] |