H. P. Grice on W. E. Johnson on 'if'

It was W. E. Johnson who first used the expression 'paradox of implication', explaining that a paradox of this sort arises when a logician proceeds step by step, using accepted principles, until a formula is reached which conflicts with common sense [Johnson, 1921, 39].