Silogismong pangkategorya: Pagkakaiba sa mga binago

Mula sa Wikipedia, ang malayang ensiklopedya
Content deleted Content added
Ludimer (usapan | ambag)
No edit summary
(Walang pagkakaiba)

Pagbabago noong 05:51, 27 Disyembre 2005

A categorical syllogism is a deductive inference in which all the premises are categorical propositions.

Example:

All life has value.
Even a murderer is a living thing.
Therefore even a murderer has value.

The first two propositions are called the premises. If the syllogism is valid, the premises logically imply the last proposition, called the conclusion. The truth of the conclusion is established by the truth of the premises and the relationship between them: the middle term must be distributed at least once in the premises, forming a connection between the subject and predicate in the conclusion.

Note that a categorical syllogism can be valid but the conclusion can still be false if either of the premises is false. The above syllogism is valid, but some might disagree with the conclusion because they disagree with either or both of the premises. Much of the value of explicitly spelling out one's reasoning in the form of a categorical syllogism is to identify what kind of connection leads you to your conclusion, or leads someone to an opposing conclusion. Then you can understand your ideas or your disagreement more clearly, and see where some more fundamental belief might be in error or might have greater importance than you were aware of.

Mood and figure

The mood of a categorical syllogism is the arrangement of its propositions according to quantity and quality (see categorical proposition). In this categorical syllogism:

All A is B
All C is A
Therefore, all C is B

the mood would be AAA, seeing that all propositions are universal affirmative. Next to be discussed is the figure of a categorical syllogism. However, in order to comprehend the figure, one must be able to identify the three different types of terms: major term, minor term, and the middle term. The term occurring as the predicate of the conclusion is the major term. In the aforementioned syllogism B is the major term. The minor term is the term that occurs as the subject of the conclusion; C is the minor term. Finally, by process of elimination, it can be deduced that the middle term is the term which does not occur in the conclusion, but instead once in each premise. Accordingly, A is the middle term. The figure of a categorical syllogism can be known by identifying the four possible arrangements of the middle term. The figures are represented numerically 1-4

  • 1 the middle term occupies the subject of the first premise and the predicate of the second premise
  • 2 the middle term occupies the predicate of both the first premise and second premise
  • 3 the middle term occupies the subject of both the first premise and second premise
  • 4 the middle term occupies the predicate of the first premise and the subject of the second premise

As such, the appropriate mood and figure of the aforementioned categorical syllogism is AAA-1. The combination of mood and figure is known as form.

Validity

It would be rather tedious to ponder the validity of various categorical syllogisms. Luckily, people have already done this and as a result they have devised three alternative methods of finding validity. The first is to memorize the various forms. Here are a few of the fifteen valid forms:

  • AAA-1
  • AEE-4
  • AEE-2
  • OAO-3
  • EIO-1

You can obtain the remaining valid forms via the other methods. One method is to construct a Venn diagram. Since there are three terms, a Venn diagram will require three overlapping circles which represent each class. First, construct a circle for the major term. Adjacent to the circle for the major term will be an overlapping circle for the minor term. Beneath those two will be the circle for the middle term. It should overlap at three places: the major term, the minor term and the place at which the major term and minor term overlap. If the syllogism is valid it would necessitate the truth of the conclusion by diagramming the premises. Never diagram the conclusion, for the conclusion must be inferred from the premises. Always diagram the universal propositions first. This is accomplished by shading the areas in which one class does not have membership in the other class. In other words, shaded is equated with non-membership. So in the premise All A is B shade in all areas in which A does not over-lap with B, including where A overlaps with C. Then repeat the same procedure for the second premise. From those two premises we can infer that all members in the class of C also have membership in the class of B. However, we can not infer that all members of the class of B have membership in the class of C.

