Combining Texts

All the ideas for 'The Epic of Gilgamesh', 'Building Blocks of Mathematical Logic' and 'Investigations into Logical Deduction'

expand these ideas     |    start again     |     specify just one area for these texts

---

3 ideas

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic

17699

Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel]

5. Theory of Logic / H. Proof Systems / 4. Natural Deduction

13832

Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking]

26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature

8659	The gods alone live forever with Shamash. The days of humans are numbered. [Anon (Gilg)]