Priest (8.6) Introduction to Non-Classical Logic, ‘Paraconsistency and the Disjunctive Syllogism,’ summary

 

by Corry Shores

 

[Search Blog Here. Index-tags are found on the bottom of the left column.]

 

[Central Entry Directory]

[Logic and Semantics, entry directory]

[Graham Priest, entry directory]

[Priest, Introduction to Non-Classical Logic, entry directory]

 

[The following is summary of Priest’s text, which is already written with maximum efficiency. Bracketed commentary and boldface are my own, unless otherwise noted. I do not have specialized training in this field, so please trust the original text over my summarization. I apologize for my typos and other distracting mistakes, because I have not finished proofreading.]

 

 

Summary of

 

Graham Priest

 

An Introduction to Non-Classical Logic: From If to Is

 

Part I

Propositional Logic

 

8

First Degree Entailment

 

8.6

Paraconsistency and the Disjunctive Syllogism

 

 

 

Brief summary:

(8.6.1) On account of truth-value gluts, p ∧ ¬p ⊢ q is not valid in FDE, and thus FDE does not suffer from explosion (which happens when contradictions entail any arbitrary formula and thus a contradiction entails everything). (8.6.2) Both FDE  and LP  are paraconsistent logics, because in them it is invalid to infer any arbitrary formula from a contradiction. (8.6.3) Disjunctive syllogism (p, ¬p ∨ q ⊨ q) fails in FDE (set p to b and q to 0; b is a designated value but is not preserved), and it fails in LP (set p to i and q to 0.; i is a designated value, but it also is not preserved ). (8.6.4) Arguments for the material and strict conditional that use disjunctive syllogism are thus faulty on account of its invalidity (in FDE and LP). (8.6.5) Because disjunctive syllogism fails for the material conditional in FDE, so too does modus ponens fail for it as well, given their equivalence. This suggests that the material conditional does not adequately represent the real conditional. (8.6.6) Those who argue that disjunctive syllogism is intuitively valid can do so only by showing that truth-value gluts are invalid. They think that by saying one of two disjuncts is false (in a true disjunction) necessities the other disjunct be true. But we can also have the intuition that certain formulas should be both true and false. And suppose one of the disjuncts is ¬p, and suppose that p is both true and false. That does not necessitate that ¬p be just false; for, it would also be both true and false. In other words: “The truth of p does not rule out the truth of ¬p: both may hold” (154). Since ¬p is at least true, it does not necessitate that the other disjunct be true, and so we cannot infer that the other disjunct is true. For, only one needs to be at least true. So if we start with the intuition that there can be truth-value gluts, then disjunctive syllogism is intuitively invalid. (8.6.7) A more convincing defense of the disjunctive syllogism is that we rely on it for reasoning well. Often times we know either of two things can be true; when one proves false, we know it must be the other one. (8.6.8) Even though disjunctive syllogism is invalid, it still functions quite well for normal everyday reasoning. It only fails when there is a truth-value glut. Otherwise, our daily life presents us normally with consistencies, so it will still deliver correct inferences usually. We just need to be careful to distinguish those cases with gluts and remember not to use it then. (8.6.9) There is precedent for this sort of discrimination of situations for appropriate inference uses in mathematics, so we should not feel too uncomfortable with it in cases of logical reasoning. For example, when dealing with finite sets, if one set is a  proper subset of another, we can infer that it is smaller. But for infinite sets, we cannot draw that inference. For example, the set of even numbers is a proper subset of the set of natural numbers, but both sets have the same size. (8.6.10) Since we are wiling to accept inference discrimination in mathematics, we can surely accept it in logic, and so we can set aside the objection that we must reject truth-value gluts (or that we need the material conditional) simply because we need disjunctive syllogism to reason properly.

 

 

 

 

 

 

Contents

 

8.6.1

[The Lack of Explosion in FDE]

 

8.6.2

[FDE and LP as Paraconsistent Logics, Here Defined]

 

8.6.3

[The Failure of Disjunctive Syllogism in FDE and LP]

 

8.6.4

[Disjunctive Syllogism as Inoperable in Defenses of the Material and Strict Conditionals]

 

8.6.5

[The Failure of Modus Ponens for the Material Conditional in FDE]

 

8.6.6

[The Intuitive Invalidity of Disjunctive Syllogism]

 

8.6.7

[Disjunctive Syllogism as Possibly Needed for Reasoning]

 

8.6.8

[Disjunctive Syllogism as Normally Correct Despite Being Invalid]

 

8.6.9

[The Precedent for Inference Discriminations in Mathematics]

 

8.6.10

[Putting the Objection Aside]

 

 

 

 

 

 

Summary

 

8.6.1

[The Lack of Explosion in FDE]

 

[On account of truth-value gluts, p ∧ ¬p ⊢ q is not valid in FDE, and thus FDE does not suffer from explosion (which happens when contradictions entail any arbitrary formula and thus a contradiction entails everything).]

 

[Recall from section 8.4.8 that the tableau for p ∧ ¬p ⊢ q in FDE is open and thus it is invalid in FDE. Priest notes now that this is because of truth-value gluts. (Priest here uses semantic entailment: p ∧ ¬p ⊨ q. Recall from section 8.4.4 that the designated values in FDE are 1 and b. ((And recall from section 7.2.2 that designated values are those that are preserved in valid inferences.)) So an inference in FDE is valid only if there is no interpretation that assigns all the premises 1 or b and the conclusion 0 or n. But suppose for p ∧ ¬p ⊨ q that q is 0 and p is b (meaning both values, and thus a glut). That makes ¬p be b also (see section 8.4.2). Then we have all the premises as b and the conclusion as 0, and thus on account of the truth-value glut of b, this formula is not valid.) And recall from section 8.4.11 that p ⊢ q ∨¬q also makes an open tableau in FDE and is thus invalid. Priest notes now that it is so on account of truth-value gaps. (Suppose p is 1 and q is n ((meaning neither value, a gap)). That makes the whole conclusion n ((again, see section 8.4.2)), and thus the premises are 1 but the conclusion is n, making it invalid.) Now recall from section 4.8 that explosion is when contradictions entail any arbitrary formula and thus a contradiction entails everything. As we can see, since p ∧ ¬p ⊨ q is invalid in FDE, that means FDE does not have the problem of explosion.] 

As we have seen (8.4.8 and 8.4.11), both of the following are false in FDE: p ⊨ q ∨ ¬q, p ∧ ¬p ⊨ q. This is essentially because there are truth-value gaps (for the former) and truth-value gluts (for the latter). In particular, then, FDE does not suffer from the problem of explosion (4.8).

(154)

[contents]

 

 

 

 

 

8.6.2

[FDE and LP as Paraconsistent Logics, Here Defined]

 

[Both FDE  and LP  are paraconsistent logics, because in them it is invalid to infer any arbitrary formula from a contradiction.]

 

[Priest now gives the criteria for a paraconsistent logic. To be paraconsistent, the inference from p and ¬p to an arbitrary conclusion must be invalid. As we saw in section 8.6.1, p ∧ ¬p ⊨ q is invalid in FDE, thus FDE is a paraconsistent logic. And recall from section 7.4.4 that: p ∧ ¬p ⊭_LP  q. Thus LP is also a paraconsistent logic.] 

A logic in which the inference from p and ¬p to an arbitrary conclusion is not valid is called paraconsistent. FDE is therefore paraconsistent, as is LP (7.4.4).

(154)

[contents]

 

 

 

 

8.6.3

[The Failure of Disjunctive Syllogism in FDE and LP]

 

[Disjunctive syllogism (p, ¬p ∨ q ⊨ q) fails in FDE (set p to b and q to 0; b is a designated value but is not preserved), and it fails in LP (set p to i and q to 0.; i is a designated value, but it also is not preserved ).]

 

[The disjunctive syllogism is: p, ¬p ∨ q ⊨ q. But in FDE it fails. Suppose that p is both true and false, but q is just false. That means ¬p  is both true and false (see section 8.2.6). With q being false, that means ¬p ∨ q is both true and false. Since the premises are all at least true and the conclusion false, that makes the inference invalid (see section 8.2.8, or use the validity criteria from section 8.4.4: the premises can be b but the conclusion 0.) Disjunctive syllogism also fails in LP (similarly set the value of p to i and q to 0. In LP, i is a designated value, but it is not preserved in the disjunctive syllogism. See section 7.4 for more on LP.)] 

It is not only explosion that fails in FDE (and LP). The disjunctive syllogism (DS) is also invalid: p, ¬p ∨ q ⊭_FDE q. (Relational counter-model: pρ1 and pρ0, but just qρ0.)

(154)

[contents]

 

 

 

 

 

8.6.4

[Disjunctive Syllogism as Inoperable in Defenses of the Material and Strict Conditionals]

 

[Arguments for the material and strict conditional that use disjunctive syllogism are thus faulty on account of its invalidity (in FDE and LP).]

 