As another example of this method, consider a syllogism of the form EIO-1. Let its first premise be "No B is an A", its second premise be "Some Cs are Bs" and its conclusion be "Some Cs are not As." This syllogism's major term is A; its minor term is C, and its middle term is B. The first premise is shown on the diagram by shading the intersection A ∩ B. The second premise cannot be represented by shading any area. Instead, we may use the ∃ (existence) symbol in the non-shaded portion of the intersection B ∩ C in order to signify that "Some Cs are Bs." (N.B. Shaded areas and existentially quantified areas are mutually exclusive.) Then, since this existence symbol lies within C but outside of A, then it is correct to conclude that "There exist some Cs which are not As."

EIO-1

The last method is to memorize six rules using the information presented thus far. While Venn diagrams are good tools for illustrative purposes, it may be preferable for some to test validity with the following rules:

  • As noted before, categorical syllogisms must contain exactly three terms, no more, no less (cp. fallacy of four terms). As a cautionary note, beware that synonyms and antonyms can create the illusion of invalidity, but can sometimes be rectified by substituting the interexchangeable terms for one of choice.
  • If either premise is negative, then the conclusion must be negative (cp. affirmative conclusion from a negative premise).
  • Both premises cannot be negative (cp. fallacy of exclusive premises).
  • Any term distributed in the conclusion must be distributed in either premise (Distribution of terms - using only this system it's soon possible to determinate if a syllogism is valid or invalid.
  • The middle term must be distributed once and only once (cp. fallacy of the undistributed middle).
  • You cannot draw a particular conclusion with two universal premises (cp. existential fallacy).

List of syllogisms

The following is a list of fourteen syllogisms whose names were given to them during the middle ages, but which are all based on Aristotle's Analytics. For the names, see term logic.


Larawan 1

  • Barbara

Bawat B ay A.
Bawat K ay B.
∴ Bawat K ay A.

  • Celarent

Walang B na A.
Bawat K ay B.
∴ Walang K na A.

  • Darii

Bawat B ay isang A.
Ang ilang K ay B.
∴ ang ilang K ay A.

  • Ferio

Walang B na A.
Ang ilang K ay B.
∴ ang ilang K ay hindi A.

Larawan 2

  • Cesare

Walang B na A.
Bawat K ay A.
∴ Walang K na B.

  • Camestres

Bawat B ay A.
Walang K na A.
∴ Walang K na B.

  • Festino

Walang B na A.
Ang ilang K ay A.
∴ ang ilang K ay hindi B.

  • Baroco

Bawat B ay A.
Ang ilang K ay hindi A.
∴ ang ilang K ay hindi B.

Larawan 3

  • Darapti

Bawat K ay isang n A.
Bawat K ay B.
∴ ang ilang B ay A.
(Ang anyong ito ay ipinapalagay na merong ilang K na matatagpuan.)

  • Datisi

Bawat K ay A.
Ang ilang K ay B.
∴ ang ilang B ay A.

  • Disamis

Ang ilang Cs ay A.
Bawat K ay B.
∴ ang ilang B ay A.

  • Felapton

Walang K na A.
Bawat K ay B.
∴ ang ilang Bs ay hindi A.
(Ang anyong ito ay ipinapalagay na merong ilang K na matatagpuan.)

  • Ferison

Walang K na A.
Ang ilang K ay B.
∴ ang ilang B ay hindi A.

  • Bocardo

Ang ilang K ay hindi A.
Bawat K ay B.
∴ ang ilang B ay hindi A.


Halimbawa

A: Ang lahat ng kabayo ay mabilis tumakbo. (pangkalahatang pagpapatibay)
E: Walang kabayo na mabagal tumakbo. (pambahaging pagpapatibay)
I: Ilan sa mga kabayo ay maliit. (pangkalahatang pagtanggi)
O: Ilan sa mga kabayo ay hindi maliit. (pambahaging pagtanggi)

Tingnan din


Iba pang anyo ng silogismo: silogismong hipotetikal, silogismong may-kapalitan.

Kawing Panlabas