Roger Swyneshed, in his treatise on insolubles (logical paradoxes), dating from the early 1330s, drew three notorious corollaries of his solution. The third states that there is a contradictory pair of propositions both of which are false. This appears to contradict the Rule of Contradictory Pairs, which requires that in every such pair, one must be true and the other false. Looking back at Aristotle's treatise De Interpretatione, we find that Aristotle himself, immediately after defining the notion of a contradictory (...) pair, gave counterexamples to the rule. Thus Swyneshed's solution to the logical paradoxes is not contrary to Aristotle's teaching, as many of Swyneshed's contemporaries claimed. Dialetheism, the contemporary claim that some propositions are both true and false, is wedded to the Rule, and in consequence divorces denial from the assertion of the contradictory negation. (shrink)

In his Quadratura, Paul of Venice considers a sophism involving time and tense which appears to show that there is a valid inference which is also invalid. His argument runs as follows: consider this inference concerning some proposition A: A will signify only that everything true will be false, so A will be false. Call this inference B. Then B is valid because the opposite of its conclusion is incompatible with its premise. In accordance with the standard doctrine of ampliation, (...) Paul takes A to be equivalent to 'Everything that is or will be true will be false'. But he proceeds to argue that it is possible that B's premise ('A will signify only that everything true will be false') could be true and its conclusion false, so B is not only valid but also invalid. Thus A and B are the basis of an insoluble. In his Logica Parva, a self-confessedly elementary text aimed at students and not necessarily representing his own view, and in the Quadratura, Paul follows the solution found in the Logica Oxoniensis, which posits an implicit assertion of its own truth in insolubles like B. However, in the treatise on insolubles in his Logica Magna, Paul develops and endorses Swyneshed's solution, which stood out against this ''multiple-meanings'' approach in offering a solution that took insolubles at face value, meaning no more than is explicit in what they say. On this account, insolubles imply their own falsity, and that is why, in so falsifying themselves, they are false. We consider how both types of solution apply to B and how they complement each other. On both, B is valid. But on one (following Swyneshed), B has true premises and false conclusion, and contradictories can be false together; on the other (following the Logica Oxoniensis), the counterexample is rejected. (shrink)

An eleventh-century Greek text, in which a fourth-century patristic text is discussed, gives an outline of a solution to the Liar Paradox. The eleventh-century text is probably the first medieval treatment of the Liar. Long passages from both texts are translated in this article. The solution to the Liar Paradox, which they entail, is analysed and compared with the results of modern scholarship on several Latin solutions to this paradox. It is found to be a solution, which bears some analogies (...) to contemporary game semantics. Further, an overview of other Byzantine scholia on the Liar Paradox is provided. The findings and the originality of the discussed solution to the Liar Paradox suggest a change in the way in which Byzantine Logic is traditionally regarded in contemporary scholarship. (shrink)

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

In recent years, speech-act theory has mooted the possibility that one utterance can signify a number of different things. This pluralist conception of signification lies at the heart of Thomas Bradwardine’s solution to the insolubles, logical puzzles such as the semantic paradoxes, presented in Oxford in the early 1320s. His leading assumption was that signification is closed under consequence, that is, that a proposition signifies everything which follows from what it signifies. Then any proposition signifying its own falsity, he showed, (...) also signifies its own truth and so, since it signifies things which cannot both obtain, it is simply false. Bradwardine himself, and his contemporaries, did not elaborate this pluralist theory, or say much in its defence. It can be shown to accord closely, however, with the prevailing conception of logical consequence in England in the fourteenth century. Recent pluralist theories of signification, such as Grice’s, also endorse Bradwardine’s closure postulate as a plausible constraint on signification, and so his analysis of the semantic paradoxes is seen to be both well-grounded and plausible. (shrink)