3 ideas
7491 | The phases of human thought are theological, then metaphysical, then positivist [Comte, by Watson] |
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |