Combining Philosophers

Ideas for Lynch,MP/Glasgow,JM, Theodore Sider and St Peter

unexpand 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]
	Full Idea: Formulas provable from no premises at all are often called 'theorems'.
	From: Theodore Sider (Logic for Philosophy [2010], 2.6)

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

13705	Truth tables assume truth functionality, and are just pictures of truth functions [Sider]
	Full Idea: The method of truth tables assumes truth functionality. Truth tables are just pictures of truth functions.
	From: Theodore Sider (Logic for Philosophy [2010], 6.3)