The rule of contradictory pairs, insolubles and validity

The Oxford Calculator Roger Swyneshed put forward three provocative claims in his treatise on insolubles, written in the early 1330s, of which the second states that there is a formally valid inference with true premises and false conclusion. His example deployed the Liar paradox as the conclusion of the inference: ‘The conclusion of this inference is false, so this conclusion is false’. His account of insolubles supported his claim that the conclusion is false, and so the premise, referring to the conclusion, would seem to be true. But what is his account of validity that can allow true premises to lead to a false conclusion? This paper considers Roger’s own account, as well as that of Paul of Venice, writing some sixty years later, whose account of the truth and falsehood of insolubles followed Roger’s closely. Paul endorsed Roger’s three claims. But their accounts of validity were different. The question is whether these accounts are coherent and support Paul’s claim in his Logica Magna that he endorsed all the normal rules of inference.