Swyneshed, Aristotle and the Rule of Contradictory Pairs

Roger Swyneshed, in his treatise on insolubles (logical paradoxes), dating from the early 1330s, drew three notorious corollaries from his solution. The third states that there is a contradictory pair of propositions both of which are false. This appears to contradict what Whitaker, in his iconoclastic reading of Aristotle’s De Interpretatione, dubbed “The Rule of Contradictory Pairs” (RCP), which requires that in every such pair, one must be true and the other false. Whitaker argued that, immediately after defining the notion of a contradictory pair, in which one statement affirms what the other denies of the same thing, Aristotle himself gave counterexamples to the rule. This gives some credence to Swyneshed’s claim that his solution to the logical paradoxes is not contrary to Aristotle’s teaching, as many of Swyneshed’s contemporaries claimed. Insolubles are false, he said, because they falsify themselves; and their contradictories are false because they falsely deny that the insoluble itself is false. Swyneshed’s solution depends crucially on the revision he makes to the acount of truth and falsehood, brought out in his first thesis: that a false proposition can signify as it is, or as Paul of Venice, who took up and developed Swyneshed’s solution some sixty years later, puts it, a false proposition can have a true significate. Swyneshed gave a further counterexample to (RCP) when he claimed that some insolubles, like future contingents, are neither true nor false. 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. Consequently, Swyneshed’s logical heresy is very different from that found in dialetheism.


