Instability, Modus ponens and uncertainty of deduction