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]
|