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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

616 E. Jennifer Ashworth<br />

first published in 1582; but in addition he produced single works on a variety <strong>of</strong><br />

related <strong>the</strong>mes, from necessary propositions to <strong>the</strong> species <strong>of</strong> demonstration. 39 He<br />

discussed <strong>the</strong> two main types <strong>of</strong> scientific method, <strong>the</strong> compositive, which is a<br />

priori and moves from cause to effect, and <strong>the</strong> resolutive, which is <strong>of</strong> secondary<br />

importance, and moves from effect to cause. In his work De regressu he described<br />

how <strong>the</strong> two methods could be united, thus allowing <strong>the</strong> scientist a method which<br />

would enable him to discover new causal relations at <strong>the</strong> same time as proving his<br />

conclusions apodictically. Zabarella’s Opera logica were read throughout Europe<br />

well into <strong>the</strong> seventeenth century; and were particularly important in Germany.<br />

Just as <strong>the</strong> Coimbra commentary represents <strong>the</strong> new Aristotelian commentary, so<br />

Zabarella represents <strong>the</strong> new Aristotelian philosopher <strong>of</strong> logic.<br />

Ano<strong>the</strong>r development in Aristotelian logic that calls for some comment is <strong>the</strong><br />

discussion <strong>of</strong> <strong>the</strong> fourth figure <strong>of</strong> <strong>the</strong> syllogism. To understand <strong>the</strong> problem, we<br />

need to consider <strong>the</strong> relation <strong>of</strong> <strong>the</strong> terms in <strong>the</strong> premisses to <strong>the</strong> terms in <strong>the</strong><br />

conclusion. In standard examples, <strong>the</strong> subject <strong>of</strong> <strong>the</strong> conclusion appears in <strong>the</strong><br />

second premise, and is called <strong>the</strong> minor term, and <strong>the</strong> predicate <strong>of</strong> <strong>the</strong> conclusion<br />

appears in <strong>the</strong> first premise, and is called <strong>the</strong> major term. Whe<strong>the</strong>r <strong>the</strong>re can be<br />

non-standard examples depends on how one defines <strong>the</strong> major and minor terms.<br />

John Philoponus (ca. 490–ca. 570), in a definition that became popular by <strong>the</strong><br />

seventeenth century, defined <strong>the</strong> major term as <strong>the</strong> predicate <strong>of</strong> <strong>the</strong> conclusion.<br />

Given this definition, one can easily differentiate syllogisms in which <strong>the</strong> middle<br />

term stands as subject to <strong>the</strong> major term but stands as predicate to <strong>the</strong> minor<br />

term (first figure), from syllogisms in which <strong>the</strong> middle term stands as predicate to<br />

<strong>the</strong> major term and stands as subject to <strong>the</strong> minor term (fourth figure). Moreover,<br />

<strong>the</strong>re can be no conclusion which is indirect in <strong>the</strong> sense that <strong>the</strong> major term is<br />

subject and <strong>the</strong> minor term is predicate. However, during <strong>the</strong> medieval period, logicians<br />

tended to define <strong>the</strong> major term as that which appeared in <strong>the</strong> first premise<br />

and <strong>the</strong> minor term as that which appeared in <strong>the</strong> second premise. This definition<br />

allows indirect conclusions, and many logicians from Theophrastus onward added<br />

five indirect modes to <strong>the</strong> first figure, giving a standard listing <strong>of</strong> nineteen valid<br />

syllogisms (or twenty-four, if one adds <strong>the</strong> subalternate modes). 40 It also leaves<br />

open <strong>the</strong> possibility <strong>of</strong> acknowledging <strong>the</strong> fourth figure, but <strong>the</strong>re are two ways<br />

<strong>of</strong> introducing such a figure. One can take <strong>the</strong> first figure direct syllogisms, and<br />

transpose <strong>the</strong>ir premisses, <strong>the</strong>reby changing <strong>the</strong> relationship <strong>of</strong> <strong>the</strong> middle term to<br />

<strong>the</strong> major and minor terms, and obtaining <strong>the</strong> indirect modes <strong>of</strong> <strong>the</strong> fourth figure.<br />

Alternatively, one can take <strong>the</strong> first figure indirect syllogisms and transpose <strong>the</strong>ir<br />

For more information and bibliography, see William A. Wallace, “Circularity and <strong>the</strong> Paduan<br />

Regressus: From Pietro d’Abano to Galileo Galilei,” Vivarium 33 (1995), 76–97.<br />

39For Zabarella’s works, see Jacobi Zabarellae Opera <strong>Logic</strong>a (Cologne, 1597; repr. Hildesheim:<br />

Georg Olms, 1966).<br />

40We need to remember that whereas modern logicians treat universal propositions about nonexistent<br />

objects as true and particular propositions as false, so that <strong>the</strong>re are only fifteen valid<br />

categorical syllogisms when <strong>the</strong>se are symbolized in classical first-order quantificational logic,<br />

late medieval logicians treated affirmative propositions, whe<strong>the</strong>r universal or particular, about<br />

non-existent objects as false and negative propositions as true.

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

Saved successfully!

Ooh no, something went wrong!