Combining Philosophers

Ideas for Solon, Critias and Stewart Shapiro

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

display all the ideas for this combination of philosophers

---

5 ideas

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

10300

Logical consequence can be defined in terms of the logical terminology [Shapiro]

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

10259

The two standard explanations of consequence are semantic (in models) and deductive [Shapiro]

5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=

13626

Semantic consequence is ineffective in second-order logic [Shapiro]

13637

If a logic is incomplete, its semantic consequence relation is not effective [Shapiro]

5. Theory of Logic / B. Logical Consequence / 5. Modus Ponens

10257

Intuitionism only sanctions modus ponens if all three components are proved [Shapiro]