Traditional Square of Opposition: Categorical Logic

Looking for affordable accommodations at Panglao Island, Bohol? Experience the charm of Residence 3 at Belle’s Residences. This inviting space offers a perfect mix of comfort and convenience, located just minutes from Panglao’s pristine beaches.
 
For inquiries, visit us:

Facebook Page: Belle’s Residences – Panglao Vacation Homes

Website: Belle’s Residences – Panglao

BOOK NOW VIA AIRBNB

These notes discuss in detail the nature and dynamics of the traditional square of opposition in categorical logic.

Two categorical propositions stated in standard form having the same subject and predicate terms may differ in either quantity and quality or both. The term “opposition” is used by logicians to illustrate these differences. However, “opposition” should not be understood as “disagreement” in ordinary language. For example, given two propositions having the same quality but different in quantity, such as “All students are intelligent” and “Some students are intelligent”, the ideas they express do not disagree; they are only opposed.

The relationship of opposing propositions can be schematically presented by placing them on different angles of a square. Please see the illustration below.

Contradictories

Contradictories are the relationship between statements opposing both quality and quantity, that is, 

  1. Universal affirmative (A) and particular negative (O) propositions (A-O), and 
  2. Universal negative (E) and particular affirmative (I) propositions (E-I). 

Their relationship indicates that one member of each pair is denying the counterpart member of the other, and vice versa. So, whatever, the truth value of one proposition, the truth value of the other is automatically its opposite. Hence, contradictories cannot be both true or false at the same time.

Contraries

The relationship between universal affirmative (A) and universal negative (E) propositions are called contraries. They cannot be both true though both can be false at the same time. Thus, to know that one is true, the truth value of its contrary must be false. But to know that either one is false, it does not always follow that its counterpart is also false though that is a possibility; but the other possibility is that it could be true. It means, therefore, that the truth value of its contrary is undetermined.

Subcontraries

Subcontrary is the relationship between two particular propositions opposing in quality. Thus, this is a relationship between particular affirmative (I) and particular negative (O) propositions. Subcontraries cannot be both false though both can be true at the same time. Know that either one is false allows us to infer its subcontrary as true. But knowing that either one as true does not automatically suggest the falsity of its subcontrary, though again that is a possibility. This means that it is undetermined.

Subalternation

The relationship between propositions sharing in quality but not in quantity is called subalternation. Thus, subalternation is a relation between 

  1. Universal affirmative (A) and particular affirmative (I) propositions, and 
  2. Universal negative (E) and particular negative (O) propositions. 

Universal propositions are called superaltern, while particular propositions are called subaltern. If the superaltern is true, its subaltern is true; but if the superaltern is false, the subaltern is undetermined. On the other hand, if the subaltern is false, the superaltern is false; but if the subaltern is true, the superaltern is undetermined.

Exercises

Instruction: Using the truth value of the given referent, determine the truth value of the other statement.

  1. If A is true, what are the truth values of E, I, and O?
  2. If E is true, what are the truth values of A, I, and O?
  3. If I is true, what are the truth values of A, E, and O?
  4. If O is true, what are the truth values of A, E, and I?
  5. If A is false, what are the truth values of E, I, and O?
  6. If E is false, what are the truth values of A, I, and O?
  7. If I is false, what are the truth values of A, E, and O?
  8. If O is false, what are the truth values of A, E, and I?

Exercises

Instruction: Using the Square of Opposition, determine whether the arguments below are valid or invalid.

  1. All successful executives are intelligent people. So, it is false that some successful executives are not intelligent.
  1. Some Sillimanians are Cebuanos. So, it is true that some Sillimanians are not Cebuanos.

3) No metals are conductors. So, it is true that some metal are conductors.

4) It is not the case that some martyrs are not saints. So, it is false that all martyrs are saints.

5) It is false that no wrestlers are weaklings. So, all wrestlers are weaklings.

6) Some priests are not faithful to their vows. So, all priests are faithful to their vows.

7) No priests are faithful to their vows. So, it is false that some priests are not faithful to their vows.

8) Some soldiers are homosexuals. So, it is false that some soldiers are not homosexuals.

9) Some Sillimanians are not activists. So, it is false that no Sillimanians are activists.

10) It is false that all geniuses are abnormal. So, it is false that some geniuses are abnormal.

Note: Please email  learnphilosophy@philonotes.com for the answers.

Square of Opposition: Categorical Logic

Looking for affordable accommodations at Panglao Island, Bohol? Experience the charm of Residence 3 at Belle’s Residences. This inviting space offers a perfect mix of comfort and convenience, located just minutes from Panglao’s pristine beaches.
 
For inquiries, visit us:

Facebook Page: Belle’s Residences – Panglao Vacation Homes

Website: Belle’s Residences – Panglao

BOOK NOW VIA AIRBNB

In my other notes on terms and propositions used in categorical logic, we learned that there are four (4) types of categorical propositions, namely: 

  1. Universal affirmative (A), 
  2. Universal negative (E), 
  3. Particular affirmative (I), and 
  4. Particular negative (O). 

Now, the relationship between and among these four types of categorical propositions is what logicians call the “square of opposition”.

There are four types of relations in the square of opposition, namely: 

1) Contrary, 

2) Subcontrary, 

3) Subalternation, and 

4) Contradiction. 

Please see the two models of a square of opposition below.

Square of Opposition

Contrary

Contrary is the relationship between universal affirmative (A) and universal negative (E) propositions. Hence, there is only one pair in contrary (that is, A-E), and the pair differs only in quality. As we can see, both are universal propositions, but one is affirmative and the other negative.

Example 1:

All philosophers are deep thinkers. (A)
No philosophers are deep thinkers. (E)

Example 2:

No pastors are corrupt. (E)
All pastors are corrupt. (A)

Rules in Contrary: If one of the contraries is true, then the other is false. But if one is false, then the other is doubtful, that is, its truth-value cannot be determined; this is because contraries cannot be both true but can be both false. Let us consider the examples above and assign truth-value to them.

If we assume that the proposition “All philosophers are deep thinkers” is true, then obviously its contrary “No philosophers are deep thinkers” is absolutely false. Of course, if it is already assumed that all philosophers are indeed deep thinkers, then it is impossible for philosophers to be not deep thinkers.

However, if we assume that the proposition “No pastors are corrupt” is false, then we cannot absolutely say that its contrary “All pastors are corrupt” is true. For sure, it’s possible for the contrary to be either true or false. Again, since we cannot have an absolute truth-value to the contrary of the proposition “No pastors are corrupt”, then its truth-value is doubtful.


