more from this thinker | more from this text
Full Idea
The Rule of Detachment is a version of Modus Ponens, and says 'If |=φ and |=φ→ψ then |=ψ'. This has no assumptions. Modus Ponens is the more general rule that 'If Γ|=φ and Γ|=φ→ψ then Γ|=ψ'.
Clarification
'Γ' names a set of assumptions
Gist of Idea
MPP: 'If Γ|=φ and Γ|=φ→ψ then Γ|=ψ' (omit Γs for Detachment)
Source
David Bostock (Intermediate Logic [1997], 5.3)
Book Ref
Bostock,David: 'Intermediate Logic' [OUP 1997], p.202
A Reaction
Modus Ponens is actually designed for use in proof based on assumptions (which isn't always the case). In Detachment the formulae are just valid, without dependence on assumptions to support them.
| 8078 | Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin] |
| 20309 | If our ideas are adequate, what follows from them is also adequate [Spinoza] |
| 5395 | Demonstration always relies on the rule that anything implied by a truth is true [Russell] |
| 3094 | You don't have to accept the conclusion of a valid argument [Harman] |
| 13617 | MPP is a converse of Deduction: If Γ |- φ→ψ then Γ,φ|-ψ [Bostock] |
| 13614 | MPP: 'If Γ|=φ and Γ|=φ→ψ then Γ|=ψ' (omit Γs for Detachment) [Bostock] |
| 10257 | Intuitionism only sanctions modus ponens if all three components are proved [Shapiro] |
| 14184 | In modus ponens the 'if-then' premise contributes nothing if the conclusion follows anyway [Read] |
| 15341 | Deduction Theorem: ψ only derivable from φ iff φ→ψ are axioms [Horsten] |