Auriol has been leading me a merry dance this month. Besides the disjunction business, he says that verum non sequitur nisi ex vero, i.e. truth only follows from truth.
This principle has to be severely qualified before it can even begin to pass muster. The obvious types of counterexample (‘Grass is blue, therefore grass is coloured’, ‘I have hands and a rhinoceros, therefore I have hands’) can be dismissed if he's talking about formal consequences from one categorical proposition to another. But even then the principle falls foul of the mediaeval insistence on the existential import of universal affirmations, which licenses the inference ‘Every man is white, therefore some man is white.’
Has anyone else come across a similar principle elsewhere?