Subcontrary

Subcontrary is the relationship between particular affirmative (I) and particular negative (O) propositions. Hence, there is only one pair in subcontrary (that is, I-O). And as we can see in the image of a square of opposition above, subcontraries differ only in quality.

Example 1:

Some politicians are women. (I)
Some politicians are not women. (O)

Example 2:

Some mangoes in the basket are not ripe. (O)
Some mangoes in the basket are ripe. (I)

Rules in subcontrary: If one of the subcontraries is false, then the other is true; and if one is true, the other is doubtful. This is because subcontraries cannot be both false, but can be both true. Let us consider the examples above and assign truth-value to them.

If we assume that the proposition “Some politicians are women” is false, then its subcontrary “Some politicians are not women” is absolutely true. Of course, if it is not true (therefore false) that some of the politicians are women, then it is absolutely true that some of the politicians are not women.

However, if we assume that the proposition “Some mangoes in the basket are not ripe” is true, then its subcontrary “Some mangoes in the basket are ripe” is doubtful or cannot be absolutely determined; in other words, it can be true or it can be false. Consider this: Imagine we are facing a basket of mangoes. Now, suppose we see that all the mangoes in the side of the basket facing us are not ripe, then the proposition “Some mangoes in the basket are not ripe” is true. However, we cannot be certain about the truth-value (therefore doubtful) of the proposition “Some mangoes in the basket are ripe”. This is because we see only one side of the basket that is full of mangoes. For sure, it is possible that the rest of the mangoes in the basket are not ripe (therefore, “Some mangoes in the basket are ripe” is false) or there is at least one mango on the other side or in the middle of the basket (that we do not see because we are just facing one side of the basket that contains not ripe mangoes) that is ripe (hence, “Some mangoes in the basket are ripe” is true).


Subalternation

Subalternation is the relation between universal and particular propositions having the same quality. Hence, there are two pairs of subalternation, namely, universal affirmative (A) to particular affirmative (I) propositions, and universal negative (E) and particular negative (O) propositions.

Example 1:

All jasmine flowers are white. (A)
Some jasmine flowers are white. (I)

Example 2:

Some students are brilliant. (I)
All students are brilliant. (A)

Example 3:

No teachers are lazy. (E)
Some teachers are not lazy. (O)

Example 4:

Some fruits are not delicious. (O)
No fruits are delicious. (E)

Rules in subalternation: If the universal is true, then the particular is true. If the universal is false, then the particular is doubtful. If the particular is true, then the universal is doubtful. And if the particular is false, then the universal is false. Let us consider the examples above and assign truth-value to them.

If we assume that the proposition “All jasmine flowers are white” is true, then its subaltern “Some jasmine flowers are white” is absolutely true. As we can see, the truth of the universal affects the truth of the particular. Thus, if it is true that all jasmine flowers are white, then it is impossible for at least one of the jasmine flowers to be not white; hence, “Some jasmine flowers are white” is absolutely true.

If we assume that the proposition “No teachers are lazy” is false, then its subaltern “Some teachers are not lazy” is doubtful in the sense that it can either be true or false.

If we assume that the proposition “Some fruits are not delicious” is true, then its superaltern “No fruits are delicious” is doubtful because it can either be true or false, that is, it is possible that all fruits are not delicious is true and it is also possible that all fruits are not delicious is false.

If we assume that the proposition “Some fruits are not delicious” is false, then its superaltern “No fruits are delicious” must be false. As we can see, the falsity of the particular affects the falsity of the universal. Indeed, if the particular is false, then it is impossible for the universal to be true; it should be false.


Contradiction

A contradiction is a relation between universal and particular propositions having different quality. Hence, there are two pairs of contradiction, namely, universal affirmative (A) and particular negative (O) propositions, and universal negative (E) and particular affirmative (I) propositions.

Example 1:

All men are mortal. (A)
Some men are not mortal. (O)

Example 2:

No men are mortal. (E)
Some men are mortal. (I)

Example 3:

Some drivers are sweet lovers. (I)
No drivers are sweet lovers. (E)

Example 4: 

Some students are not intelligent. (O)
All students are intelligent. (A)

Rule in contradiction: One member of each pair is a denial of the other. In other words, if the universal is true, then particular is false; and if the particular is false, then the universal is true. Let us consider some of the examples above and assign truth-value to them.

If we assume that the proposition “All men are mortal” is true, then its contradictory “Some men are not mortal” is absolutely false. Of course, obviously, if it is assumed that all men are mortal, then it is impossible for at least one man to be immortal.

If we assume that the proposition “Some students are not intelligent” is false, then its contradictory “All students are intelligent” is absolutely true. Of course, the first proposition says that there is not at least one student that is not intelligent; hence, we can logically conclude that all students are intelligent.

Venn Diagram and Validity of Arguments

Another method of symbolizing categorical propositions is the use of the Venn diagram.

John Venn, who introduced the method (thus the name Venn Diagram) used two overlapping circles to represent the relationship between two classes. Consider the diagram below.

venn diagram

The shaded portion represents a class that has no members.

venn diagram

The area with an “X” signifies that the class has at least one member.

venn diagram
venn diagram

is read as “S but not P” and this represents the class of things that are part of S but are not part of P

venn diagram

is read as “not S but P” and this represents the class of things that are part of P but are not part of S.

venn diagram

is read as “S but P” and this represents the class of things that are both parts of S and P.

The diagrams below are used to represent the four standard types of categorical propositions.

venn diagram

The shaded area of the Venn diagram above represents a class that has no members. In the Venn diagram for a universal affirmative (A) proposition, the area “S but not P” is shaded to indicate that all members of S are members of P. Thus, we say, “All S are P”.

venn diagram

The shaded area of the Venn diagram above represents a class that has no members. In the Venn diagram for a universal negative proposition (E), the area SP is shaded to indicate that this class has no members. Thus, we say, “No S are P”.

venn diagram

A particular affirmative (I) proposition asserts that there is at least one member of S that is a member of P. This is diagrammed by placing an “X” in the area SP, which is common to the two classes. Thus, in the diagram above, we place an “X” in the area SP.

venn diagram

A particular negative (O) proposition asserts that there is at least one member of S that is not a member of P. Thus, in the diagram above, we place the “X” on the area “S but not P” to indicate that indeed there is at least one member of S that is not a member of P.

Venn Diagram and Existential Import

