di Sergio Mauri
Michael Clark, I paradossi dalla a alla z, Raffaello Cortina Editore, p. 126.
La descrizione corretta del paradosso dell’implicazione è: una conclusione segue da, o è implicata dalle premesse di un’argomentazione, se e solo se è impossibile che le premesse siano vere e la conclusione falsa. Ma una contraddizione implicherà qualsiasi conclusione, poiché è impossibile che una contraddizione sia vera; una conclusione necessaria sarà implicata da premesse qualsiasi, poiché è impossibile che una conclusione necessaria sia falsa.