The Rule of Contradictory Pairs
In his treatise on insolubles, written in the early 1330s, the Oxford Calculator Roger Swyneshed made three notorious iconoclastic claims: 1. There is a false proposition which principally signifies as things are 2. There is a formally valid inference with true premise and false conclusion 3. There is a pair of contradictory propositions both of which are false. 1 In this paper, I am concerned for the most part with the third thesis. 2 It is very natural to dismiss it out of hand, as I did myself in my 'Introduction' to my edition of Bradwardine's treatise on insolubles [7, p. 24]. I wrote: "No true logician would accept (3.) . . . [C]ontradictories cannot both be false, by definition." But this judgment is too hasty. We owe the introduction of the notion of contradictory pairs of propositions to Aristotle, or as he called them, antiphases. I quote from De Interpretatione, ch. 6: 3 "We mean by affirmation a statement affirming one thing of another; we mean by negation a statement denying one thing of another. As men can affirm and deny the presence of that which is present and the presence of that which is absent and this they can do with reference to times that lie outside the present: whatever a man may affirm, it is possible as well to deny, and whatever a man may deny, it is possible as well to affirm. Thus, it follows, each affirmative statement will have its own opposite negative, just as each negative statement will have its affirmative opposite. Every such pair of propositions we, therefore, shall call contradictories, always assuming the predicates and subjects are really the same and the terms used without ambiguity. These and some other provisos are needed in view of the puzzles propounded by importunate sophists." [1, pp. 123-5, 17a27-34] Contradictories are often nowadays defined as two propositions, or statements, that cannot both be true and cannot both be false. But that is not how Aristotle defines them. Rather, for him, in a pair of contradictories, one affirms of something what the other denies of it. As we will see, these definitions are not necessarily equivalent. One might call Aristotle's definition in terms of affirmation and denial a syntactic definition, and the modern one in terms of truth and falsehood, a semantic definition. Note that Aristotle's definition guarantees that every statement has a contradictory and says what it is, whereas the semantic definition does not. 4 In his study of Aristotle's De Interpretatione, C.W.A. Whitaker challenged the orthodox reading of this treatise and argued that immediately after introducing the notion of contradictories in ch. 6, Aristotle set out, in effect, to show the inequivalence of the two definitions. He did this by providing counterexamples to what Whitaker dubs "the Rule of Contradictory Pairs" (RCP); that in each contradictory pair, one member is true and the other false. In ch. 7, Whitaker says, Aristotle gives examples of contradictory pairs each member of which is true; in ch. 8, pairs each of which is false; and in the famous ch. 9, concerning the future sea-battle, pairs each of which is true or false, but not determinately either. 5 Russell Jones [15] echoes Whitaker's analysis, agreeing that Aristotle's target is (RCP), but disagreeing on the detail. In particular, he rejects Whitaker's claim that in ch. 7, Aristotle shows that both members of a pair can be true, and the claim that in ch. 9 "To say that that which is is not or that which is not is, is a falsehood; and to say that that which is is and that which is not is not, is true." [2, p. 23, 1011b26-28] 4 Horn [13, §1] claims that Aristotle "shift[ed] from a formal to a semantically based criterion of opposition" when setting out contradictories in the square of opposition. Not so: just as 'pale is not said of Socrates' denies of Socrates what 'pale is said of Socrates' affirms of him, so too 'pale is not said of every man', or equivalently 'pale is not said of some man' (in the latter, 'some' "scopes out" over 'not'), denies of man (the universal) what 'pale is said of every man' affirms of man, and 'pale is said of no man' denies of man what 'pale is said of some man' affirms of man. 5 See also Kneale  "For the same thing to hold good and not to hold good simultaneously of the same thing and in the same respect is impossible," [2, p. 7, 1005b19-20] which is equivalent to (CV) by the account of truth and falsehood just quoted. The focus of De Interpretatione ch. 7 is on indeterminate propositions such as 'Man is pale'. Whitaker takes them to be non-universal statements about universals. As such, 'Man is pale' is true because some men are pale. But 'Man is not pale' is also true, because some men are not pale. So the contradictory pair, 'Man is pale' and 'Man is not pale', one affirming of the universal man what the other denies, are both true. So there are true contradictions, pairs of contradictories both of which are true.
Whitaker [32, ch. 12] claims that this is not in fact a violation of the principle of Non-Contradiction, (NC). All that 'Man is pale' says is that some man is pale, so to affirm and deny paleness of man is not to claim that the same thing both holds and does not hold of the same thing in the same respect at the same time, only that "part of the universal might be pale and part not pale." [32, p. 157] Jones [15, p. 41] rightly dismisses this as a fudge. On that reading, 'Man is pale' and 'Man is not pale' are no longer contradictories, pairs of propositions in which the same thing is affirmed and denied of the same thing. Since Aristotle seems to endorse (NC) without limitation not only in Metaphysics Γ 3 but also in De Interpretatione 12 (21b18-19), Jones proposes what he claims is a better understanding of Aristotle's counterexample to (RCP) in ch. 7. There is no such single thing as an indeterminate proposition, he says. Rather, so-called "indeterminate propositions" are indeterminately universal and particular. 'Man is pale' can be understood either as the universal claim that all men are pale, or as the particular (better, partial) claim that some men are pale. This is true even if we express indeterminate propositions more explicitly in English as indefinite propositions: 'A man is a rational animal' is naturally taken as universal; 'A man is coming to fix the boiler' more naturally as particular.
Whitaker's (and Jones') interpretation of Aristotle's project in chs. 7-9 is not uncontested. We find this already in Boethius. Summarising Aristotle's account of negation, opposition and contradiction in De Interpretatione ch. 6, Boethius gives the essentially semantic definition of contradiction: "Contradiction is then the opposition of an affirmation and a negation in which neither can both be false nor both true, but one is always true the other false." 6 Subsequently, when presented with Aristotle's claim in ch. 7 (18a11-12) that "not every contradiction is true or false", he is forced to deny that Aristotle means what he says: "He did not now mean contradiction in the proper sense but generally those which are opposites, either in a contrary or subcontrary mode." 7 More recently, De Rijk [10, pp. 252-3] claims that Whitaker's mistake is to conflate contradictory pairs of assertibles, such as man's being pale, man's not being pale, with assertions, such as 'man is pale', 'man is not pale'. The former pair can appear both to be true, but are in fact neither, since, not being assertions, they are not apt to be true or false. De Rijk [10, p. 265] thus categorically rejects the idea that Aristotle's aim in chs.7-9 is to argue against (RCP).
Moreover, if indeterminate propositions are ambiguous in the way Jones claims, it is hard to see how Aristotle can claim that "the denial corresponding to a single affirmation itself must be single as well." (De Interpretatione 7, 17b37-38) Aristotle continues: "The denial, that is, must deny just the thing the affirmation affirms of the selfsame, identical subject." Both interpretations, Whitaker's and Jones', strain credulity. After all, Jones' interpretation only yields a pair of contradictories both of which are true if one member is taken universally and the other partially. Yet Whitaker's seems to avoid clashing with (NC) only by denying that the two propositions affirm and deny the same thing of the same thing, namely, of the universal as a whole. In Whitaker's interpretation, the subjects are different, in Jones's, the predicates.
Nonetheless, Aristotle concludes the chapter by saying: "To sum up the foregoing statements, we showed that a single negation is opposed to a single affirmation in the manner we called contradictory . . . We, moreover, have proved of two [contradictory] opposites [antiphases] that it is not the case always that one must be true and one false." [1, 7, 18a8-12] So it is at least clear that Aristotle's aim in ch. 7 is to question the universal correctness of (RCP), even if the examples he gives are unconvincing. In ch. 8, Aristotle presents a further counterexample to (RCP), this time one where the two contradictories are both false. It is a case of the fallacy of many questions, which he also discusses in De Sophisticis Elenchis ch. 30. Suppose, he says, that 'cloak' applies to both man and horse, in the sense that 'Cloak is pale' means 'Man and horse are pale'. Then its denial, 'Cloak is not pale', is equivalent to 'Man and horse are not pale'. If one is pale and other is not pale, then both statements are false. A less unnatural example might be to ask if humans give birth. Some do (women) and some don't (men). So one cannot agree that humans give birth, nor deny it. Both statements are false. There is, as Aristotle says, "not a single affirmation" since "one name is given to two things which do not make up one thing" (18a18). All he means by this, it seems, is that they do not make up one thing as regards the particular question at hand. As he remarks in De Sophisticis Elenchis, "a question must be single to which there is a single answer" (181a31). But if one is asked 'Are Coriscus and Callias at home or not at home?' (176a7), no single answer is possible, if one is and the other is not; and even if they both are (or are not), giving a single answer can be unclear. Nonetheless, in De Interpretatione 8, Aristotle's contradictory pair refers to a single syntactic denial, which he thinks shows that (RCP) is not universally true.
Jones also questions Whitaker's interpretation of Aristotle's reasoning in ch. 9, though he again agrees with Whitaker that Aristotle's aim is to give further examples where (RCP) fails. This is obscured, they both say, by treating ch. 9 in isolation, as so often happens. But seen in the context of chs. 6-8 (and the chapters that follow) it becomes clear that (RCP) is the focus, even though (BV) is involved. Ch. 8, offering, as we have seen, further counterexamples to (RCP), closes with the words: "And accordingly not even here is one necessarily true and one false of two statements opposed contradictorily," [1, 18a27] and ch. 9 continues: "In regard to things present or past . . . of those contradictorily opposed one, again, must be true and one false, when they have a universal for subject and are in themselves universal . . . This need not, however, be so in the case of two such propositions as have universals for subjects but are not themselves universals." [1, 18a28-32] (That was the upshot of ch. 7.) Now comes the topic of ch. 9: "When, however, we come to propositions whose subjects are singular terms, while their predicates refer to the future and not to the present or past, then we find that the case is quite changed." [1, 18a33-5] Recall that (RCP) is about contradictory pairs of propositions, whereas (BV) is about single propositions. The argument of ch. 9 is a reductio ad absurdum. Whitaker and Jones claim that the premise of the reductio, the claim to be rejected, is (RCP), not (BV), that is, a claim about a contradictory pair, that one is true, the other false, not the claim that a single proposition is true or false. Aristotle argues that (RCP) leads to unacceptable conclusions. He writes: "These and other strange consequences follow provided we assume in the case of a pair of contradictory opposites . . . that one must be true, the other false," [1, 18b26] and he concludes: "There is evidently, then, no necessity that one should be true, the other false, in the case of affirmations and denials. For the case of those things which as yet are potential, not actually existent, is different from that of things actual." [1, 19a39-b3] Aristotle infers that (RCP) fails for future contingents. Whitaker and Jones disagree, however, about his commitment to (BV) about them. (BV) is a claim about a single proposition, e.g., 'There will be a sea battle tomorrow'. If he denies (BV), as Jones claims, we have a simple explanation of the failure of (RCP), since as we noted, (RCP) entails (BV). However, Whitaker [32, p. 125] claims that Aristotle is elsewhere committed to (BV), and never questions it in ch. 9. He is left with the difficult task of explaining how each member of the contradictory pair is true or false, by (BV), but in such a way that (RCP) fails. His answer is that they are true or false, but not determinately either, so that the question of which cannot be answered in a dialectical dispute. No determinate answer can be given in advance.
In sum, Whitaker's claim that Aristotle challenges (RCP) in De Interpretatione has some textual support, but Aristotle's counterexamples are neither clear nor convincing. Swyneshed will present a perhaps clearer example in his treatment of the logical paradoxes.

