Ideas from 'Formal and Material Consequence' by Stephen Read [1994], by Theme Structure
[found in 'Philosophy of Logic: an anthology' (ed/tr Jacquette,Dale) [Blackwell 2002,0-631-21868-8]].
green numbers give full details |
back to texts
|
expand these ideas
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
|
14187
|
If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter
|
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
|
14183
|
Maybe arguments are only valid when suppressed premises are all stated - but why?
|
|
14188
|
Not all arguments are valid because of form; validity is just true premises and false conclusion being impossible
|
|
14182
|
If the logic of 'taller of' rests just on meaning, then logic may be the study of merely formal consequence
|
5. Theory of Logic / B. Logical Consequence / 5. Modus Ponens
|
14184
|
In modus ponens the 'if-then' premise contributes nothing if the conclusion follows anyway
|
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
|
14186
|
Logical connectives contain no information, but just record combination relations between facts
|
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
|
14185
|
Conditionals are just a shorthand for some proof, leaving out the details
|