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,0631218688]].
Click on the Idea Number for the full details 
back to texts

expand these ideas
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
14187

If logic is topicneutral that means it delves into all subjects, rather than having a pure subject matter

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
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

14183

Maybe arguments are only valid when suppressed premises are all stated  but why?

5. Theory of Logic / B. Logical Consequence / 5. Modus Ponens
14184

In modus ponens the 'ifthen' 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. Nontruthfunction conditionals
14185

Conditionals are just a shorthand for some proof, leaving out the details