In traditional or Aristotelian logic, one assumes that universal affirmative (A) and universal negative (E) propositions have existential import. Thus, in the example “All angels are holy”, one assumes that there are angels and that all of them are holy. However, in applying the Venn diagram, one does not make this assumption. In the Venn diagram, all angels are said to be holy only if there are indeed angels. But the Venn diagram for a universal affirmative (A) proposition does not contain an area in which there is a symbol to show that there is an angel. Hence, the propositions “All angels are holy” or “No angels are holy” are non-existential propositions. In the first place, there are no angels in reality. The Venn diagram below will demonstrate this point.

venn diagram

As we can see, both application of traditional rules and use of the Venn diagram presuppose that only particular affirmative (I) and particular negative (O) propositions have existential import. Thus, a Venn diagram for the particular affirmative (I) proposition “Some angels are holy” contains an “X” to show that there is at least one angel that is holy. Please see the diagram below.

venn diagram

Venn Diagram and Test of Validity

A Venn diagram can be used to show the validity of categorical syllogisms. Three intersecting circles are needed to diagram a categorical syllogism, one circle for each class. The following rules will be observed in testing the validity of syllogism using a Venn diagram:

  1. The universal premise should be diagrammed first if the argument also contains a particular premise;
  2. The letter “X” should be placed on the line dissecting an area if the whole area is so designated in the premise; 
  3. Only the premises should be diagrammed; and 
  4. If the conclusion is self-evident in the diagram, then the argument or syllogism is valid.

Let us consider the example below, which is already in its standard form.

Example 1:

venn diagram

How do we determine the validity of the syllogism above using a Venn diagram?

First, we need to draw three intersecting circles (that is, circles for S, P, and M) and then number the areas by starting at the center, and then clockwise. Please see the Venn diagram of this syllogism below.

venn diagram

Now that we have drawn three intersecting circles, each for S, P, and M, our next task is to diagram the syllogism above. 

Let us start with the first premise, that is, “All M are P”. It must be noted that since the premise talks about the circles for M and P only, so we will imagine that the circle for S does not exist; hence, we will diagram M and P only. Now, since the premise says “All M are P”,  that is, all members of M are members of P, then we will shade areas 5 and 6 to show that all members of M, which are areas 1 and 4, are part of P. The Venn diagram of the syllogism above now looks like this:

venn diagram

After we diagrammed the first premise, let us proceed to diagram the second premise, which reads “All S are M”. This time, the premise talks about S and M only, so we will imagine that the circle for P does not exist. Now, since the premise says “All S are M”, that is, all members of S are members of M, then we will shade areas 7 and 2 to show that indeed all members of S, which is area 1, are part of M. The diagram now looks like this:

venn diagram

Since the Venn diagram of the above syllogism is now complete, let us proceed to analyze the diagram to determine whether the syllogism is valid or invalid. As rule #3 says, we diagram only the premises; hence, we do not diagram the conclusion. And as rule #4 says, the argument or syllogism is valid if the conclusion is self-evident in the Venn diagram. 

Now, the conclusion says “All S are P”. As we can see in the Venn diagram of the syllogism above, the conclusion “All S are P” is perfectly diagrammed, that is, it is self-evident. In fact, since areas 2, 6, and 7 are shaded, then they do not exist anymore. What is left now of the class S is area 1, which all belongs to P. Thus, the above syllogism is valid.

Let us consider another example.

Example 2:

venn diagram

Let us draw three intersecting circles for this syllogism, each for S, M, and P, and then number the areas by starting at the center, and then clockwise. As rule #1 says, we will diagram first the universal premise if the syllogism also contains a particular premise. Since the first premise in the syllogism above is particular, while the second premise is universal, then we will diagram first the second premise, that is, “All M are S”.

venn diagram

The second premise says “All M are S”, so we will shade areas 4 and 5 to show that all members of M, which are areas 1 and 6, are part of S. The Venn diagram of the syllogism above will now look like this:

venn diagram

Let us proceed to diagram the second premise, which says “Some M are P”. Since this is a particular proposition, then we will not use the shading method; instead, we will place an “X” on the designated area. Since the premise says “Some M are P”, and since area 4 is already shaded, then it does not exist anymore. Thus, we will place the “X” on area 1 to show that indeed there is at least one member of M that is a member of P. The Venn diagram of the syllogism above now looks like this:

venn diagram

The Venn diagram of the syllogism above is now complete. Let us proceed to determine the validity of this syllogism.

Again, rule #3 says, we diagram only the premises; hence, we do not diagram the conclusion. And as rule #4 says, the argument or syllogism is valid if the conclusion is self-evident in the Venn diagram. Now, the conclusion of the syllogism above says “Some S are P”, and if we look at the Venn diagram above, there is an “X” on area 1, which indicates that there is at least one member of S that is a member of P. Hence, the conclusion which reads “Some S are P” is perfectly diagrammed in the Venn diagram above; indeed, the conclusion is self-evident. Therefore, the above syllogism is valid.

Let us consider another example.

Example 3:

venn diagram

Let us draw three intersecting circles for this syllogism, each for S, M, and P, and then number the areas by starting at the center, and then clockwise. 

venn diagram

As we already know, we will diagram the universal premise first, which is “All S are M”. Thus, the Venn diagram of the syllogism above now looks like this:

venn diagram

Then let us diagram the second premise, which says “Some M are P”. Since areas 1 and 4 are so designated in the premise, then we will place the “X” on the line that dissects areas 1 and 4 to show that the whole area is so designated. Hence, the Venn diagram of the syllogism above now looks like this:

venn diagram

Since the “X” is on the line that dissects areas 1 and 4, this gives us an inconclusive reading of the conclusion. For this reason, the above syllogism  is invalid. Indeed, the conclusion is not self-evident; it is not perfectly diagrammed.

Let us analyze one more example:

Example 4:

venn diagram

Let us draw three intersecting circles for this syllogism, each for S, M, and P, and then number the areas by starting at the center, and then clockwise.

venn diagram

Let us first diagram the first premise, which reads “All M are P. The Venn diagram of the above syllogism now looks like this:

venn diagram

Then let us diagram the second premise, which reads “No S are M”. The Venn diagram of the above syllogism now looks like this:

The conclusion of the above syllogism, which reads “No S are P”, asserts that no members of S should be a member of P. But area 2 of the Venn diagram above, which is also an area of SP, is not shaded. Thus, the Venn diagram above does not perfectly diagram the conclusion; indeed, the conclusion is not self-evident. Therefore, the above syllogism is invalid.

Antilogism and the Validity of Categorical Syllogisms