[Recall from section 1.7.2 that there are technically valid material conditionals that intuitively are invalid on account of the irrelevance of the consequent to the antecedent. (And in section 1.10 we saw a way of arguing for the intuitive validity of the material conditional that converts it into a disjunction (A⊃B becomes ¬A∨B); we then assume A and use disjunctive syllogism to derive B. I did not follow this section well enough, but my guess was that the logical connection between A and B was shown in its validation through disjunctive syllogism. Priest says now that this is a problematic argument, but I do not know why. I am guessing it is because it validates irrelevant conditionals. So maybe the idea now is that because disjunctive syllogism grounds the material conditional, and because the material conditional suffers from irrelevance, then perhaps there is something wrong with the disjunctive syllogism. These are guesses.) And recall from section 4.9.2 how C.I. Lewis uses disjunctive syllogism to argue for the intuitive validity of explosive arguments where any irrelevant conclusion can be inferred from a contradiction. The following comes from our paragraph summary from that section:

C.I. Lewis argues that (A ∧ ¬A) ⥽ B is intuitively valid, because from A ∧ ¬A it is intuitively valid to infer A and ¬A; from ¬A it is intuitively valid to infer ¬A ∨ B, and from A and ¬A ∨ B it is intuitively valid, by disjunctive syllogism, to derive B. [Now, if each step has a connection on the basis of its intuitive validity, that means the final conclusion B should have a connection, by extension, to A ∧ ¬A on the basis of the intuitively valid steps leading from the premise to the final conclusion. So despite objections to the contrary, there is a connection between the antecedent and consequent in (A ∧ ¬A) ⥽ B, according to Lewis.]

(paragraph summary of section 4.9.2. These are not Priest’s words and are probably mistaken.)

Priest’s point seems to be that these defenses for the material and strict conditionals fail, because they use disjunctive syllogism, which is not valid in situations where there are value-gluts. But I am not really sure how that applies, because these defenses assume there cannot be value-gluts, as they use classical logic. Let me quote:]

This is a significant plus. We have seen the DS involved in two problematic arguments: the argument for the material conditional of 1.10, and the Lewis argument for explosion of 4.9.2.We can now see that these arguments do not work, and (at least one reason) why.⁶

(154)

6. For good measure, the argument of 4.9.3 for the validity of the inference from A to B ∨ ¬B is also invalid in FDE, since p ⊭ (p ∧ q) ∨ (p ∧ ¬q), as may be checked.

(154)

[contents]

 

 

 

 

 

8.6.5

[The Failure of Modus Ponens for the Material Conditional in FDE]

 

[Because disjunctive syllogism fails for the material conditional in FDE, so too does modus ponens fail for it as well, given their equivalence. This suggests that the material conditional does not adequately represent the real conditional.]

 

[I do not follow the next idea, but let me work through it. “Note, also, that the DS is just modus ponens for the material conditional” (Priest 154). This is what we found I think in section 4.9.2. There we noted that (not Priest’s words and so do not trust them:) “By modus ponens, from A, A ⥽ B we can infer B. And, A ⥽ B is equivalent ¬A ∨ B. And as we see, by disjunctive syllogism from A, ¬A ∨ B we can infer B.” Next Priest writes “Since this fails, we have another argument against the adequacy of the material conditional to represent the real conditional” (Priest 154). (I am a little confused here. Modus ponens also fails for the conditional in LP (see section 7.4.5). Does this criticism apply also to LP? I will quote.)]

Note, also, that the DS is just modus ponens for the material conditional. Since this fails, we have another argument against the adequacy of the material conditional to represent the real conditional.

(154)

[contents]

 

 

 

 

8.6.6

[The Intuitive Invalidity of Disjunctive Syllogism]

 

[Those who argue that disjunctive syllogism is intuitively valid can do so only by showing that truth-value gluts are invalid. They think that by saying one of two disjuncts is false (in a true disjunction) necessities the other disjunct be true. But we can also have the intuition that certain formulas should be both true and false. And suppose one of the disjuncts is ¬p, and suppose that p is both true and false. That does not necessitate that ¬p be just false; for, it would also be both true and false. In other words: “The truth of p does not rule out the truth of ¬p: both may hold” (154). Since ¬p is at least true, it does not necessitate that the other disjunct be true, and so we cannot infer that the other disjunct is true. For, only one needs to be at least true. So if we start with the intuition that there can be truth-value gluts, then disjunctive syllogism is intuitively invalid.]

 

[This next idea is quite potent. So disjunctive syllogism fails for FDE and LP. One might then say that this means FDE and LP are flawed. Their reasoning goes as follows. Suppose we have ¬p ∨ q and it is true. This means that at least one of the two conjuncts must be true. It also means, according this argument, that if p were true, that means ¬p is false, and hence, by disjunctive syllogism, q must be true. But as soon as we accept truth-value gluts, then the truth of p will not necessitate that ¬p be simply false. For, p can be true and false, and thus so can ¬p. Then, for our original conjunct, we cannot infer that q is true. It can be false, because ¬p is at least true, even though it is also false. So we begin with the intuition that there can be formulas that are both true and false, we find that this means disjunctive syllogism fails, and thus we can say that disjunctive syllogism is intuitively invalid.]

