• Pretty
    7
    Incoming very long post, brevity is not my forte. Here is the tl;dr: How can Aristotle claim, in Prior Analytics II.1, that subordinates of the middle term can be substituted through the deduction in the first figure, but that in the second figure, subordinates of the middle are only substituted through the assumed premise, not the deduction?

    In Prior Analytics II.1, Aristotle is discussing the possibility of finding more than one conclusion from a deduction. He first talks about how deductions concluding Universal Positives (A), Universal Negatives (E), and Particular Positives (I) all can find a new conclusion through conversion of the conclusion. However, then he moves on to the extra conclusions that are unique to universal deductions. He says this:

    But it is possible to give another reason concerning those which are universal. For all the things that are subordinate to the middle term or to the conclusion may be proved by the same deduction, if the former are placed in the middle, the latter in the conclusion; e.g. if the conclusion AB is proved through C, then A must be said of all of whatever is subordinate to B or C; for if D is in B as in a whole, and B is in A, then D will be in A. Again if E is in C as in a whole, and C is in A, then E will be in A. Similarly if the deduction is negative. In the second figure it will be possible to deduce only that which is subordinate to the conclusion, e.g. if A belong to no B and to every C; we conclude that B belongs to no C. If then D is subordinate to C, clearly B does not belong to it. But that B does not belong to what is subordinate to A, is not clear by means of the deduction. And yet B does not belong to E, if E is subordinate to A. But while it has been proved through the deduction that B belongs to no C, it has been assumed without proof that B does not belong to A, consequently it does not result through the deduction that B does not belong to E. — Aristotle, Prior Analytics II.1

    I have bolded and italicized what is crucial here to what I am asking. Refer to the simple layout below to follow my statements more easily here. One immediate confusion here is that he (or the translator) seems to use "conclusion" interchangeably to mean the conclusive statement, as well as meaning one of the actual terms in the conclusion (that is, B), but if we grant this then it's not really a big issue, as long as we are right to interpret this this way. What Aristotle seems to claim in the first half, is that if conclusion AB is reached though premises AC and CB in the first figure. He then says if you substitute out B or C and insert their respective subordinate things (D or E), you can reach conclusions through the deduction, and end up with statements AD and AE.

    On it's own I think I can understand this, until I read the next half about the second figure, and my latent confusion is illuminated. For in this next part, he says that if you have AB and AC you can prove BC through the second figure, yet through the deduction you can additionally deduce only what is subordinate to the "conclusion" term, not to the middle. And thus you can only deduce BD through BC, if D is subordinate to C. However, he crucially grants that if E is subordinate to A, you indeed can find this deduction EB from our 2nd figure syllogism, but it is not through the deduction that this is done, but through examining and altering one of the assumed premises.

    That is my interpretation of the passage, and hopefully you can see the inconsistency I see from here, but let me spell it out. I can grant easily in our second half that conclusion EB does not come to us through the deduction but simply through one of the premises, and thus only one extra conclusion is "deduced" according to Aristotle. However, if I grant this, I can't help but think it also applies to the first part of the paragraph, where he talks about the first figure. How can he say that in the first figure, we find both AD and AE through the deduction, when it seems to only apply to the former? You need the deduced conclusion of the syllogism, AB, in order to further conclude the subordinate AD, so there's no confusion as to how it's said to be found through the deduction. But you do not need to deduce anything to find the subordinate AE from AC, because AC is already a pre-assumed premise. Therefore it seems that, if we follow Aristotle's rule about distinguishing that which is proved through deduction, and which is proved through the premise, then AE would also have to be considered as proven through the premises and not deduction.

    You could argue that AE is through deduction, because you would have both statements AC (A belongs to all C) and CE (C belongs to all E) and thus conclude AE, but wouldn't this also apply to the second figure case? That is, to find EB, you need to establish the pre-assumed premise AB (A belongs to no B), as well as AE (A belongs to all E), and thus conclude EB from this. However, I don't think this argument is what Aristotle was trying to say at all anyways, because based on what I've shown, it would only increase the seeming contradictions of the paragraph.

    Here is a layout of the two figures to show how I currently understand things:

    First Figure:

    1. AC (A belongs to all C) => AE (A belongs to all E)

    2. CB (C belongs to all B)

    C. => AB (A belongs to all B) => AD (A belongs to all D)

    Second Figure:

    1. AB (A belongs to no B) => EB (E belongs to no B)

    2. AC (A belongs to all C)

    C. => BC (B belongs to no C) => BD (B belongs to no D)


    Now if we read my "=>" as meaning "therefore," then we should see how the statement AE in the first figure seems derived from the premise instead of the deduction, and that if we want to grant Aristotle as correct, we must find how he might say this is otherwise and that it actually is derived through the full deduction. Everything else he says would be consistent with itself and not contradictory if it is granted that what applied to the 2nd figure also applies to the 1st, but it's clear Aristotle said nothing close to this. Who can help decipher this?
  • unenlightened
    9.2k
    Excuse my lack of an actual answer, but life is too short to try and understand syllogistic logic through a translated 2000 year old text.

    Instead, have recourse to something like this: http://intrologic.stanford.edu/materials/logicinaction/ch3.pdf
  • Pretty
    7
    I appreciate the resource. I do wish it had a little more clarity on this exact issue though. I am less interested in the absoluteness of ideas behind the syllogism, I know I can crack open any modern logic textbook for that. I'm more interested in understanding the history of thought behind the ideas and tracing that progression. So instead of trying to understand this from the perspective of "how do these syllogisms work?" I'm approaching it more from "What must Aristotle in particular have been thinking when he wrote this?" angle. To be honest, I'm a little astonished that this kind of stuff isn't easier to find discussion on. The internet is young, sure, but Aristotle is Aristotle, I'd think there'd be more exhaustive discussions behind the nitty gritty of his works than most other philosophers. And I know I'm not very smart, but I can't be the only one who has gotten tripped up here and elsewhere at parts where I found my confusion to be high but discussion to be lacking
  • Paine
    2.4k

    You are right to think that this text has been studied carefully. I have a read a lot of Aristotle but this work is not one I have devoted time to. I will look around for attempts to unravel the text.
  • Lionino
    2.7k
    The internet is young, sure, but Aristotle is Aristotle, I'd think there'd be more exhaustive discussions behind the nitty gritty of his works than most other philosophersPretty

    There should be some reading guides written by experts, possibly even for the specific work you are struggling with. I would try to download some of those pdfs and go through them.

    Give a go to Commentary on Aristotle, Prior Analytics (Book II): Critical Edition with Introduction and Translation by Leon Magentenos. Maybe you are looking for something like this:
    aKIxQ4Y.png
  • Pretty
    7
    Superb, thank you so much. I'll look into this now and see if it can resolve my confusion. I swear I googled for something like this a million times and nothing came up, so I appreciate you
  • Lionino
    2.7k
    Let us know if you come to conclusions.
  • Pretty
    7

    Hi friends, I'm back and centered in on the precise part of this commentary that discusses the part I'm confused on. This commentary does somewhat enlighten things with good examples at every step, but I'm afraid it doesn't really relieve the source of my confusion. Here is the excerpt of the relevant passages and my interpretations on each:

    7. [...] There is, however, yet another cause for which universal syllogisms infer plenty of conclusions. For from the content of the minor term you will draw a conclusion and from the content of the middle term another one, but all conclusions will be drawn in the first figure through this very figure, the first one, by means of which the first syllogism also comes about. Let us assume that A stands for essence, C for animate being, E for sense‐perceptible being, B for logical being and D for human being. The first syllogism is that essence is predicated of every animate being, animate being is predicated of every logical being, and therefore essence is predicated of every logical being. Indeed, this is the first syllogism. Since the minor term, the logical being, contains the human being, you will draw from the content of the former a second conclusion: essence is predicated of every logical being, logical being is predicated of every human being, therefore essence is predicated of every human being. But even the middle term, the animate being, contains the sense‐perceptible being and you will draw another conclusion: essence is predicated of every animate being, animate being is predicated of every sense perceptible being, and therefore essence is predicated of every sense‐perceptible being. [...]

    I've abridged this chapter a bit where he reviews the previous chapters in the beginning, and where he goes over the same idea but as a negative syllogism at the end. However this is right where the confusion arises, right at the beginning of the discussion of subordinates. On its own however, there is no contradiction yet. Magentenos here specifies that the extra subordinate conclusions that you can get from a universal-positive first-figure syllogism, also use universal-positive first-figure syllogisms. This he elaborates by laying out his terms, giving a first figure syllogism, and then deducing the subordinates of both the conclusion (aka the minor term) and the middle term, respectively. This he does, as already said, by means of the first figure unto these subordinate terms, as well as being in some way branched off of the original syllogism of the first figure. I have italicized the last syllogism because it will be the critical part of the contradiction to come: note carefully how its premises do not include the original conclusion AB-- this will be the card we pull back out at the end of this comment.

    Here is a diagram:

    figure1.png

    8. In the second and in the third figure, not all conclusions are drawn by the same figure, but by a different one on each occasion; e.g. in the second figure it was inferred through the middle term living being that stone is predicated of no human being. The particular term, namely grammarian, which is subordinated to the minor term, namely human being, will be inferred in the first figure as follows: stone is predicated of no human being, human being is predicated of every grammarian, therefore stone is also predicated of no grammarian. Similarly, logical being, i.e. the particular term subordinated to the middle term, namely living being, will also be inferred in the first figure as follows: stone is predicated of no living being (for ‘no’ converts to itself), living being is predicated of every logical being, therefore stone is also predicated of no logical being.

    Here we bring in the second figure, where the more of the confusion lies, but still no contradiction yet between these two chapters. First Magentenos makes explicit that in this figure, extra conclusions will be drawn using figures other than the one they're branching from. That is, from the second figure, other figures like the first will be utilized to make further conclusions. He then shows this. He makes an allusion ("it was inferred") to a second figure syllogism using terms Living Being, Stone, and Human Being (I cannot find an actual previous reference to a syllogism with these terms anywhere, except for later on in Prior Analytics when discussing false premises.). Then he again substitutes subordinates for the conclusion and middle respectively, to make further conclusions. As he lays these two syllogisms out, he notes how each are deduced using the first figure.

    He also, oh so conveniently, swaps around the term letterings from here on without saying so (perhaps related to the mysterious allusion?), so here they are in the second figures diagram:

    figure2.png

    9. In the case of the second figure, however, a syllogism will be possible only for what is subordinated to the conclusion, namely for the subordinated term. A syllogism for what is subordinated to the conclusion will be possible from a premise demonstrated by syllogism; for the major premise ‘stone is predicated of no human being’ was the conclusion of the second figure and every conclusion has been demonstrated by a syllogism.

    This is a crucial part. The first sentence is the first part where a contradiction seems apparent, and it comes up in the same way in the Aristotle text. This can be accepted on its own if you take it on its own, but with what we established so far, it doesn't, as we shall see in full. The second sentence in this chapter explains the reasoning for this sentence: the syllogism is possible for the conclusion, because it will include "A premise demonstrated by syllogism" , that is, it uses a premise that was previously a conclusion in the figure it branched from. The contradiction seems like it comes from a sudden shift in topic. It feels like it confuses itself between the formerly established idea of extra conclusions that use the same/different figure as the ones they branch from, and the here newly established idea extra conclusions that, regardless of figure, use the conclusion from a previous syllogism as one of its premises.. But why this sudden change in topic, and why is it specified for the second figure, when as we shall see it applies to the first figure above as well?

    10. To the terms subordinated to the middle term; or rather the conclusion of the terms which are subordinated to the middle term, namely to A, that stone is predicated of no logical being, has not become clear by means of a syllogism; or rather, the major premise, that ‘stone is predicated of no living being’, has not been demonstrated before, but it was received undemonstrated. Furthermore B, namely the stone, is predicated of no E, namely of no logical being, because logical being is subordinated to A; and since B is denied of A, namely of the living being, it is will also be denied of E, namely of the logical being.

    And this is where the contradiction is finally made explicit. Aristotle and Magentenos both say here that the middle subordinate is not concluded by means of syllogism, specifically because neither of the involved premises come as conclusions from previous syllogisms. Let's pull our card back out from the top of the comment, the bolded and italicized part, and remember that this has already taken place in the first figure, with no mention. When Essence was predicated of the middle term Animate Being, and then Animate Being was in turn predicated of its subordinate sense-preceptive being, this was treated as using the first figure deduction. But in the second figure middle subordinate, Where Stone is negative-predicated of Living Being, and Living Being is predicated of Logical Being (see chapter 8), it is considered not through the syllogism because neither of those predications came to our disposal through a deduction. And yet, neither of the predications in the first figure example come to us through a deduction either-- they were both granted to us. This contradiction seems to come from the confusing, perhaps accidental, change of topic that I mentioned above. Aristotle seems to begin by talking about the figure-structure of syllogisms that branch off of a given figure and provide extra conclusions. He then appears to begin to give conditional statements to the second figure with regards to this topic, by moving on to speak of the second figure alone, but as he does this he actually changes topics altogether, to focus on the nature and source of the premises used to find extra conclusions, regardless of figure, and perhaps even regardless of deductive status of the conclusions. This final chapter/passage of Magentenos below attempts briefly, but not adequately, to explain things.

    11. That B is predicated of no C, however, was demonstrated by a syllogism of the second figure and is conclusion of the latter; it was taken as major premise leading to the conclusion that ‘stone is predicated of no grammarian’. But that B is predicated of no A, which is exactly the major premise leading to the conclusion that stone is predicated of no E, namely of no logical being, is undemonstrated. Consequently, that B is predicated of no E was not inferred because of the syllogism, or rather it does not result from a premise demonstrated by means of syllogism.

    This is just rephrasing what we've all been over. First he restates that we got a certain conclusion through the second figure's standard process. Then he says that this conclusion is used in turn as a premise in the deduction concerning the conclusion's subordinate. And then he says once again how this does not happen for the subordinate of the middle, and so that subordinate should not be considered as demonstrated through syllogism. This just seems to further show definitively that we have abandoned the discussion of figure-structure that took up chapters 7 and 8 of Magentenos, and have totally started seeing things in terms of the source of various premises.

    I can't tell now who is the more confused between myself and Magentenos. Going directly back to the Aristotle passage, at the beginning he does specify: "all the things that are subordinate to the middle term or to the conclusion may be proved by the same deduction" ... but "proved by the same deduction" is the vague term in question. Magentenos seems to interpret it in his chap 7 and chap 8 as "proved with the same figure" and thus elaborates how the figure stays the same. But if we want to assume the ever-so-smarter Aristotle was consistent, then we should probably take it to mean "proved by using propositions from a previous syllogism as premises" that is, the subordinates will source at least some of their premises from the previously established syllogism (and by 'proposition' I mean either premise or conclusion). If we accept this, then instead of Magentenos' interpretation of sporadically switching from figure-structures to premise-sources, we could interpret Aristotle's original passage as broadly talking about the sources of premises in both parts. However, this still doesn't alleviate the contradiction, because even if we do interpret "proved by the same deduction" as "proved by using propositions of a previous syllogism as premises" it's not the same as "proved by using the conclusion of a previous syllogism as premises" which is what both Aristotle and Magentenos clearly focus their attention on by the end. However if we still grant, as I really wish to, that Aristotle did stay consistently on topic, since I can't find any smarter person supporting the idea that he didn't, then we still don't have an explanation for why he didn't point out that the first figure's middle subordinate also doesn't utilize any previously deduced conclusions. Like I said in a previous comment, I'm less concerned about the actual truth of the syllogism and more concerned about the seeming error in the text and the lack of historical attention brought to said error. How have countless students in the past not torn their hair out at this exact passage, enough to warrant plenty of provisions and footnotes as warning?

    Thanks to everyone who has helped me so far and has bothered to trudge through this comment to help me. I will continue as always to poorly search for further commentaries but I would appreciate any more that anyone else might find!
bold
italic
underline
strike
code
quote
ulist
image
url
mention
reveal
youtube
tweet
Add a Comment

Welcome to The Philosophy Forum!

Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.