Antilogism is another method to test the validity of categorical syllogisms. This test of validity is a type of indirect proof in which the conclusion of the syllogism to be tested is replaced by its contradictory. The antilogism of a valid syllogism must meet the three requirements, namely:

  1. There must be two universal propositions and one particular proposition, or two equations and one inequation.
  2. The two universal propositions (two equations) must have a common term between them which is once negative and once affirmative.
  3. The other two terms must appear unchanged in the particular proposition (inequation).

Let us consider the example below.

Antilogism and the Validity of Categorical Syllogisms

Antilogism is another method to test the validity of categorical syllogisms. This test of validity is a type of indirect proof in which the conclusion of the syllogism to be tested is replaced by its contradictory. The antilogism of a valid syllogism must meet the three requirements, namely:

  1. There must be two universal propositions and one particular proposition, or two equations and one inequation.
  2. The two universal propositions (two equations) must have a common term between them which is once negative and once affirmative.
  3. The other two terms must appear unchanged in the particular proposition (inequation).

Let us consider the example below.

Example 1:

All men are mortal.
All Filipinos are men.
So, all Filipinos are mortal.

How do we determine the validity of the syllogism above using the antilogism method?

First, let us symbolize the syllogism in the algebraic notation. Let M stand for men and F for Filipinos. The algebraic notation of the above syllogism is as follows:

antilogism

Next, let us construct its antilogism by replacing the conclusion with its contradictory. The contradictory of a proposition in algebraic form is easily formulated by changing an inequality (particular) to an equality (universal), or an equality (universal) to an inequality (particular). Thus, the antilogism of the example above is:

antilogism

Now, let us check to see if the antilogism meets the three requirements  mentioned above. As we can see:

  1. There are three equations, namely: propositions (that is, premises) 1 and 2, and 1 inequation (that is, the conclusion).
  2. There is a common term between the equations (universal propositions), which is once negative and once affirmative, namely: antilogism
  3. The other two terms are unchanged in the inequation (conclusion), namely:antilogism

Hence, the above syllogism is valid because it meets the three requirements for antilogism of valid syllogisms.

Let us consider another example.

Example 2:

All professionals are former amateurs.
But some former amateurs are wealthy persons.
Therefore, some wealthy persons are professionals.

antilogism

Let us check whether the syllogism is valid or invalid.

  1. The first requirement is met: the first premise and the conclusion are equalities, that is, universal propositions.
  2. The second requirement is also met: there is a common term between the equations (universal propositions) which is one negative and the other affirmative, namely:
antilogism

3. But the third requirement is not met: the other two terms in the equations (that is, universal propositions), namely

antilogism

are changed in the inequation (that is, particular proposition), namely: F and W.

Hence, the above syllogism is invalid because it does not meet the three requirements for the antilogism of a valid syllogism.

Practice Test

Determine the validity of the arguments or syllogisms below using the antilogism method.

Example 1:

All criminals are guilty of a felony.
But some politicians are guilty of a felony.
Therefore, some politicians are criminals.

Example 2:

Some drivers are traffic law violators.
Some government employees are drivers.
Therefore, some government employees are traffic law violators.

Example 3:

Nurses are sweet lovers.
But Kit is a nurse.
Therefore, Kit is a sweet lover.

Note: Please email  learnphilosophy@philonotes.com for the answers.

Arguments and Validity: Eight (8) Rules of Syllogism in Categorical Logic

Searching for budget-friendly accommodations at Panglao Island, Bohol? Discover Residence 2 at Belle’s Residences—a cozy retreat designed for comfort and relaxation. Conveniently located near Panglao’s stunning beaches, this residence offers modern amenities at an unbeatable value.
 
For inquiries, visit us:

Facebook Page: Belle’s Residences – Panglao Vacation Homes

Website: Belle’s Residences – Panglao

BOOK NOW VIA ARBNB

An argument consists of two or more propositions offered as evidence for another proposition. In logic and critical thinking, the propositions that are offered as evidence in the argument are called the premises, while the proposition for which the evidence is offered is called the conclusion. Thus, when one gives an argument, one is providing a set of premises as reasons for accepting his or her conclusion. It is important to note that when one gives an argument, one does not necessarily attack or criticize the other. In this way, an argument can also be viewed as a support of someone’s viewpoint.

Types of Arguments

Arguments can either be inductive or deductive. On the one hand, an inductive argument is one in which it is claimed that if the premises are true, then it is probable that the conclusion is true. Hence, even if all of the premises are true, inductive argument or reasoning allows the conclusion to be false. It is also important to note that inductive arguments go from the specific (or particular) to the general. In other words, inductive arguments make broad generalizations from specific observations. Consider the example below.

Example 1:

Ninety percent of the mongo seeds germinate in day 1.
And in day 2, ninety percent of the mongo seeds germinate.
Therefore, ninety percent of the mongo seeds germinate.

Based on the example above, we can also say that inductive arguments are based on observations or experiments.

Deductive arguments, on the other hand, is one in which it is claimed that if the premises are true, then the conclusion is necessarily true. And unlike inductive arguments, deductive arguments proceed from the general to the particular. Thus, a deductive argument or reasoning begins with a general statement or hypothesis and then “examines the possibilities to reach a specific, logical conclusion”. 

Let us consider the example below.

Example 2:

Anybody who kills a person is guilty of a felony.
Jim kills Jack.
Therefore, Jim is guilty of a felony.

Syllogisms

Syllogisms are arguments which consist of three propositions which are so related so that when the first two propositions (that is, premises) are posited as true the third proposition (that is, the conclusion) must also be true. In other words, a syllogism is an argument arranged in a specific manner in such a way that it contains a major premise, minor premise, and a conclusion. Consider the classic example of a categorical syllogism below.

Example 1:

All men are mortal.
Socrates is a man.
Therefore, Socrates is mortal.

How do we determine the major premise, minor premise, and the conclusion?

The major premise is the premise that contains the major term, while the minor premise is the premise that contains the minor term. The conclusion is the third proposition whose meaning and truth are implied in the premises.

How do we determine the major term, minor term, and the middle term?

The major term is the predicate of the conclusion, while the minor term is the subject of the conclusion. The middle term is the remaining term which does not (and cannot) appear in the conclusion.

If we look at the example above, then we know that the major term is “mortal” because it is the predicate of the conclusion and the minor term is “Socrates” because it is the subject of the conclusion. The middle term is “man” or “men” because it is the remaining term and which does not appear in the conclusion. As we can see in the example below, the major term is in red color, the minor term in blue, and the middle term in purple.

Rules of Syllogism