The failure of the DS has also been thought by some to be a significant minus. First, it is claimed that the DS is intuitively valid. For if ¬p ∨ q is true, either ¬p or q is true. But, the argument continues, if p is true, this rules out the truth of ¬p. Hence, it must be q that is true. But once one countenances the possibility of truth-value gluts, this argument is patently wrong. The truth of p does not rule out the truth of ¬p: both may hold. From this perspective, the inference is intuitively invalid.

(154)

[contents]

 

 

 

 

 

8.6.7

[Disjunctive Syllogism as Possibly Needed for Reasoning]

 

[A more convincing defense of the disjunctive syllogism is that we rely on it for reasoning well. Often times we know either of two things can be true; when one proves false, we know it must be the other one.]

 

[A more convincing objection is that we rely on the disjunctive syllogism to reason well: “Thus, we know | that you are either at home or at work. We ascertain that you are not at home, and infer that you are at work – which you are” (154-155).]

A more persuasive objection is that we frequently use, and seem to need to use, the DS to reason, and we get the right results. Thus, we know | that you are either at home or at work. We ascertain that you are not at home, and infer that you are at work – which you are. If the DS is invalid, this form of reasoning would seem to be incorrect.

(154-155)

[contents]

 

 

 

 

8.6.8

[Disjunctive Syllogism as Normally Correct Despite Being Invalid]

 

[Even though disjunctive syllogism is invalid, it still functions quite well for normal everyday reasoning. It only fails when there is a truth-value glut. Otherwise, our daily life presents us normally with consistencies, so it will still deliver correct inferences usually. We just need to be careful to distinguish those cases with gluts and remember not to use it then.]

 

[Priest then says that even though disjunctive syllogism fails, it can still be legitimate to use it much of the time. It only fails in cases of truth-value gluts. But since the world normally presents us with consistencies, it is fine to still use it in much of our everyday reasoning.]

If the DS fails, then the inference about being at home or work is not deductively valid. It may be perfectly legitimate to use it, none the less. There are a number of ways of spelling this idea out in detail, but at the root of all of them is the observation that when the DS fails, it does so because the premise p involved is a truth-value glut. If the situation about which we are reasoning is consistent – as it is, presumably, in this case – the DS cannot lead us from truth to untruth. So it is legitimate to use it. This fact will underwrite its use in most situations we come across, since consistency is, arguably, the norm.

(155)

[contents]

 

 

 

 

8.6.9

[The Precedent for Inference Discriminations in Mathematics]

 

[There is precedent for this sort of discrimination of situations for appropriate inference uses in mathematics, so we should not feel too uncomfortable with it in cases of logical reasoning. For example, when dealing with finite sets, if one set is a  proper subset of another, we can infer that it is smaller. But for infinite sets, we cannot draw that inference. For example, the set of even numbers is a proper subset of the set of natural numbers, but both sets have the same size.]

 

[Priest’s next point seems to be an analogy to show us that such sorts of discriminations for determining appropriate sorts of inferences is seen already in rigorous sorts of mathematical contexts. His example is that whenever we are working with collections that are finite, it is fine to infer that if a set is a proper subset of another set, then it is smaller than that other set. But we cannot draw this inference when working with infinite sets, because, for example, the set of even numbers is a proper subset of the set of natural numbers, but both sets are of the same size.]

In the same way, if we have some collection, X, one cannot infer from the fact that some other collection, Y, is a proper subset of X that it is smaller.⁷ But provided that we are working with collections that are finite, this inference is perfectly legitimate: violations can occur only when infinite sets are involved.

(155)

7. For example, the set of all natural numbers is the same size as the set of all even numbers, as can be seen by making the following correlation:

xxxx0xx1xx2xx3xx4xx...

xxxx↕xx↕xx↕xx↕xx↕

xxxx0xx2xx4xx6xx8xx...

(155)

[contents]

 

 

 

 

8.6.10

[Putting the Objection Aside]

 

[Since we are wiling to accept inference discrimination in mathematics, we can surely accept it in logic, and so we can set aside the objection that we must reject truth-value gluts (or that we need the material conditional) simply because we need disjunctive syllogism to reason properly.]

 

[From this Priest concludes: ]

Thus, this objection can also be set aside.

(155)

[contents]

 

 

 

 

 

 

From:

 

Priest, Graham. 2008 [2001]. An Introduction to Non-Classical Logic: From If to Is, 2nd edn. Cambridge: Cambridge University.

 

 

 

 

.

Priest (4.9) An Introduction to Non-Classical Logic, ‘Lewis’ Argument for Explosion,’ summary

 

by Corry Shores

 

[Search Blog Here. Index-tags are found on the bottom of the left column.]

 

[Central Entry Directory]

[Logic and Semantics, entry directory]

[Graham Priest, entry directory]

[Priest, Introduction to Non-Classical Logic, entry directory]

 

