Combining Texts

Ideas for 'Philosophy of Mathematics', 'Outlines of Pyrrhonism' and 'True Method in Philosophy and Theology'

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

display all the ideas for this combination of texts

---

3 ideas

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 / 5. Modus Ponens

10257

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

5. Theory of Logic / B. Logical Consequence / 8. Material Implication

12196

A valid hypothetical syllogism is 'that which does not begin with a truth and end with a falsehood' [Sext.Empiricus]