22.06.2013 Views

Handbook of the History of Logic: - Fordham University Faculty

Handbook of the History of Logic: - Fordham University Faculty

Handbook of the History of Logic: - Fordham University Faculty

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

126 Ian Wilks<br />

firm as genuine entailments all <strong>of</strong> those conditionals which arise from substitution<br />

in its open places — except that <strong>the</strong> substituting terms must be fur<strong>the</strong>r delimited<br />

as standing in <strong>the</strong> topical relation <strong>of</strong> species to genus. 81 The topical rule is<br />

more qualified than <strong>the</strong> syllogistic, but just as confirmatory. To understand this<br />

is to understand why Abelard regards topical <strong>the</strong>ory as such an important area<br />

<strong>of</strong> research. Given that <strong>the</strong> basic rules <strong>of</strong> form for syllogistic entailments already<br />

appear to be discovered and fully expressed, it is natural to seek next <strong>the</strong> discovery<br />

and full expression <strong>of</strong> rules for conditional entailments.<br />

In support <strong>of</strong> this program, Abelard tightens <strong>the</strong> analogy between syllogistic<br />

and conditional entailments in two ways.<br />

(i) He distinguishes <strong>the</strong>se entailments as perfectae and imperfectae respectively.<br />

Imperfectae means “imperfect” in <strong>the</strong> sense <strong>of</strong> “incomplete,” not in <strong>the</strong> sense <strong>of</strong><br />

“defective.” 82 A Barbara syllogism gives us a complete entailment, while “If it is a<br />

man <strong>the</strong>n it is an animal” gives us an incomplete one. The point <strong>of</strong> <strong>the</strong> distinction<br />

is not to mark <strong>the</strong> quality <strong>of</strong> <strong>the</strong> entailments, because both involve <strong>the</strong> closest<br />

possible inferential links. The point is to mark <strong>the</strong> quality <strong>of</strong> guarantee for that<br />

link. The explicitness <strong>of</strong> a syllogism is such that we do not even have to pay<br />

particular attention to <strong>the</strong> content <strong>of</strong> its propositions in order to grasp <strong>the</strong> fact<br />

that <strong>the</strong> inference succeeds. We need only note <strong>the</strong> pattern <strong>of</strong> <strong>the</strong> terms. We can,<br />

indeed, make arbitrary substitutions for <strong>the</strong> terms, but still be assured that that<br />

<strong>the</strong> resulting entailment succeeds, as in: “If every man is a stone and every stone is<br />

wood <strong>the</strong>n every man is wood” [Abelard, 1970, p. 255 (35)]. “If it is a man <strong>the</strong>n it is<br />

an animal” cannot be so simply confirmed as this, even though, as we have seen, it<br />

can be confirmed. Hence it is an entailment properly speaking, just an incomplete<br />

one. Note that <strong>the</strong> compete/incomplete distinction is traditionally applied within<br />

<strong>the</strong> domain <strong>of</strong> syllogisms <strong>the</strong>mselves [Abelard, 1970, pp. 233 (35)–234 ((8)]. First<br />

figure syllogisms corresponding to <strong>the</strong> first four moods are complete, in that <strong>the</strong>y<br />

are self-evidently valid; all o<strong>the</strong>r moods are incomplete in that, while valid, <strong>the</strong>y<br />

are not self-evidently so. They require reduction to first-figure ones in order to<br />

be shown to be so. This is <strong>the</strong> sort <strong>of</strong> distinction being made between syllogistic<br />

and conditional entailments. The latter fail in obviousness, not in strength, and<br />

need additional means to have obviousness conferred upon <strong>the</strong>m. These means are<br />

supplied by topical <strong>the</strong>ory. Calling conditional entailments “incomplete” presents<br />

<strong>the</strong>ir difference from complete ones as a difference <strong>of</strong> presentation, not content,<br />

and <strong>the</strong> label thus suggests <strong>the</strong> underlying likeness <strong>of</strong> <strong>the</strong> two. 83<br />

(ii) Fur<strong>the</strong>r to this suggestion is Abelard’s account <strong>of</strong> <strong>the</strong> inferential link itself,<br />

which he applies indifferently to both kinds <strong>of</strong> entailment. He identifies necessity as<br />

81 As Christopher Martin notes [Martin, 1986, p. 566], topical entailments generally will hold for<br />

“uniform substitution <strong>of</strong> terms standing in an appropriate topical relationship.” These contrast<br />

with syllogistic (i.e., complete) entailments, which hold for “any uniform substitution <strong>of</strong> terms.”<br />

See also [Martin, 1992, p. 116].<br />

82 I will translate perfecta as “complete” consistently with my earlier rendering <strong>of</strong> oratio perfecta<br />

as “complete phrase.” Imperfecta is accordingly rendered as “incomplete.”<br />

83 On this distinction see <strong>the</strong> discussion in [Martin, 2004a, pp. 169–171], under <strong>the</strong> heading<br />

“Perfect and Imperfect Entailment.”

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!