The rule of contradictory pairs, insolubles and validity
Abstract
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.
Citation
Read , S 2020 , ' The rule of contradictory pairs, insolubles and validity ' , Vivarium , vol. 58 , no. 4 , pp. 275-304 . https://doi.org/10.1163/15685349-12341388
Publication
Vivarium
Status
Peer reviewed
ISSN
0042-7543Type
Journal article
Description
The present work was funded by Leverhulme Trust Research Project Grant RPG-2016-333.Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.