[The following is summary of Priest’s text, which is already written with maximum efficiency. Bracketed commentary and boldface are my own, unless otherwise noted. I do not have specialized training in this field, so please trust the original text over my summarization. I apologize for my typos and other unfortunate mistakes, because I have not finished proofreading, and I also have not finished learning all the basics of these logics.]

 

 

 

 

Summary of

 

Graham Priest

 

An Introduction to Non-Classical Logic: From If to Is

 

Part I:

Propositional Logic

 

4.

Non-Normal Modal Logics; Strict Conditionals

 

4.9

Lewis’ Argument for Explosion

 

 

 

 

Brief summary:

(4.9.1) Strict conditionals do not require relevance, as we see for example with: ⊨ (A ∧ ¬A) ⥽ B. So we might object to them on this basis. (4.9.2) C.I. Lewis argues that (A ∧ ¬A) ⥽ B is intuitively valid, because from A ∧ ¬A it is intuitively valid to infer A and ¬A; from ¬A it is intuitively valid to infer ¬A ∨ B, and from A and ¬A ∨ B it is intuitively valid, by disjunctive syllogism, to derive B. [Now, if each step has a connection on the basis of its intuitive validity, that means the final conclusion B should have a connection, by extension, to A ∧ ¬A on the basis of the intuitively valid steps leading from the premise to the final conclusion. So despite objections to the contrary, there is a connection between the antecedent and consequent in (A ∧ ¬A) ⥽ B, according to Lewis. (4.9.3) C.I. Lewis also formulates an argument for the connection between antecedent and conclusion for A ⥽ (B ∨ ¬B), but this argument is a bit less convincing than the one for (A ∧ ¬A) ⥽ B.

 

 

 

 

 

 

 

 

Contents

 

4.9.1

[Strict Conditionals as Lacking Relevance]

 

4.9.2

[C.I. Lewis’ Argument for the Connection between Antecedent and Consequent in (A ∧ ¬A) ⥽ B by Means of Disjunctive Syllogism]

 

4.9.3

[C.I. Lewis’ Argument for the Connection between Antecedent and Consequent in A ⥽ (B ∨ ¬B)]

 

 

 

 

 

 

Summary

 

4.9.1

[Strict Conditionals as Lacking Relevance]

 

[Strict conditionals do not require relevance, as we see for example with: ⊨ (A ∧ ¬A) ⥽ B. So we might object to them on this basis.]

 

[Recall from section 4.5.2 and section 4.5.3 that the strict conditional A⥽B is defined as □(A ⊃ B).  In previous sections – see for example section 4.6 and section 4.8 – Priest has considered objections for the strict conditional ⥽ as providing a correct account of the conditional. Priest will now consider a final objection to the this claim about the correctness of the strict conditional. He notes that we have the intuition that this definition is inadequate, because we expect in a conditional that there is some kind of connection between the antecedent and the consequent (for otherwise, what is the sense of the conditionality of their relation?). But strict conditionals do not require any such connection. For example, there is no connection between A ∧ ¬A and B, (even though, as we saw in section 4.6.3: ⊨ (A ∧ ¬A) ⥽ B.)]

Let us end by considering a final objection to ⥽ as providing a correct account of the conditional. It is natural to object that this account cannot be correct, since a conditional requires some kind of connection between antecedent and consequent; yet a strict conditional requires no such connection. There is no connection in general, for example, between A ∧ ¬A and B.

(76)

[contents]

 

 

 

 

 

4.9.2

[C.I. Lewis’ Argument for the Connection between Antecedent and Consequent in (A ∧ ¬A) ⥽ B by Means of Disjunctive Syllogism]

 

[C.I. Lewis argues that (A ∧ ¬A) ⥽ B is intuitively valid, because from A ∧ ¬A it is intuitively valid to infer A and ¬A; from ¬A it is intuitively valid to infer ¬A ∨ B, and from A and ¬A ∨ B it is intuitively valid, by disjunctive syllogism, to derive B. (Now, if each step has a connection on the basis of its intuitive validity, that means the final conclusion B should have a connection, by extension, to A ∧ ¬A on the basis of the intuitively valid steps leading from the premise to the final conclusion. So despite objections to the contrary, there is a connection between the antecedent and consequent in (A ∧ ¬A) ⥽ B, according to Lewis.)]

 

[Despite what we said about relevance above in section 4.9.1, C.I. Lewis does see a connection in the strict conditional even in explosive formulas like ⊨ (A ∧ ¬A) ⥽ B. (On explosion and the strict conditional, see section 4.8). Only, the connection here is one obtained by a series of inferences, each of which is presumably intuitively valid. (So if each inference is intuitively valid, then they have a logical connection. And so ultimately the explosive inference is intuitively valid). We begin with a premise that is a contradiction: A ∧ ¬A. We then infer the conjects from this conjunction,  ¬A and A. From ¬A we infer the disjunction ¬A ∨ B, which with A and by disjunctive syllogism, we infer B. (The idea might be the following, but I am just guessing here. By modus ponens, from A, A ⥽ B we can infer B. And, A⥽B is equivalent ¬A ∨ B. And as we see, by disjunctive syllogism from A, ¬A ∨ B we can infer B. Furthermore, maybe another idea here is that when there are premises validly making some other formula true, then you can make the premises be the antecedents and the conclusion the consequent in another formula that will be valid, but I am guessing. So because A ⥽ B is equivalent to ¬A ∨ B, and because the inference from A ∧ ¬A to B is shown to be valid using disjunctive syllogism on premises validly derived from A ∧ ¬A, that means (A ∧ ¬A) ⥽ B should be intuitively valid. Again, these are guesses. See the quotation below.]

C.I. Lewis, who did accept as an adequate account of the conditional, thought that there was a connection, at least in this case. The connection is shown in the following argument:

xxxxxxxxxxxxxA∧¬A

xxxxxxxxxxxx______

xxxxxA∧¬Axxxxx¬A

xxxxx____xxxxx___

xxxxxxxAxxxxx¬A∨B

xxxxx____________

xxxxxxxxxxxB

Premises are above lines; conclusions are below. The only ultimate premise is A∧¬A; the only ultimate conclusion is B. The inferences that the argument uses are: inferring a conjunct from a conjunction; inferring a disjunction from a disjunct; and the disjunctive syllogism: A, ¬A ∨ B ⊢ B. Of course, all these are valid in the modal logics we have looked at. If contradictions do not entail everything, then one of these must be wrong. We will return to this point in a later chapter.

(76)

[contents]

 

 

 

 

4.9.3

[C.I. Lewis’ Argument for the Connection between Antecedent and Consequent in A ⥽ (B ∨ ¬B)]

 

[C.I. Lewis also formulates an argument for the connection between antecedent and conclusion for A ⥽ (B ∨ ¬B), but this argument is a bit less convincing than the one for (A ∧ ¬A) ⥽ B.]

 

[Priest then notes that “Lewis also argued that there is a connection in the case of the conditional A ⥽ (B ∨ ¬B) as well,” using the following argument. We begin with A. From this we infer (A ∧ B) ∨ (A ∧ ¬B) (I am not exactly sure how, but maybe the reasoning is something like the following. Either B or ¬B holds, on account of excluded middle. Since we have affirmed A, then either (A ∧ B) or (A ∧ ¬B) holds.) From this we infer A ∧ (B ∨ ¬B) (I am not sure how again, but it seems like we extract the A as being the common affirmed formula in both, leaving (B ∨ ¬B).) And from this we infer (B ∨ ¬B) by pulling it out as one of the conjuncts. So by beginning with A, we can validly infer (B ∨ ¬B), and thus A ⥽ (B ∨ ¬B).) Priest says this argument is less convincing than the prior one, because “the first step seems evidently to smuggle in the conclusion” (77). (But I am not sure how that works other than the fact that the (B ∨ ¬B) that we want to derive is built into (A ∧ B) ∨ (A ∧ ¬B) by a sort of distribution.) Please see the quotation below, as I do not know the precise reasoning for each step.]

Lewis also argued that there is a connection in the case of the conditional A ⥽ (B ∨ ¬B) as well. The connection is provided by the | following argument:

xxxxxxxxxxxxxA

xxxxx_________________

xxxxx(A ∧ B) ∨ (A ∧ ¬B)

xxxxx_________________

xxxxxxxxA ∧ (B ∨ ¬B)

xxxxxxx______________

xxxxxxxxx(B ∨ ¬B)

This argument is less convincing than that of 4.9.2, however, since the first step seems evidently to smuggle in the conclusion.

(76-77)

[contents]

 

 

 

 

 

From:

 

Priest, Graham. 2008 [2001]. An Introduction to Non-Classical Logic: From If to Is, 2nd edn. Cambridge: Cambridge University.

 

 

.

 

Priest (1.10) An Introduction to Non-Classical Logic, ‘Arguments for ⊃,’ summary

 

by Corry Shores

 

[Search Blog Here. Index-tags are found on the bottom of the left column.]

 

[Central Entry Directory]

[Logic and Semantics, entry directory]

[Graham Priest, entry directory]

[Priest, Introduction to Non-Classical Logic, entry directory]

 

[The following is summary of Priest’s text, which is already written with maximum efficiency. Bracketed commentary and boldface are my own, unless otherwise noted. I do not have specialized training in this field, so please trust the original text over my summarization. I apologize for my typos and other unfortunate mistakes, because I have not finished proofreading, and I also have not finished learning all the basics of these logics.]

 

 

 

 

Summary of

 

Graham Priest

 

An Introduction to Non-Classical Logic: From If to Is

 

Part I:

Propositional Logic

 

1.

Classical Logic and the Material Conditional

 

1.10

Arguments for ⊃

 

 

 

Brief summary:

(1.10.1) Even though the material conditional, ⊃, is not properly suited to describe the functioning of the English conditional, it had come to be regarded as such on account of there only being standard truth-table semantics until the 1960s, and the only plausible candidate in that semantics for “if” formations would be the material conditional. (1.10.2) However, there are notable arguments that the material conditional can be used to understand the English conditional, and they construe that relation in the following way: “‘If A then B’ is true iff ‘A ⊃ B’ is true.” (1.10.3)  ‘If A then B’ is true then ¬A ∨ B is true. (1.10.4) Suppose A and ¬A ∨ B are true. By disjunctive syllogism: A, ¬A ∨ B ⊢ B. This fulfills (*), when we take ¬A ∨ B as the C term. [Now, since A, ¬A ∨ B ⊢ B fulfills the definition of the English conditional, and since A, ¬A ∨ B ⊢ B also gives us the (modus ponens) logic of the conditional (given the equivalence of A ⊃ B and ¬A ∨ B), that means the logic of the English conditional is adequately expressed by A ⊃ B.] (1.10.5) Suppose A and ¬A ∨ B are true. By disjunctive syllogism: A, ¬A ∨ B ⊢ B. This fulfills (*), when we take ¬A ∨ B as the C term. (Now, since A, ¬A ∨ B ⊢ B fulfills the definition of the English conditional, and since A, ¬A ∨ B ⊢ B also gives us the (modus ponens) logic of the conditional (given the equivalence of A ⊃ B and ¬A ∨ B), that means the logic of the English conditional is adequately expressed by A ⊃ B.) (1.10.6) What later proves important in the above argumentation is the use of disjunctive syllogism.

 

 

 

 

Contents

 

1.10.1

[The Prevalence of the Mistaken Identification of the English Conditional with the Material Conditional as Resulting Historically from Limitations in Semantics]

 

1.10.2

[Defining the English Conditional Using the Material Condition as “‘If A then B’ is true iff ‘A ⊃ B’ is true”]

 

1.10.3

[¬A ∨ B from ‘If A then B’]

 

1.10.4

[Disjunctive Syllogism and the English Conditional]

 

1.10.5

[Disjunctive Syllogism and the English Conditional]

 

1.10.6

[Noting Disjunctive Syllogism in the Argumentation]

 

 

 

 

 

 

Summary

 

1.10.1

[The Prevalence of the Mistaken Identification of the English Conditional with the Material Conditional as Resulting Historically from Limitations in Semantics]

 

[Even though the material conditional, ⊃, is not properly suited to describe the functioning of the English conditional, it had come to be regarded as such on account of there only being standard truth-table semantics until the 1960s, and the only plausible candidate in that semantics for “if” formations would be the material conditional.]

 

[Recall from section 1.8 and section 1.9 that there are a number of ways that the material conditional does not function exactly like the English conditional ‘if’. Priest now explains why many thought it could be adequate despite such problems. He says that this resulted from a historical factor, namely, that standard truth-table semantics were the only semantics we had until the 1960s, and, of the options they provided, “⊃ is the only truth function that looks an even remotely plausible candidate for ‘if’” (15).]

The claim that the English conditional (or even the indicative conditional) is material is therefore hard to sustain. In the light of this it is worth asking why anyone ever thought this. At least in the modern period, a large part of the answer is that, until the 1960s, standard truth-table semantics were the only ones that there were, and ⊃ is the only truth function that looks an even remotely plausible candidate for ‘if’.

(15)

[contents]

 

 

 

 

1.10.2

[Defining the English Conditional Using the Material Condition as “‘If A then B’ is true iff ‘A ⊃ B’ is true”]

 

[However, there are notable arguments that the material conditional can be used to understand the English conditional, and they construe that relation in the following way: “‘If A then B’ is true iff ‘A ⊃ B’ is true.”]

 

[I might be mistaken about the following, so please consult the quotation below. The idea might be now that we will examine an argument that in fact the material conditional can be used to understand the English conditional. Here it is something like saying: “‘If A then B’ is true iff ‘A ⊃ B’ is true.”]

Some arguments have been offered, however. Here is one, to the effect that ‘If A then B’ is true iff ‘A ⊃ B’ is true.

(15)

[contents]

 

 

 

 

1.10.3

[¬A ∨ B from ‘If A then B’]

 

[‘If A then B’ is true then ¬A ∨ B is true.]

 

[Priest next will show that if ‘‘If A then B’ is true’ then ¬A ∨ B is true. He does this with the following reasoning. First we suppose ‘‘If A then B’ is true, and then we consider two further possibilities. He notes that either ¬A or A is true. Take the first possibility, that ¬A is true. That means ¬A ∨ B is true. (I am not entirely sure why, but it might be something like disjunction introduction. See Agler’s Symbolic Logic section 5.3.8. But I am guessing.) Or take the second possibility, that A is true. That means, by modus ponens, B is true. For, we are affirming the antecedent and thus thereby the consequent. So again, we have that ¬A ∨ B is true. (I am again guessing it is something like disjunction introduction.) Thus in either case, ¬A ∨ B is true.]

First, suppose that ‘If A then B’ is true. Either ¬A is true or A is. In this first case, ¬A ∨ B is true. In the second case, B is true by modus ponens. Hence, again, ¬A ∨ B is true. Thus, in either case, ¬A ∨ B is true.

(15)

[contents]

 

 

 

 

1.10.4

[C and A Entailing B for “If A then B”]

 

[“(*) ‘If A then B’ is true if there is some true statement, C, such that from C and A together we can deduce B” (15).]

 

[I do not follow the next part, so please see the quotation below. First Priest speaks of the “converse argument”. I do not know what that is. Is it that from ¬A ∨ B we can derive ‘If A then B’? I do not know. And even if it were, I do not understand Priest’s point that the converse argument appeals to the claim that “(*) ‘If A then B’ is true if there is some true statement, C, such that from C and A together we can deduce B.” In fact, I do not know what it means to “appeal to a claim.” But the example makes sense: “Thus, we agree that the conditional ‘If Oswald didn’t kill Kennedy, someone else did’ is true because we can deduce that someone other than Oswald killed Kennedy from the fact that Kennedy was murdered and Oswald did not do it.” Yet I am not sure if and how to relate this to ¬A ∨ B. Perhaps I could follow this if I had access to the Faris text that Priest later cites for this issue (‘Interderivability of “⊃” and “If” ’), but currently I do not have it. I will continue this poor explanation in the next section.)]

