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
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
Maybe arguments are only valid when suppressed premises are all stated - but why?
Not all arguments are valid because of form; validity is just true premises and false conclusion being impossible
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
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
Logical connectives contain no information, but just record combination relations between facts
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
Conditionals are just a shorthand for some proof, leaving out the details