Swyneshed's Third Thesis
So let us return to Swyneshed's third thesis, and consider his argument for it. At the end of his treatise on insolubles, Roger writes: "If in these remarks what is perfect or consonant with truth was found, it was gathered from the sayings of Aristotle and of other revered masters. If what was imperfect or dissonant with the truth is found, its insufficiency should be impugned only to me. So be it." 8 Indeed, Roger considers explicitly the objection that "in the first book of De Interpretatione and in the first book of the Posterior Analytics and in many other places . . . Aristotle indicates that two contradictories cannot be false together, and the third thesis claims this, and so it is false." 9 His reply is that by 'false' here Aristotle means "what signifies other than it is . . . except in the case of insolubles where he understands by 'false' not what signifies other than it is but what undermines itself, that is, falsifies itself, as, e.g., is clear Log. Univers.
in the fourth book of the Metaphysics, where the text says: "But it happens in all such cases that they undermine themselves." 10 Spade refers the reader to Aristotle's Metaphysics Γ 8 (1012b15 ff.): "All such theses end up notoriously by eliminating themselves; for anyone who says that everything is true also makes the statement contrary to his own true (for the contrary statement asserts that his is not true)." 11 Not all Roger's contemporaries were persuaded by his response, however. Twenty-five years later, Ralph Strode wrote, concerning Roger's first thesis (that a false proposition can signify as it is) in particular: "It seems to be quite expressly contrary to age-old principles passed down by the most highly regarded philosophers and familiar to the whole community of moderns without any question or doubt and especially contrary to Aristotle's principles in the first book of De Interpretatione, the first book of the Prior Analytics, the first book of the Topics and the fourth book of the Metaphysics." 12 and he aims similar criticism at the second and third theses. But if Whitaker and Jones are right, Roger is in agreement with Aristotle. Pairs of contradictories do not necessarily have opposite truth-values. Indeed, according to the third thesis there is a pair of contradictories both of which are false. Roger's example is the simple Liar paradox: 'This is false', referring to itself. The usual argument to a paradox runs as follows. If it were true, assuming it signifies only that it is false, and that a proposition is true just when it signifies as it is, it would be false and so not true. So it is false. But if it is false, it signifies other than it is, by the usual account of falsehood, so it is not false but true. We have shown that it is true if and only if it is false, and so by reductio ad absurdum, it is both true and false.
Roger's solution to the paradox is to strengthen the condition for truth and correspondingly weaken that for falsehood. Some propositions, he notes, are relevant to inferring their own falsehood, and so they could be said to falsify themselves even if they otherwise signify as it is. So a proposition is false, he said, not only if it is not as it signifies, but also if it falsifies itself. Correspondingly, it is true only if it not only signifies as it is, but does not falsify itself. The simple Liar is, accordingly, simply false, since it falsifies itself. The first thesis records this: here is a false proposition, 'This is false', which signifies as it is. How does it falsify itself? By the simple fact that from what it signifies, namely that it is false, it directly follows that it is false. In general: "Some propositions falsify themselves indirectly, some directly. A proposition falsifying itself indirectly is a proposition signifying principally as it is or other than it is and that, so signifying, falsifies another proposition falsifying it . . . A proposition falsifying itself directly is a proposition signifying principally as it is or other than it is, relevant to inferring itself to be false. And it is of two kinds. Some are relevant sufficiently, some are relevant insufficiently. Relevant sufficiently are propositions signifying principally as it is or other than it is from which, signifying in this way, it directly follows or is apt to follow that they are false. An example: let the proposition 'This is false' signify principally that this is false, referring to itself. Then it directly follows 'This is false, therefore, this is false'. And in this way it is relevant sufficiently to inferring itself to be false. A proposition relevant insufficiently . . . is a proposition signifying as it is from which, signifying in that way, with its being wholly as it is, it follows in reality or is apt to follow that it itself is false and without this addition that does not follow. An example: suppose that there is only one Socrates and that only he says 'Socrates says a falsehood' and that it principally signifies by imposition that Socrates says a falsehood. Then it follows: Socrates says a falsehood, and only he says 'Socrates says a falsehood', therefore it is false. And it is relevant to inferring in that scenario that 'Socrates says a falsehood' signifies principally as it is. ' 13 From here, the proof of Roger's third thesis is fairly immediate. 'This is false' signifies of itself that it is false. To contradict this, we take the proposition 13  which denies of that first proposition that it is false, namely, 'That is not false', referring by 'that' to 'This is false'. Then clearly 'This is false' is false because it falsifies itself, and 'That is not false' is false because it signifies other than it is, namely, that the false proposition 'This is false' is not false. Two contradictories are at the same time false. All Ralph Strode can find to say in response to this is to repeat his claim that it is contrary to Aristotle's teaching: "The opposite of [the conclusion that two contradictories mutually contradicting each other are at the same time false] is clear by Aristotle in the Postpredicaments, in the fourth book of the Metaphysics and in the first book of the Perihermeneias, where he quite expressly insists that it is impossible that two contradictories mutually contradicting one another are at the same time true or at the same time false." 14 In a similar way, Robert Eland [28, p. 65] simply describes Roger's conclusion as "impossible" and splutters that "these conclusions are contrary to the opinion of many of the wise". 15 But William Heytesbury [12, pp. 26-27] does try to provide an argument against Roger's position. 16 To do so, he takes the proposition 'This proposition signifies other than it is', call it A, assuming it to signify only that A signifies other than it is. Next, take another proposition, B, which signifies just as A does, namely, that A signifies other than it is. Now either A signifies wholly as it is, or not. William's idea is to derive a contradiction from each leg of this disjunction using only principles that Roger endorses. So first, suppose that it is not wholly as A signifies, that is, A signifies other than it is. Since B signifies that A signifies other than it is, and only that, it is as B signifies. Moreover, A signifies exactly as B does, so it is as A signifies, contradicting our assumption that it was not wholly as A signifies.
On the other hand, suppose it is wholly as A signifies. Let C be the contradictory of B, that is, let C deny of A whatever B affirms of A. So C signifies that A does not signify other than it is, that is, that A signifies as it is. Then C is true, for we have assumed that it is as A signifies, and C does not falsify itself. Moreover, B and C are contradictories, so B is false. (Here, William correctly assumes that Roger does not think that a pair of contradictories can both be true, even if he believes that they can both be false.) Moreover, B does not falsify itself either, so B must signify other than it is. Since A signifies exactly as B does, and B signifies that A signifies other than it is, it follows that A must signify other than it is, contradicting our assumption that it was wholly as A signifies. So either way, Roger's theory leads to contradiction.
In his treatise on 'Insolubles', the final treatise of his Logica Magna, Paul of Venice presents and defends a theory of insolubles in many ways similar to Roger's. He then considers a succession of arguments against the theory, rehearsing each of William's objections in turn, including that deriving a contradiction from supposing that 'This proposition signifies other than it is' either signifies other than it is or not. He offers two responses to the objection. His first is this: "To the second argument, I say, accepting the scenario, that it is not wholly as A signifies, and so consequently, I grant that A signifies other than it is. And then in reply to the argument: 'A signifies other than it is, and B signifies only that A signifies other than it is, therefore it is wholly as B signifies': I grant the inference and the conclusion; and then in reply to the argument: 'It is wholly as B signifies and the proposition A wholly signifies as B does and vice versa, therefore it is wholly as A signifies': I deny the inference, but one would need to add in the premise that it is not inconsistent that A is true, and this I deny. For A falsifies itself, because it asserts itself to signify other than it is, and this is why it is inconsistent for A to be true." 17 Thus Paul believes that the proposition in question, A, is an insoluble, and so falsifies itself in signifying other than it is. We have a Moorean paradox: if I say 'This very proposition is false', or 'This proposition signifies other than it is', I may also immediately say correctly, 'and what I just said was false'. 18 Paul subsequently proposes a different solution to the first three objections (of William's) that he considers: "But one can respond to all these arguments in another way, always admitting the scenario, by denying both contradictories, namely, 'It is as Socrates says it is', 'It is not as Socrates says it is'; 'It is as A signifies', 'It is not as A signifies'; 'Some proposition signifies other than it is', 'No proposition signifies other than it is'. For just as it is not impossible for two contradictories to be false at the same time in the case of insolubles, so it is not impossible for the same thing to be denied at the same time in the same case, and especially when  18 Moore's paradox [see, e.g., [18]] is the apparent absurdity of making an assertion of the form 'p but I don't believe that p'.
the insolubles principally have reflection on their own signification, as experience has taught in the foregoing arguments." 19 This is to deny both that A signifies as it is and that A signifies other than it is. It is a denial of (EM), and consequently of (BV). This is in fact how Roger himself would deal with the paradox, as we will see. One might wonder, however, whether it is a coherent response from Paul. Does he really accept this alternative response, or is he simply including it in deference to Roger? The problem arises because Paul's account of truth, though obviously inspired by Roger's, is somewhat different. Paul writes: "A true proposition is one whose exact significate is true and for which it is not inconsistent that the proposition is true. This is clear from what has been said in the treatise 'On the truth and falsity of propositions. . . A false proposition is one which either falsifies itself or whose falsity does not arise from its terms, but from its false exact significate." 20 Talk of the "exact significate" (significatum adequatum) is found in many fourteenth-century authors, notably Gregory of Rimini and Peter of Ailly, from whom Paul took it. 21 Gregory uses the term to denote the object of demonstrative knowledge, the famous complexe significabile, what is signified complexly, namely, by propositions. Paul adapts Gregory's theory in a radical way, claiming that the "exact significate" of a subject-predicate proposition is the exact significate of its subject or predicate: "For any true affirmative present-tense proposition that has no ampliative verb or a term that is somehow distracting, the exact significate of the subject or of the predicate is really identical with its principal significate." 22 Thus, whereas for Gregory and others what is complexly signifiable has itself some real propositional complexity, for Paul it has it only formally, even though in reality, it is identical to the exact significate of the subject or predicate: 19 Paulus Venetus [20, f. 196  "What is exactly and complexly signifiable by any proposition and has a place in reality, is somehow distinct from what is stateable and non-complexly signifiable by its subject or predicate. . . . that God exists is formally distinct from God . . . These notions are distinct, but not really distinct, therefore, formally distinct . . . There is a formal distinction between those signifiable by a complex and those signifiable by a non-complex." 23 To say that two notions are formally distinct means that though the things signified are the same, the terms expressing one notion cannot always be substituted salva veritate for the other.

Truth and Signification
Nonetheless, Paul's account of truth and falsity is puzzling: a proposition's truth was linked in the above passage to the truth of its exact significate, and the same for falsehood. But when is the exact significate true, and what does its truth consist in?
Conti [9, §3] claims that Paul inverts the order of explanation followed by Gregory: "Paul deals with the question of the truth and falsity of a proposition before examining the problem of its meaning, and solves the latter on the basis of the answer to the former." 24 Paul does indeed place his treatise on truth and falsity in the Logica Magna before that on the significate of the proposition, so that he addresses the question of the truth and falsity of propositions before turning to the problem of meaning. At the end of that earlier treatise Paul connects the truth of the proposition with that of its exact significate, so leading into the subsequent discussion of its exact significate. Paul's first thesis in his account of truth reads: "If the exact significate of a proposition is true and it is not inconsistent that the proposition, thus exactly signifying, should be true, then the proposition is true." 25 The preceding discussion in this treatise, however, consists entirely of refutation of other accounts of truth. There is no preceding account of the truth of propositions that is endorsed and accepted by Paul, other than the connection with the exact significate. 23  Although Paul states, in his second thesis, that if a proposition is true, so too is its exact significate, 26 he also believes that its exact significate can be true even if the proposition itself is false because it falsifies itself. In that case, however, the truth of the significate cannot be grounded on that of the proposition. Take 'This proposition is both true and false', for example. Its exact significate is false, whereas the exact significate of 'This proposition is false' is true, and they both falsify themselves. So the truth of the exact significate of a proposition cannot be defined in terms of the truth or falsity of the proposition itself. Conti is right when he writes that all non-insoluble propositions "are true if and only if what they signify is true and false if and only if what they signify is false." 27 However, Paul includes 'This proposition is both true and false' as an insoluble, for it implies its own falsity: "An insoluble proposition is a proposition having reflection on itself wholly or partially implying its own falsity or that it is not itself true." 28 So the truth or falsity of the exact significate of insoluble propositions cannot be grounded on that of the insoluble proposition itself. The insoluble proposition is always false. But sometimes its exact significate is true, sometimes false.
The order of the treatises can, moreover, be explained consistently with solving the problem of truth on the basis of the theory of meaning: having found all other accounts of truth wanting, Paul proposes his own, which defines the truth of the proposition in terms of the truth of its significate (taking the first thesis at face value); that then serves to motivate the following treatise, on the significate of the proposition.
Recall from §2 above that Paul takes the exact significate of a proposition to be the exact significate of its subject (or predicate), but described in propositional terms, e.g., not just God, but God as that God exists (formally distinct from God, but really identical). That is, the exact significate (God, or a man), considered as the significate, is itself a truth or a falsehood.
One may be reminded here of a distinction made by David Armstrong in his book, A World of States of Affairs (1997), between the thin and the thick particular. The thin particular is an abstraction, considered shorn of all its properties; the thick particular is "the particular taken along with all and only the particular's non-relational properties." 29  the thick particular, and, indeed, the thick particular would be a suitable truthmaker. Perhaps this accounts, or helps to account, for the feeling among those philosophers who take the Quinean position that they have left nothing out. Their feeling is justified. But if our argument is on the right lines, then though it is true that they have left nothing out, their truthmaker is really a state of affairs ." This is not quite Paul's view ( Armstrong continues: "their truthmaker is really a state of affairs"), ascribing propositional complexity to the particular, which we have seen Paul denies, at least in reality. Nor are Paul's exact significates as thick as the thick particular, which includes all its non-relational properties. But considered formally, as a significate, each exact significate is in itself true or false. That is where the regress is stopped.
Such an account as Paul's is definitely realist, postulating a real (albeit, non-propositional) correlate to every significant proposition. The consequence is that Paul appears to be committed to (BV) and (EM) where Roger is not. 30 Talk of the significate of the proposition does not occur in Roger, where instead he talks of "signifying principally". By the principal signification (Roger) and the exact signification (Paul) each means what the whole proposition signifies but ignoring any secondary or consequential signification. 31 Maierù [17, pp. 490] cites Strode's Consequentiae as saying: "A grammatical indicative utterance exactly significative of truth or falsity is called a proposition. And what results exactly from all the significations of its immediate verbal parts is called the exact or principal or total signification of the proposition." 32 In contrast to Paul's, Roger's account of truth and falsehood, though described in terms of how a proposition principally signifies, does not appeal to any corresponding true or false entity or significate: "There follow four definitions or descriptions. The first is this: a proposition is a congruent indicative utterance significative either naturally or by an imposition by which it was last imposed to signify complexly.
The second is this: a true proposition is a proposition not falsifying itself signifying principally as it is either naturally or by an imposition by which it was last imposed to signify.
Third definition: a false proposition is an utterance falsifying itself or an utterance not falsifying itself signifying principally other 30 But see Hanke [11], who elaborates a non-bivalent semantics for Paul's and Roger's theories. 31 See, e.g., Spade [30, p. 106]. 32 Et oratio indicativa congrua veri vel falsi adaequate significativa dicitur propositio. Et dicitur adaequata vel principalis vel totalis significatio propositionis quae resultat adaequate ex omnibus significationibus suarum partium propinquarum quae sunt dictiones. (My own translation.) Note, however, that although Paul's exact and Roger's principal signification may be the same, Paul believes that the total signification is greater than its exact signification. See Paulus Venetus [ than it is either naturally or by an imposition by which it was last imposed to signify. The fourth is this: an insoluble as put forward is a proposition signifying principally as it is or other than it is which is relevant to inferring itself to be false or unknown or not believed, and so on." 33 One might think that this rules out a proposition's being neither true nor false. However, Roger points out right at the start of his treatise that there is a third option: "A proposition neither signifying principally as it is nor other than it is, that is, which is neither true nor false, is a proposition signifying in some way and that so signifying is relevant to inferring itself not to signify principally as it is, for example, the proposition 'This proposition does not signify as it is', referring to itself, which principally signifies that it itself does not signify as it is. And this similarly, 'Every proposition signifies other than it is', which principally signifies that every proposition signifies other than it is." 34 The equation of 'neither signifying as it is nor other than it is' with 'that is, is neither true nor false' occurs in only one manuscript. 35 But it is borne out by later remarks, in particular, an objection which Roger considers. It runs: "One argues against these proposals in many ways. First, like this: one of those proposals claims that some proposition is neither true nor false, which is contrary to Aristotle in the Categories where he says in one place: "Now it seems that every affirmation is true or false", 36 from which it follows that every affirmative is true or false. And if this is true of these affirmatives, for the same reason it will be true of negatives. "Where Aristotle claims authoritatively,"Now it seems" etc., he means to draw a distinction between propositions and the incomplex terms from which propositions are composed. Therefore, his point is that every truth or falsehood is an affirmative or negative proposition. And it follows that no incomplex term is true or false. Thus the first appeal to authority is accommodated. . . . It should be understood that every proposition signifying principally as it is or other than it is, whether it is of the present or the past or the future tense, whether of necessity or of contingency, whose truth depends on the present, is either true or false and no others. From this it is clear that there are many propositions which are neither true nor false, such as 'This signifies other than it is', referring to itself and principally signifying in that way, 'You will be dead tomorrow', and universally all propositions of future contingency whose truth does not depend on the present," 38 alluding specifically to Aristotle's apparent rejection of (BV) in De Interpretatione ch. 9.
In fact, although 'This proposition signifies other than it is' is the first problematic example which Roger mentions in his 'Insolubles' ( §3, p. 181), he goes on to claim that it is in fact not an insoluble, for it does not falsify itself, and is not false: "It remains to solve some sophisms which appear to be insolubles but are not, e.g., 'A is known', 'This proposition signifies other than it is', 'That proposition does not signify other than it is', 'This proposition does not signify as it is', and similar ones." 39 'This proposition signifies other than it is' should be denied, Roger says. It doesn't signify other than it is, nor as it is. It doesn't signify as it is, for if it did, it wouldn't, and so by the usual reductio argument, it doesn't. But if it doesn't, it is tempting to argue for a contradiction as follows: if it doesn't signify other than it is, then it must signify as it is, since it does signify in some complex way. But if so, then it must signify other than it is, for that is what it signifies. That move is invalid, Roger says. For recall the discussion of signifying from the start of the treatise: some propositions signify as it is, others other than it is, and yet others neither as it is nor other than it is. That last group consists of those that signify in some complex way but, signifying in that way, are relevant to inferring themselves not to signify as it is. That is the case with 'This proposition signifies other than it is', for we can immediately infer from the proposition's signifying other than it is that it doesn't signify as it is. So it does not follow from the fact that it doesn't signify other than it is that it signifies as it is, even though what it signifies is that it signifies other than it is. Recall Heytesbury's argument. It was premised on the assumption that either a proposition signifies as it is or not (given that it signifies in some way). Roger simply denies that basic assumption of (EM) and the instance of (BV) that goes with it. However, one might question whether Roger's rejection of (EM) is really open to Paul, given his much more strongly realist account of truth.
Roger considers a final objection: his proposed solution means that "there are two mutually contradictory contradictories one of which signifies as it is while the other does not signify other than it is." 40 Take B: 'A does not signify other than it is', the contradictory of A: 'This proposition signifies other than it is'. Then B signifies as it is, while, as we have seen, A does not signify other than it is (or as it is, for that matter). For B is not relevant to inferring that it does not itself signify as it is, whereas A is. So indeed, the opponent is right, and we have a further thesis, parallel to Roger's third thesis, and again contradicting (RCP).
In fact, B is true, so Roger is indeed committed to the thesis Eland levels at him as an objection, 41 and as elaborated by Strode: "The sixth conclusion is this, that there are two contradictories of which one is true and the other neither signifies as it is nor other than it is, and in consequence, according to [Roger's] opinion, neither true nor false . . . And that this thesis is unacceptable is clear enough according to Aristotle in the Postpredicaments, and the first book of De Interpretatione, where he quite expressly insists that if one of contradictories is true the other is false, and vice versa." 42 But as we have seen, this is arguably not contrary to Aristotle's account of contradictories in the De Interpretatione but, according to Whitaker and Jones, very much in accord with it.

Negation and Denial
What is the contemporary relevance of these reflections? On the semantic account of contradictories, whereby pairs of contradictories must have opposite truth-value, it might seem impossible for there to be true contradictions, pairs of contradictories both of which are true, or both false. But that they are not both is a Gricean implicature, as mentioned earlier. Indeed, by (RCP), or even by a weak form of (RCP) which says that if one of the pair is true the other false and vice versa, if both are false then both are true. This weak form of (RCP) is compatible with their lacking truth-value altogether and with their both being both true and false. But it is not compatible with Swyneshed's third thesis, their both being false and not true, nor with Aristotle's claims in chs. 7-8 of De Interpretatione, at least.
On the syntactic account, however, whereby one member of each contradictory pair denies what the other affirms, numerous counterexamples to (RCP) are to be found, notably among the logical paradoxes, according to some medieval responses to the insolubles. Indeed, there seem to be counterexamples even to (EM) and (BV).
Graham Priest is a Roger Swyneshed for our own times, with his own iconoclastic thesis: "Dialetheism is the view that some contradictions are true: there are sentences (statements, propositions, or whatever one takes truthbearers to be), α, such that both α and ¬α are true, that is, such that α is both true and false." 43 Here ¬α is the negation of α. Priest [24, p. 70] rejects the principle that the truth of ¬α excludes the truth of α. Indeed, he equates the falsehood of α with the truth of ¬α.
But care is needed here in identifying ¬α. Priest  Suppose, to take a medieval example, God has annihilated all particular affirmative propositions apart from 'Some particular affirmative is false'. Then that proposition, being the only particular affirmative proposition, falsifies itself, and so on Swyneshed's account is false. But 'No particular affirmative is false' is also false, for there is a false particular affirmative proposition, namely, 'Some particular affirmative is false'. So they are both false, yet they are contradictories, in that one denies what the other affirms.
Although 'negation' and 'denial' are often run together by the translators, perhaps even by Aristotle himself, let us take it that ¬α and α are intended by Priest and other modern authors to correspond to Aristotle's pairs of contradictories or opposites. 45  The traditional way of expressing the relationship is that the pairs are contradictories, and so we may say that the relationship is that of contradiction. Theories of negation are theories about this relation." But recall that Aristotle described ¬α (that is, the opposite, or contradictory, of α) as denying what α affirmed, or asserted. However, Priest [23, p. 104] rejects an identification he attributes to Frege: "to deny α is simply to assert ¬α." Rather, he says, we can deny something in many different ways: "I can shake my head, say 'no' or even stomp off in a rage. Perhaps more importantly, consider someone who supposes that some sentences are neither true nor false." (loc.cit.) But none of these is incompatible with asserting ¬α, indeed, most of them entail it. That's certainly true of the head shake and saying 'no'. Stomping off suggests either implicit assertion of ¬α or the (badly named) metalinguistic rejection of α, as in 'I'm not the UK expert, I'm the world expert'. 46 That is not to deny you're the UK expert, it entails that you are. Lastly, if a sentence is neither true nor false, it's not true. 47 So denying α actually entails asserting ¬α.
It is the converse that Priest rejects. He claims that we can assert ¬α without denying α. He is forced to do this by his definition of falsehood: "The definition of falsity assures us that ¬α is true iff α is false." 48 45 However, some commentators, e.g., Whitaker [32, p. 81], claim that for Aristotle, negation was not an external operation, but rather, internal to the assertion, and so the notation ¬α is not appropriate in his case. 46 See [23, p. 77] and Horn and Wansing [14, §1.10]. 47 Intuitionists reject (BV) in a more subtle way, by refusing to assert that every proposition is either true or false, but not by claiming that any given sentence is neither true nor false. Since they assert the double negation of (EM), it would be inconsistent either to deny (BV) or to assert its contradictory. 48 Priest [23, p. 81].
That is the weak (RCP), that if one of a pair of contradictories is true, the other is false, and vice versa. Indeed, given his endorsement of (BV), 49 Priest is in fact committed to (RCP) in full, albeit cancelling the implicature of (CV). Thus Priest retains (RCP) and rejects Frege's Aristotelian identification of the assertion of ¬α with the denial of α. By rejecting (RCP), Aristotle is able to square rejecting (BV) and (EM) with identifying negation and denial-and he could even reject (NC) and (CV), though he chooses not to. Aristotle claims that if β denies (of x) what γ affirms (of x), then β and γ are contradictories, that is, β = ¬γ. Faced with the counterexamples in chs. 7-9 of De Interpretatione, Aristotle rejects (RCP), even in its weakened form. Negation is accordingly non-truth-functional. The truthvalue of α does not determine that of ¬α (any more than that of, say, α). How '¬' behaves will depend on which, if any, of Aristotle's, or Swyneshed's, counterexamples one accepts.
In contrast, Priest's negation is truth-functional and his conception of contradiction is semantic. Denying is no longer identified with the assertion of the negation. So Aristotle's and Swyneshed's claim that contradictories can both be false is a very different iconoclasm from dialetheism.

Conclusion
To sum up: Swyneshed enunciated three notorious consequences of his proposed solution to the insolubles, the most famous of which is his claim that it is possible for both members of a contradictory pair to be false. This appears to run contrary to a basic principle, the Rule of Contradictory Pairs, that in each such pair, one member is true and the other false, a principle often attributed to Aristotle. But two recent authors who have looked closely at Aristotle's arguments in the central chapters of his treatise De Interpretatione claim that Aristotle rejects this principle, presenting a succession of counterexamples to it, culminating in his discussion of the future sea-battle in ch. 9.
Swyneshed himself likens his approach to the insolubles to the problem of future contingents, citing them as counterexamples not only to the Rule of Contradictory Pairs, (RCP), but also to the Principle of Bivalence, (BV). Indeed, the paradoxes of signification, exemplified by the self-referential proposition 'This proposition signifies other than it is', are counterexamples also to the Law of Excluded Middle, (EM). Whatever may be wrong with Swyneshed's solution it is not that it is contrary to Aristotle's teaching, if Whitaker and Jones are right.
Graham Priest's dialetheism claims that some contradictions, that is, pairs of contradictories, are true, equivalently, that some propositions are both true and false. In fact, Priest endorses (RCP), equating the falsehood of α with the truth of ¬α (its negation). As a consequence, negation and denial come apart, and ¬α is no longer the (Aristotelian) contradictory of α. Aristotle