The converse argument appeals to the following plausible claim:

(*) ‘If A then B’ is true if there is some true statement, C, such that from C and A together we can deduce B.

Thus, we agree that the conditional ‘If Oswald didn’t kill Kennedy, someone else did’ is true because we can deduce that someone other than Oswald killed Kennedy from the fact that Kennedy was murdered and Oswald did not do it.

(15)

[contents]

 

 

 

 

 

1.10.5

[Disjunctive Syllogism and the English Conditional]

 

[Suppose A and ¬A ∨ B are true. By disjunctive syllogism: A, ¬A ∨ B ⊢ B. This fulfills (*), when we take ¬A ∨ B as the C term. (Now, since A, ¬A ∨ B ⊢ B fulfills the definition of the English conditional, and since A, ¬A ∨ B ⊢ B also gives us the (modus ponens) logic of the conditional (given the equivalence of A ⊃ B and ¬A ∨ B), that means the logic of the English conditional is adequately expressed by A ⊃ B.)]

 

[Priest now says that “suppose that ¬A ∨ B is true. Then from this and A we can deduce B, by the disjunctive syllogism: A, ¬A ∨ B ⊢ B. Hence, by (*), ‘If A then B’ is true” (16). Maybe this corresponds to (*) when we take ¬A ∨ B to be the C term in (*), but I am guessing. My problem still is I do not know how to put all the ideas together from all the sections here, even though the ideas in each one by themselves make sense. At least let us note the following for now. In section 1.7.1 we said that A ⊃ B is equivalent to ¬A ∨ B. So my following explanation is wrong, but I cannot think of anything else at the moment. Maybe we are to think of how A, ¬A ∨ B ⊢ B works by disjunctive syllogism and A, A ⊃ B ⊢ B by modus ponens. Both cases also fulfill (*), which confirms “if A then B”. I am incorrectly guessing that the overall idea is that (*) gives us our definition for the English conditional ‘if A then B’, and the inference which gives us the basic “logic” of the conditional (modus ponens or disjunctive syllogism formulated equivalently) fulfills the definition in (*). I am very sorry that at the moment I cannot put all these sections together coherently, so please read this whole section 1.10 for yourself.]

Now, suppose that ¬A ∨ B is true. Then from this and A we can deduce B, by the disjunctive syllogism: A, ¬A ∨ B ⊢ B. Hence, by (*), ‘If A then B’ is true.

(16)

[contents]

 

 

 

1.10.6

[Noting Disjunctive Syllogism in the Argumentation]

 

[What later proves important in the above argumentation is the use of disjunctive syllogism.]

 

[Priest notes finally that:]

We will come back to this argument in a later chapter. For now, just note the fact that it uses the disjunctive syllogism.

(16)

[contents]

 

 

 

 

 

 

From:

 

Priest, Graham. 2008 [2001]. An Introduction to Non-Classical Logic: From If to Is, 2nd edn. Cambridge: Cambridge University.

 

 

.