Now that we have presented the key concepts in arguments or syllogisms, let us proceed to the determination of their validity. Logicians have formulated eight (8) rules of syllogism, but of course they can be expanded to 10 or reduced to 6. But let us follow what logicians commonly used, that is, the 8 rules of syllogism. It must be noted that all of the 8 rules of syllogism must be met or satisfied for the argument or syllogism to be valid. If at least one of the 8 rules of syllogism is violated, then the argument or syllogism is invalid.

The 8 rules of syllogism are as follow:

  1. There should only be three terms in the syllogism, namely: the major term, the minor term, and the middle term. And the meaning of the middle term in the firs premise should not be changed in the second premise; otherwise, the syllogism will have 4 terms.
  2. The major and the minor terms should only be universal in the conclusion if they are universal in the premises. In other words, if the major and the minor terms are universal in the conclusion, then they must also be universal in the premises for the argument to be valid. Hence, if the major and minor terms are particular in the conclusion, then rule #2 is not applicable.
  3. The middle term must be universal at least once. Or, at least one of the middle terms must be universal.
  4. If the premises are affirmative, then the conclusion must be affirmative.
  5. If one premise is affirmative and the other negative, then the conclusion must be negative.
  6. The argument is invalid whenever the premises are both negative. This is because we cannot draw a valid conclusion from two negative premises.
  7. One premise at least must be universal.
  8. If one premise is particular, then the conclusion must be particular.

Now, let us apply these 8 rules of syllogism to the arguments below. Let us color the terms to avoid confusion. So, let us assign the color red for the major term, blue for the minor term, and purple for the middle term.

Rule #1 of the 8 rules of syllogismThere should only be three terms in the syllogism, namely: the major term, the minor term, and the middle term.

If we analyze the syllogism above, it would appear that the argument is invalid because it violates rule #1. As we can see, the syllogism above contains 4 terms because the meaning of the middle term “stars” in the first premise is changed in the second premise. The term “stars” in the first premise refers to astronomical bodies or objects, while the term “star” in the second premise refers to celebrities.

Let us consider another example.

As we can see, the syllogism above contains only three terms. Hence, this syllogism is valid in the context of rule #1.

Rule #2 of the 8 rules of syllogism: The major and the minor terms should only be universal in the conclusion if they are universal in the premises.

As we can see, the minor term “terrorist” in the conclusion is universal because of the universal signifier “no”. And since the minor term “terrorist” in the second premise is universal because of the universal signifier “no”, then the syllogism above does not violate rule #2 in the context of the minor term. However, the major term “brilliant” in the conclusion is universal because the proposition is negative; as we already know, the predicate terms of all negative propositions are universal. But if we look at the major term in the first premise, it is particular because, as we already know, the predicate terms of all affirmative propositions are particular. In the end, the syllogism above is invalid because it violates rule #2. This is what logicians call the “fallacy of illicit major”.

Let us consider another example.

Because the major term “creative” in the conclusion is particular, as it is a predicate term of an affirmative proposition, then it does not violate rule #2 because the rule is not applicable here. As we can see, rule #2 is applicable only to universal minor and major terms. But if we check the minor term “weird people” in the conclusion, we learned that it is universal because of the universal signifier all. Since the minor term “weird people” is universal in the conclusion, then it must also be universal in the second premise for this syllogism to be valid. If we look at the minor term in the second premise, it is particular because it is a predicate term of an affirmative proposition. Therefore, in the end, the syllogism above is invalid because it violates rule #2. This is what logicians call the “fallacy of illicit minor”.

Let us consider a valid argument below in the context of rule #2 of the 8 rules of syllogism.

rules of syllogism

The syllogism above is valid in the context of rule #2 of the 8 rules of syllogism because rule #2 is not violated. As we can see, the minor term “Greg” in the conclusion is particular; hence, rule #2 is not applicable. Of course, if a rule is not applicable, then it cannot be violated; and if no rule or law is violated, then the argument is automatically valid. Now, if we look at the major term “liar” in the conclusion, it is universal because it is a predicate term of a negative proposition. But because the minor term “liar” is also universal in the first premise because, again, it is a predicate term of a negative proposition, then this argument satisfies rule #2.

Let us consider another valid argument in the context of rule #2 of the 8 rules of syllogism.

rules of syllogism

Both the minor and major terms in the conclusion of the syllogism above are particular. For this reason, rule #2 of the 8 rules of syllogism is not applicable. Hence, the syllogism is automatically valid in the context of rule #2 of the 8 rules of syllogism.

Rule #3 of the 8 rules of syllogismThe middle term must be universal at least once.

rules of syllogism

The syllogism above is valid in the context of rule #3 of the 8 rules of syllogism because the middle term “beans” in the first premise is universal. In fact, rule #3 of the 8 rules of syllogism asks that at least one of the middle terms must be universal.

Let us consider another example.

rules of syllogism

As we can see, both middle terms in the first and second premise are particular. But because rule #3 of the 8 rules of syllogism asks that at least one of the middle terms must be universal, then the syllogism above is invalid.

Rule #4 of the 8 rules of syllogismIf the premises are affirmative, then the conclusion must be affirmative.

rules of syllogism

The syllogism above is valid because it satisfies rule #4 of the 8 rules of syllogism. As we can see, both premises are affirmative and the conclusion is affirmative.

Let us consider another example.

The syllogism above is invalid because it does not satisfy rule #4 of the 8 rules of syllogism. As we can see, both premises are affirmative, but the conclusion is negative.

Rule #5 of the 8 rules of syllogismIf one premise is affirmative and the other negative, then the conclusion must be negative.

rules of syllogism

The syllogism above is valid in the context of rule #5 of the 8 rules of syllogism. As we can see, the first premise is affirmative, the second premise is negative, and the conclusion is negative.

rules of syllogism

The syllogism above is invalid in the context of rule #5 of the 8 rules of syllogism. As we can see, the first premise is affirmative, the second premise is negative, but the conclusion is affirmative. Hence, it violates rule #5 of the 8 rules of syllogism.

Rule #6 of the 8 rules of syllogismThe argument is invalid whenever the premises are both negative.

Obviously, the above syllogism is invalid because both premises are negative.

Rule #7 of the 8 rules of syllogismOne premise at least must be universal.

The above syllogism is valid in the context of rule #7 of the 8 rules of syllogism because it qualifies the rule. As we can see, the first premise is universal.

Rule #8 of the 8 rules of syllogismIf one premise is particular, then the conclusion must be particular.

The first premise of the above syllogism is particular, and the conclusion is particular too. Therefore, this syllogism is valid in the context of rule #8 of the 8 rules of syllogism.

Categorical Syllogism Exercises

Note: Answers will be provided upon request.

Practice Test I

