Prior Analytics - Book II
The following is an outline of a philosophical text which is provided with no claim with regard to it's accuracy or neutrality. Use freely, but at your own risk.
Overview
In Book One of his Analytics, Aristotle discusses the structure of the syllogism, his logical procedure. In Book Two, he discusses some of the properties and defects of syllogisms, and some types of reasoning that are related to syllogisms.
Outline: Book Two
- Properties and defects of syllogism; Arguments akin to syllogism
- Properties
- The drawing of more than one conclusion from the same premises
- Very nice recapitulation of book one: (1) The number of figures, (2) the character and number of premises, (3) when and how a syllogism is formed, (4) what we must look for when refuting and establishing propositions, (5) how we should investigate a given problem, (6) and by what means we will attain principles appropriate to each subject.
- Universal and affirmative particular syllogisms yield more than one result (as these are all convertible propositions).
- (E.g.) Universal: Aab -> Aba
- (E.g.) Particular Affirmative: Iab -> Iba
- (E.g.) Particular Negative: Oab -//> Oba
- You can also get this conclusion for universal syllogisms insofar as that which is subordinate to the middle term can be inferred.
- Adb, Aba -> Ada, Aad
- The drawing of true conclusions from false premises; the first figure
- Given true premises, false conclusions are impossible.
- True conclusions (wrt fact, not reason) may be drawn from false premises.
- If both premises are wholly false, the conclusion can be true. (All men are stones, All animals are stones -> All men are animals).
- If both premises are partially false. (Some men are stones, Some animals are not stones -> Some animals are not men)
- If only one premise is false:
- When the first premise (AB) is wholly false the conclusion will be false.
- When AB is partially false, the conclusion can be true.
- When the second premise (BC) is wholly false, the conclusion can be true.
- When BC is partially false, the conclusion (C) can be true.
- If one premise is wholly and one is partially false:
- When AB is partially false, C can be true.
- When BC is partially false, C can be true.
- The drawing of true conclusions from false premises; the second figure
- In each of the above situations, in the middle figure, it is possible to reach a true conclusion from one or more false premises.
- The drawing of true conclusions from false premises; the third figure
- In each of the above situations, in the third figure, it is possible to reach a true conclusion from one or more false premises.
- Circluar proof; the first figure
- Reciprocal demonstration is when any [P1,P2,C] of a syllogism is provable by assuming the others.
- Reciprocal demonstration is only possible if propositions and terms [A,B,C] are convertible (cf. Book 1:A.I.2; i.e. Aab->Aba, Eab->Eba).
- Positive Universal: AC: Aab, Abc -> Aac. We can also prove AB by Aac, Acb ->Aab. And BC: (Aac->Aca),Aab -> Abc.
- Negative Universal: AC: Abc, Eab -> Eac. And then: AB: Eac, (Acb->Abc) -> Eab. Etc.
- Positive & Negative Particular: In the particular cases, we can demonstrate the particular premise from the universal and the conclusion, but not the other way around.
- E.g. if: (U)AB, (P)BC -> (P)AC –> Aba, Iac -> Ibc. And this only.
- Circluar proof; the second figure
- Positive Universal & Particular: Reciprocal demonstration is not possible.
- Negative Universal: Aab, Eac -> Ebc. (Aab->Aba), Ebc -> Eac, Etc,
- Negative Particular: Once again, the particular premise can be proved but not the universal, for the same reasons as in (A.I.5.iii) above.
- Circluar proof; the third figure
- Positive & Negative Universal: Reciprocal demonstration is not possible. (Third figure conclusions are always particular.)
- Particular premises are sometimes possible to prove reciprocally when the other premise is universal.
- Both affirmative & the universal concerns the minor extreme.
- Eg. Aac, Ibc -> Iac. If (Aac->Aca), Ibc -> Ibc (!Icb). This fails because we can’t prove something universal about the minor extreme, C.
- Eg. Abc, Iac -> Iab. Then if (Abc->Acb), Iab -> Iac. This succeeds because we can say something universal about the minor extreme, C.
- One premise is universal affirmative and the other negative -> Circular proof can be given.
- Conversion; the first figure
- Conversion means altering the conclusion of a syllogism to make another syllogism to prove that either:
- The last term cannot belong to the middle.
- The middle cannot belong to the last term.
- Aristotle will refer to this operation as “refuting a premise”.
- Conclusions can be converted into their:
- Contradictories: “to all”->”not to all”, “to some”->”to none”.
- Contraries: “to all”->”to none”, “to some”->”not to some”.
- Universal Contrary: Major extreme premise cannot be refuted universally (forces appeal to third figure). AB, BC -> Eac. –> Eac, Aab -> Ebc. –> Eac, Abc -> Oab (Felapton).
- Universal Contradictory : Conversion results in conclusions that are negative and particular.
- Particular Contrary: Neither premise may be refuted.
- Particular Contradictory: Both premises may be refuted.
- Conversion means altering the conclusion of a syllogism to make another syllogism to prove that either:
- Conversion; the second figure
- Universal Contrary: The major extreme premise (AB) may not be refuted, but AC can. Aab, Eac -> Abc. Abc, Aab -> Aac. Abc, Eac -> Oab.
- Universal Contradictory: The major extreme premise (AB) may not be refuted, but AC can. Ibc, Eac -> Oab. Ibc, Aab -> Iac.
- Particular Contrary: Neither premise can be refuted.
- Particular Contradictory: Both premises can be refuted.
- Conversion; the third figure
- Universal Contrary: Neither premise can be refuted.
- Universal Contradictory: Both premises can be refuted.
- Particular Contrary: Neither premise can be refuted.
- Particular Contradictory: Both premises can be refuted.
- Reductio ad impossibile; the first figure
- The syllogism per impossibile is proved when the contradictory of the conclusion is stated and another (incompatible) premise is assumed.
- It resembles conversion, except that a conversion leverages an already-agreed to contradictory, whereas in a reduction to the impossible it is simply clear that the contradictory is true.
- E.g.: Aab, Abc -> Aac. Now, we pose that Eab, or Oab then Eab, Abc -> Eac. But Eac is impossible.
- All the syllogisms in all moods in all figures can be proved per impossibile, except the universal affirmative in the first figure. (Cf. I.A.11.c.)
- Example proof: Eab, Abc -> Eac. Aac, Abc -> Aab, which is impossible.
- Why it doesn’t work in the universal figure of the first: Aab, Aca -> Abc. Now assume Ebc. Ebc, (Aca->Aac) -> Eab, which is impossible, but the negation of Eab does not necessarily prove Aab. I think.
- Reductio ad impossibile; the second figure
- Reductio ad impossibile is possible in all syllogisms in this figure; proofs.
- Reductio ad impossibile; the third figure
- Reductio ad impossibile is possible in all syllogisms in this figure; proofs.
- Comparison of reductio ad impossibile and ostensive proof
- Reductio ad impossibile
- posits what it wishes to refute by reduction to a statement admitted to be false.
- takes one premise from which the syllogism starts and the contradictory of the original conclusion.
- it is necessary to suppose that the conclusion is not true.
- Ostensive proof
- starts from admitted positions.
- takes the premises from which the syllogism starts.
- it is not necessary that the conclusion is known or true.
- Both
- Both take two admitted premises.
- Anything that can be proved with one can be proved with the other.
- Figural dependencies for proving syllogisms.
- Proving a syllogism in the first figure by RAI and ostensive proof.
- If negative: Proof with the middle figure.
- If affirmative: Proof with the last figure.
- Proving a syllogism in the second figure by RAI and ostensive proof.
- Proof will accomplished using the first figure.
- Proving a syllogism in the third figure by RAI and ostensive proof.
- If negative: Proof with the middle figure.
- If affirmative: Proof with the first figure.
- Proving a syllogism in the first figure by RAI and ostensive proof.
- Reductio ad impossibile
- Reasoning from opposites
- Possible types of oppositions
- Universal affirmative to universal negative
- Universal affirmative to particular negative
- Particular affirmative to universal negative
- Note that particular affirmative to universal negative doesn’t qualify, presumaly along the same logic as (A.I.11.d.ii). Aristotle says they are “only verbally opposed.”
- All the universals are “contraries”, all the particulars are “contradictories.”
- The first figure
- No syllogism can be made from opposed premises.
- The second figure
- Syllogisms can be made any opposed premise
- Science (B) is good, No science (C) is good -> Science (B) is science (C).
- The third figure
- No syllogism can be made from opposed premises.
- A negative syllogism is possible whether the terms are universal or not: Some medicine is a science (B), No medicine is a science (C) -> Some science is a not science [Iab,Eac->Oac].
- The types of opposites engender six sets of two premises [e.g. (A.I.15.a.i): Aab, Eac; Aac, Eab;]
- It is not possible to draw a true conclusion from opposed false premises.
- Possible types of oppositions
- The drawing of more than one conclusion from the same premises
- Defects
- Petitio principii (Begging the question)
- Begging the question is trying to prove something that’s not self-evident by means of itself.
- Basically, using A -> B -> C -> A to prove A is begging the question.
- When it is uncertain whether A belongs to C, and uncertain whether A belongs to B, but one assumes A belongs to B, one might be begging the original (AC) question.
- If in the above it turns out that B = C or B < -> C, the question is begged.
- Syllogisms are question-begging when either their predicates are identical or their subjcets are identical.
- False cause
- ‘False cause’ describes a situation in which the conclusion would have been reached with or without the hypothesis on which it was based.
- This is most obvious when the premise is completely irrelevant to the conclusion.
- It can also happen when the premise is related to the conclusion, but the conclusion does not follow from it.
- Falsity of conclusion due to falsity in one or more premises
- A false argument depends on the first false statement in it, be this the conclusion or one of the premises.
- A false syllogism cannot be drawn from true premises (cf. A.I.2.a).
- A false argument depends on the first false statement in it, be this the conclusion or one of the premises.
- How to impede opposing arguments and conceal one’s own
- Don’t allow the person against whom you are arguing to use the same term twice in his premises. Be watchful: The middle term is necessary!
- Start from the outside: Assume we are set out to prove AF from B, C, D, and E. We need to prove AB and EF first, no BC. Our tricky interlocutor may attempt to start at the middle, and confound us!
- When refutation is possible
- A refutation is a syllogism which establishes the contradictory of the original conclusion.
- A refutation is possible only when at least one of the terms is affirmative.
- A refutation is possible only when at least one of the terms is universal.
- A refutation is a syllogism which establishes the contradictory of the original conclusion.
- Error
- It turns out that when you do these in practice, its easy to logically know one thing and think the opposite.
- A set of premises like this could arise: [Aab, Eac, Abd, Acd] which entails a contradiction.
- This is the case with particulars too: [180 degrees, triangle, some particular triangle]. While someone can know ABC holds, she is not per-se required to think that C exists.
- Criticism of Meno and the theory of learning by recollection: “It never happens that a man starts with foreknowledge of the particular, but along with the process of being led to see the general principle he receives a knowledge of the particulars, by an act (as it were) of recognition.”
- In seeing some particular and not recognizing the universal, one can be led to error as well. E.g.: One can think [all mules are sterile, this is a mule, this animal is with foal] by simply not recalling AB in the presence of some compelling circumstantial evidence of C.
- These points show the three senses of “to know”, which, we will note, dictate the three kinds of error above.
- To have knowledge of the universal
- To have knowledge of “proper to the matter at hand” (of the particular)
- To exercise such knowledge
- It turns out that when you do these in practice, its easy to logically know one thing and think the opposite.
- Petitio principii (Begging the question)
- Arguments akin to Syllogism
- Rules for conversion and for comparison of desirable and undesirable objects
- Whenever the extremes (A,C) are convertible, the middle (B) must be convertible with both.
- Let => equal “more preferable”. Given {x:{A,B},{C,D}} where A,B and C,D are sets of opposites:
- If A=>B and D=>C, then if {A,C}=>{B,D} -> A=>D
- Since they are opposites, A and B are in an equal relationship of preferability with inverse magnitude e.g.: (1,-1).
- If A=>B and D=>C, if A==D -> {A,C}=={B,D}
- Also the example he gives here is incredible (this being the Analytics): “To recieve affection is preferable in love to sexual intercourse. Love then is more dependent on friendship than on intercourse…”
- Induction
- Every belief comes either through syllogism or from induction (not only demonstrative and dialectical syllogisms thus far, but rhetorical syllogisms and other forms of persuasion).
- The syllogism that springs out of inducution, which works from a premise and a conclusion rather than two premises:
- [Long-lived, Bilelessness, Particular long-lived animals]: We know Aac, and Abc, so we can induce that Aab as long as C is wider in extension than B. His example is terrible. A more contemporarily comprehensible version is if we swap B for some Darwinian thing like “has been selected for in its ecosystem”.
- Also, this will cover syllogisms by probability: [Fire a cooked my hot dog, Fire b cooked my hot dog, Fires cook hot dogs.]
- Example
- Reasoning by example works when (in syllogism ABC) AB is proved by means of AD where D resembles C.
- E.g. ABCD:[Evil, making war against one’s neighbors, Athenians against Thebans, Thebans against Phocians]
- To prove AC, we appeal to [AB,BC] and we attempt to prove AB by appeal to AD.
- So, if deductive reasoning is reasoning from whole to part, and inductive reasoning is from part to whole, then reasoning by example is from part to part.
- Reasoning by example works when (in syllogism ABC) AB is proved by means of AD where D resembles C.
- Reduction
- Reduction involves attempting to clarify a term relationship by reducing one of the terms via another syllogism.
- E.g. [What can be taught, knowledge, justice]. AB is clear, but it is unclear that virtue is knowledge. But if BC is clearly equally or more true than AC, we have a reduction.
- So, assuming virtue is D, we can reduce the uncertain premise AC to a more certain premise set AD,CD: Aab, [Aad, Acd->Aac] -> Abc.
- Reduction involves attempting to clarify a term relationship by reducing one of the terms via another syllogism.
- Objection
- An objection is a like a premise contrary to a premise, with the exception that there are no universal/particular restrictions with regard to objections, even in, e.g., Barbara or Celarent. In other words you can validly offer a particular objection to a universal syllogism.
- In the attempt to raise an objection, one starts from premises which will result in a contrary conclusion.
- This will not work in the second figure, which cannot produce an affirmative conclusion.
- Enthymeme
- Enthymeme is a syllogism which requires an unstated assumption to be true for the premises to lead to the conclusion.
- Universal enthymeme (irrefutable, first figure): [To be with child, To have milk, A lactating woman]: AC,BC->AB.
- Particular enthymeme (refutable third figure): [To be with child, To be pale, A pale woman]: AC,BC->AB.
- Recall that enthymeme is not refutable in the second figure.
- The middle term (B) of an enthymeme may be called an index.
- Arguments derived from the middle term are those in the first figure, and are most generally accepted to be true.
- The extreme terms (A,C) are signs.
- It is possible to infer character from features, if we assume that (1) body and soul are changed together by natural affections, and (2) for each change there is a corresponding sign.
- E.g. Lions have courage, Lions have large extremities, Large extremities are signs of courage –> Tigers have large extremities…etc.
- An enthymeme of this type would require that, e.g. all and only courageous animals have large extremities.
- Enthymeme is a syllogism which requires an unstated assumption to be true for the premises to lead to the conclusion.
- Rules for conversion and for comparison of desirable and undesirable objects
- Properties
| Tags: | Aristotle, Logic, Outlines, Philosophy, Syllogism |
Save This Page