Combining Philosophers

Ideas for Cover,J/O'Leary-Hawthorne,J, Engelbretsen,G/Sayward,C and Theodore Sider

expand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers

---

2 ideas

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / b. Terminology of PL

13689

'Theorems' are formulas provable from no premises at all [Sider]

4. Formal Logic / B. Propositional Logic PL / 3. Truth Tables

13705

Truth tables assume truth functionality, and are just pictures of truth functions [Sider]