From the list of possible conclusions provided, pick the one the makes the syllogism valid. Write only the letter on the space provided before each number.

_____ 1. All public properties are for common use. Some roads are public properties.

a. Ergo, all roads are for common use.
b. Ergo, some roads are for common use.
c. Ergo, some roads are not for common use.
d. Ergo, no roads are for common use.

_____2. No plunderers are dignified persons. Some politicians are plunderers.

a. Ergo, some dignified persons are not politicians.
b. Ergo, some politicians are dignified persons.
c. Ergo, some politicians are not dignified persons.
d. Ergo, some dignified persons are politicians.

_____3. No bird is a fish. Some fish are sharks.

a. Ergo, some sharks are not birds
b. Ergo, some birds are not sharks.
c. Ergo, some sharks are birds.
d. Ergo, some birds are sharks.

_____4. All government officials are worthy of respect. However, some policemen are government officials.

a. Ergo, some policemen are not worthy of respect.
b. Ergo, every policeman is worthy of respect.
c. Ergo, some policemen are worthy of respect.
d. Ergo, any policeman is not worthy of respect.

_____5. Every Russian born during the Cold War is a communist. Maria Sharapova is a Russian born during the Cold War.

a. Ergo, Maria Sharapova is a devout communist.
b. Ergo, Maria Sharapova is non-communist.
c. Ergo, Maria Sharapova is not a communist.
d. Ergo, Maria Sharapova is a communist.

Practice Test II

Items 6-10 are all invalid syllogisms. Determine which syllogistic rule or rules are violated. Write only the letter on the space provided before each number.

_____6. Some judges are biased. But no Comelec officials are biased. Therefore, no Comelec officials are judges.

a) #2, #7, and #8
b) #3
c) #2 and #8
d) #3 and #8

_____7. All lifeguards are life-savers. But all lifeguards are good swimmers. Therefore, all good swimmers are life-savers.

a) #2 and #3
b) #2
c) #3
d) #2 and #8

_____8. Some war veterans are heroes. But some heroes are traitors. Therefore, no traitors are war veterans.

a) #2, #3, #4, #7, and #8
b) #2, #3, #4, and #8
c) #2, #3, #4, and #7
d) #2, #3, #5, #7, and #8

_____9. Some comedians are amusing. But no serious persons are comedians. Therefore, no serious persons are amusing.

a) #2 and #3
b) #3 and #8
c) #2 and #5
d) #2 and #8

_____10. All sacrifices are rewarding. But some acts of cheating are rewarding. Therefore, all acts of cheating are sacrifices.

a) #2, #3, #4, and #8
b) #2, #3, and #8
c) #2, #3, #4, #7, and #8
d) #2, #3, #4 and #8

Note: Please email  learnphilosophy@philonotes.com for the answers.

Categorical Syllogism

categorical syllogism is a simple argument that contains only three categorical propositions, of which the first two are called premises and the third is called the conclusion. Any valid categorical syllogism contains three terms, namely: major term, minor term, and middle term, and each of them must appear exactly but not in the same proposition.

Example 1:

All Filipinos are Asians.
All Cebuanos are Filipinos.
Therefore, all Cebuanos are Asians.

The major term is defined as the predicate of the conclusion. In the example above, the major term is “Asians” because it is the predicate term of the conclusion.

The minor term is the subject term of the conclusion. In the example above, the minor term is “Cebuanos”.

The middle term is the term that occurs in the premises but not in the conclusion. Hence, in the example above, the middle term is “Filipinos”.

In any standard form of a categorical syllogism, the premise that contains the major term must be stated first, which is then called the major premise, followed by the minor premise, which contains the minor term, and then the conclusion.

Going back to the example above, “All Filipinos are Asians” is the premise that contains the major term “Asians”. The proposition “All Cebuanos are Filipinos” is the premise that contains the minor term; hence, it is the minor premise. The conclusion which contains the minor and major terms must be stated last. In short, in a standard form of a categorical syllogism, the order of the premise should be:

However, not all arguments are stated in their standard form. In some cases, the standard order of the terms is not followed, so the structure is hard to determine. Also, it could happen that the basic structure is concealed in a long paragraph so that not only that the structure is difficult to determine but also the validity itself. Logicians solved this problem this way: though the argument is not arranged in a standard form, it is still possible to determine its structure through the clues given by the logical indicators.

Premise indicators: For, Granted that, As indicated by, Since, As shown by, The facts are, Because, For the reason that, Assuming that, Inasmuch as, In view of, and the like.

Conclusion Indicators: Therefore, Thus, Leads to the belief that, Hence, In conclusion, It may be deduced that, So, Proves that, Implies that, Consequently, It follows that, Entails that, For this reason, Indicate that, Then, It is evident that, It must be that, and the like.

Now, if the statement starts with any of the indicators (either premise or conclusion indicators), then it means that the statement that follows is a premise or a conclusion.

Exercises

  1. Some preachers are people of unfailing vigor. No preachers are non-

intellectuals. Therefore, some intellectuals are persons of unfailing vigor.

  1. Some metals are rare and costly substances, but no welder’s materials are non-metals. Hence, some welder’s materials are rare and costly substances.
  2. Some oriental nations are non-belligerents. Since all belligerents are allies either of the United States or of the Soviet Union, and some oriental nations are not allies either of the united states of Soviet Union.
  3. Some non-drinkers are athletes, because no drinkers are persons in perfect physical condition, and some people in perfect physical condition are not non-athletes.
  4. All things inflammable are unsafe things, so all things that are safe are non-explosives, since all explosives are flammable things.
  5. All worldly goods are changeable things, for no wordly goods are things immaterial, and no material things are unchangeable things.
  6. All those who are neither members nor guests of members are those who are excluded; therefore, no conformists are either members or guests of members, for all those who are included are conformists.
  7. All mortals are imperfect beings, and no humans are immortal, whence it follows that all perfect beings are non-humans.
  8. All things are non-irritants; therefore no irritants are invisible objects, because all visible objects are absent things.
  9. All useful things are objects no more than six feet long, since all difficult things to store are useless things, and no objects are six feet long are easy things to store.

Categorical Statements in Traditional Logic

A categorical statement in categorical logic is a statement or proposition that asserts or denies something without qualification. It is a statement or proposition that is not hypothetical. Aristotle divided the categorical statement into two, namely, the subject class and the predicate class.

There are four interpretations in which these two classes can be related to one another. Only four types of propositions must be translated into one of these types, namely:

  1. Every member of one class is also a member of the other class;
  2. No member of one class is a member of another class;
  3. Some members of one class are also members of another class; and
  4. Some members of one class are not members of another class.

