Combining Philosophers

Ideas for Empedocles, Willard Quine and Herbert B. Enderton

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

display all the ideas for this combination of philosophers

---

2 ideas

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence

13681

Logical consequence is marked by being preserved under all nonlogical substitutions [Quine, by Sider]

5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence

9718	Validity is either semantic (what preserves truth), or proof-theoretic (following procedures) [Enderton]