Combining Philosophers
Ideas for B Hale / C Wright, Anthony Quinton 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]
|