A standard way of writing these four types of propositions to illustrate their relationship is as follows:

  1. All men are mortal.
  2. No men are mortal.
  3. Some men are mortal.
  4. Some men are not mortal.

The four categorical statements or propositions above suggest the inclusion or exclusion of one class (subject class) in the other class (predicate class). If it affirms the inclusion of the subject class in the predicate class, it is called an affirmative statement. If it denies the inclusion of the subject class in the predicate class, it is called a negative statement. Furthermore, it the suggestion is total inclusion, it is a universal affirmative statement; if total exclusion, then it is a universal negative statement. If it means only partial inclusion, then it is called a particular affirmative statement; if partial exclusion, it is called a particular negative statement.

Thus, going back to the examples above, we can say that the first categorical statement is universal affirmative because it suggests the total inclusion of the subject class “men” in the predicate class “mortal”. The second example is universal negative because it suggests a total exclusion of the subject class “men” in the predicate class “mortal”. The third example is particular affirmative because it suggests partial inclusion of the subject class “men” in the predicate class “mortal”. And the last example is particular negative because it suggests a partial exclusion of the subject class “men” in the predicate class “mortal”.

Where letter S and P are used to represent the subject and the predicate terms respectively, the examples above can be schematically represented as follow:

It is customary to use the letters A and I to represent the universal and particular statements respectively, taken from the first two vowels of the Latin word Affirmo, which means “I affirm”. The letters E and O are used to represent the universal and particular negative statements respectively, presumed to come from the Latin word Nego, which means “I deny”.

Categorical Logic: Terms and Propositions

Searching for budget-friendly accommodations at Panglao Island, Bohol? Discover Residence 2 at Belle’s Residences—a cozy retreat designed for comfort and relaxation. Conveniently located near Panglao’s stunning beaches, this residence offers modern amenities at an unbeatable value.
 
For inquiries, visit us:

Facebook Page: Belle’s Residences – Panglao Vacation Homes

Website: Belle’s Residences – Panglao

BOOK NOW VIA ARBNB

As we may already know, our main goal in logic is to determine the validity of arguments. 

And in categorical logic, we will employ the Eight (8) Rules of Syllogisms for us to be able to determine the validity of an argument. But since the 8 rules of syllogisms talk about the quantity and quality of terms and propositions, then it is but logical enough to discuss the nature of terms and propositions before we delve into the discussion on the 8 rules of syllogisms. In what follows, I will discuss the nature of terms and propositions.

First of all, logicians define a term as an idea expressed in words either spoken or written. Of course, an idea is understood as the mental representation of something. Hence, when one says, for example, “a table”, then we have at term, that is, a “table”.

Classification of Terms

There are four (4) classifications of terms in terms of quantity, namely: singular, collective, particular, and universal.

A singular term is one that stands for only one definite object.

Examples:

1) Table

2) Peter

3) Tree

A collective term is one that is applicable to each and every member of a class taken as a whole but not to an individual taken singly.

Examples:

1) Orchestra

2) Platoon

3) Choir

A particular term is one that refers to an indefinite number of individuals or groups. Some signifiers of a particular term are: some, a number of, several, almost all, a few of, practically all, at least one, not all, and the like. Hence, if a term is signified by at least one of these signifiers, then we conclude that that term is a particular one.

Examples:

1) Some Asians

2) Almost all students

3) Several politicians

A universal term is one that is applicable to each and every member of a class. Some of the signifiers of a universal term are: no, all, each, every, and the like.

Examples:

1) All Asians

2) Every politician

3) No student

A proposition, on the other hand, is a judgment expressed in words either spoken or written. When we say a judgment, it refers to the mental act of affirming or denying something.

Example:

1) President Trump is a good president.

2) President Trump is not a good president.

The first example above is an act of affirmation because the copula (or linking verb) is does not contain a negation sign “not”. The second example is an act of negation because the copula (or linking verb) is contains a negation sign “not”.

Kinds of Propositions used in Logic

There are two types of propositions used in logic, namely, categorical and hypothetical propositions. On the one hand, a categorical proposition is one that expresses an unconditional judgment. For example, we may say “The Japanese people are hard-working.” According to logicians, this proposition is a categorical one because it does not pose any condition. On the other hand, a hypothetical proposition is one that expresses a conditional judgment. For example, we may say “If it rains today, then the road is wet.” Please note that in categorical logic we always use categorical propositions.

Elements of a Categorical Proposition

A categorical proposition has three elements, namely: Subject (S), Copula (C), and Predicate (P).

Example:

terms and propositions

Quantity of a Categorical Proposition

In terms of quantity, a categorical proposition can be classified into two, namely: 1) particular and 2) universal.

A particular proposition is one that contains a particular subject term.

Example:

  1. Some Asians are excellent basketball players.

A universal proposition is one that contains a universal subject term.

Example:

1) All men are mortal.

As we can see, it is the quantity of the subject that determines the quantity of the proposition. Thus, if the subject is particular, then the proposition is particular, and if the subject is universal, then the proposition is universal.

Now if the subject of the proposition does not contain a signifier, then the quantity of the proposition must be based on what the proposition denotes. Consider the example below:

Nuns are girls.

As we can see, the subject of the proposition does not contain a signifier. But if we analyze it, it would become clear that the proposition is universal. This is because there is not at least 1 nun that is not a girl. In other words, all nuns are girls. Let us consider another example:

Americans are rich.

Obviously, the example above denotes particularity because it’s not sound to assume that all Americans are rich. Of course, many Americans are rich, but reason tells us that not all of the Americans are rich. Hence, the above proposition can be translated as follows: “Some Americans are rich”.

Quality of a Categorical Proposition

Categorical propositions can be either affirmative or negative.

A proposition is affirmative if the copula of the proposition does not contain a negation sign “not”.

Example: 1) Some students are brilliant.

A proposition is negative if the copula of the proposition contains a negation sign “not”.

Example: 1) Some students are not brilliant.


Four Basic Types of Categorical Propositions

If we combine the quantity and quality of propositions, the result is the four (4) types of categorical propositions, namely: 1) Universal Affirmative, 2) Universal Negative, 3) Particular Affirmative, and 4) Particular Negative. Logicians use the letter “A” to represent a universal affirmative proposition, “E” for universal negative, “I” for particular affirmative, and “O” for particular negative. Consider the examples below:

Universal Affirmative (A)  : All men are mortal.

Universal Negative (E)      : No men are mortal.

Particular Affirmative (I)   : Some men are mortal.

Particular Negative (O)     : Some men are not mortal.

Distribution of Terms

In a universal proposition, the subject term is distributed, while in a particular proposition subject term is undistributed. And in a negative proposition, the predicate term is distributed while in an affirmative proposition the predicate term remains undistributed. In other words, the subject terms of all universal propositions are always universal, while the subject terms of all particular propositions are always particular. And the predicate terms of all affirmative propositions are always particular, while the predicate terms of all negative propositions are always universal.


Translating Categorical Propositions into their Standard Form:

To avoid confusion when we analyze the 8 rules of syllogisms, it is helpful to translate categorical propositions into their standard form. Below are the standard forms of an A, E, I, and O propositions.

A proposition  : All + subject + copula + predicate

E proposition   : No + subject + copula + predicate

I proposition    : Some + subject + copula + predicate

O proposition  : Some + subject + copula + not + predicate

Examples:

A: Every priest is religious.

Standard form:  All priests are

E: Every priest is not religious.

Standard form:  No priest is religious.

I: Almost all politicians are corrupt.

Standard form:  Some politicians are corrupt.

O: Several politicians are not corrupt.

Standard form:  Some politicians are not corrupt.

Notes in Categorical Logic

Terms, Judgments, and Propositions

Term: an idea expressed in words either spoken or written

Classification of Terms:

Singular : one that stands for only one definite object

  Examples: 
1) Table
2) Socrates
3) Tree

Collective : one that is applicable to each and every member of a class taken as a whole but not to an individual taken singly.

  Examples:

1) orchestra
2) platoon

Particular : one that refers to an indefinite number of individuals or groups. Some signifiers of a particular term: some, a number of, several, almostall, practically all, at least one, a few of, not all, and the like.

  Examples:

1) some Sillimanians
2) almost all students
3) several politicians

Universal : one that is applicable to each and every member of a class. Some signifiers of a universal term: No, All, Each, Every

  Examples:

1) All Sillimanians
2) Every politician

Judgment: the mental act of affirming of denying something.

Proposition: judgment expressed in words either spoken or written.

Example:

1) President Noynoy Aquino is a good president.
2) President Noynoy Aguino is not a good president.

Kinds of Propositions used in Logic

Categorical : a proposition that expresses an unconditional judgment.

  Example: 1) The Japanese people are hard-working. 

Hypothetical : a proposition that expresses a conditional judgment

  Example: 1) If it rains today, then the road is wet.

Elements of a Categorical Proposition

  • Subject (S)
  • Copula (C)
  • Predicate (P)

Quantity of a Categorical Proposition

Particular : one that contains a particular subject term. 

  Example: 1) Some Sillimanians are foreigners.

Universal : one that contains a universal subject term.

  Example: 1) All Filipinos are Asian.

Note: It is the quantity of the subject that determines the quantity of the proposition. Thus, if the subject is particular, then the proposition is particular; if the subject is universal, then the proposition is universal.

Note: If the subject of the proposition does not contain a signifier, the quantity of the proposition must be based on what the proposition denotes.

Quality of a Categorical Proposition

Affirmative : if the copula of the proposition does not contain a negation sign “not

  Example: 1) Some Sillimanians are brilliant.

Negative : if the copula of the proposition contains a negation sign “not

  Example: 1) Some Sillimanians are not brilliant.

Four Basic Types of Categorical Propositions

Universal Affirmative (A) : All men are mortal.

Universal Negative (E) : No men are mortal.

Particular Affirmative (I) : Some men are mortal.

Particular Negative (O) : Some men are not mortal.

Translating Categorical Propositions into their Standard Form:

Standard Forms:  

A proposition : All + subject + copula + predicate

E proposition : No + subject + copula + predicate

I proposition : Some + subject + copula + predicate

O proposition : Some + subject + copula + not + predicate

Examples:

  1. A:  Every priest is religious.

Standard form:  All priests are religious.

  1. E: Every priest is not religious.

Standard form:  No priest is religious.

  1. I: Almost all politicians are corrupt.

Standard form:  Some politicians are corrupt.

  1. O: Several politicians are not corrupt.

Standard form:  Some politicians are not corrupt.

  1. Nuns are girls.

Standard from: All nuns are girls.

  1. Cheaters are not trustworthy.

Standard from: No cheaters are trustworthy.

  1. Fruits are delicious.

Standard form: Some fruits are delicious.

  1. Flowers are not fragrant.

Standard form: Some flowers are not fragrant.

Square of Opposition

Contrary: A E; differ only in quality

Rules: If one of the contraries is true, the other is false.

If one is false, the other is doubtful.

Examples:

1) A:

E:

2) E:

A:

Sub-contrary: I O; differ only in quality

Rules: If one of the sub-contraries is true, the other is doubtful.

If one is false, the other is true.

Examples:

1) I:

O:

2) O:

I:

Sub-alternation:  A     I   and  E   O; differ only in quantity

Rules: If the universal is true, the particular is true.

If the universal is false, the particular is doubtful.

If the particular is true, the universal is doubtful.

If the particular is false, the universal is false.

Examples:

1) A:

I:

2) E:

 O:

3) I:

A:

4) O:

 E:

Contradiction:  A   O   and  E     I; differ both in quality and quantity

Rules: One member of each part is a denial of the other

Examples:

1) A:

O:

2) E:

I:

3) O:

A:

4) I:

E:

Argument and Syllogism

Argument: consists of one or more propositions offered as evidence for another proposition

Syllogism: an argument which consists of three propositions which are so related so that when the first two propositions are posited as true, the third proposition must also be true.

Example: All lawyers are professionals.

Some criminals are professionals.

Therefore, some criminals are lawyers.

Elements of a Syllogism:

Major premise: the proposition that contains the major term 

Minor premise: the proposition that contains the minor term 

Conclusion: the third proposition whose meaning and truth are implied in the premise

Terms used in Syllogisms:

Major term (T): the predicate of the conclusion

Minor term (t): the subject of the conclusion

Middle term (M): the remaining term in the syllogism which does not appear in the conclusion

8 Rules of Syllogism: refer to the rules used in determining the validity of an argument

1) There must only be three terms in the syllogism: the major, minor, and middle terms.

2) The major and/or the minor term should only be universal in the conclusion if they are universal in the premises.

3) The middle term must be universal at least once.

4) If both of the premises are affirmative, the conclusion must also be affirmative.

5) If one premise is affirmative and the other negative, the conclusion must be negative.

6) The argument (syllogism) is invalid if both of the premises are negative.

7) One premise at least must be universal.

8) If one premise is particular, the conclusion must also be particular.

error: Content is protected !!