IM in Logic
IM in Logic
Backong)
INTRODUCTION
Definition of Philosophy
The term philosophy can be viewed in two ways; from its etymological definition
and from its real definition.
Etymologically, the word philosophy was derived from two Greek words Philo (to
love) and Sophia (wisdom). The word philosophy therefore means the love of wisdom, and
thus connotes that a philosopher is a lover of wisdom.
Branches of Philosophy
WHAT IS LOGIC?
Definition of Logic
All schools of thought use reasoning skills and in identifying whether that
reasoning is correct or not, it will now depend if it is in accord with rules of logic.
But what is logic? Logic basically is defined as the science and art of correct
reasoning. The process of reasoning consists in identifying and establishing some
reasons as evidence/s (premis/es) for a particular conclusion which we draw, and if the
particular conclusion follows necessarily from the given premise/s, then there is no
reason for the argument not be valid. This is to say that an argument is only valid if and
only if the conclusion follows necessarily from the given premis/es and an argument is
invalid if it does not follow necessarily from the given premis/es. What we have just said
indicates that our conclusion in order have a real value must have to be drawn from
sound evidence/s. It is only in this case that our conclusion is considered as reasonable.
Logic as a Science
Logic as an Art
As an art, logic enables us how to make good argument. Logic is often called the
art of arts because it develops and perfects the intellect which all artists need in their work.
Parmenides (-510 BC) was the inventor of logic. He invented logic applying the
mathematical methods of proof to a philosophical problem regarding the nature of
“being” and “not-being”.
Aristotle is considered as the father of logic because he was the first one to grasp
the full value and importance of Logic. He pioneered in systematizing and generalizing
the rules of logic, and the first to study and analyze the methods of logic. He was also
the first to realize that the rules of logic are independent of the subject matter and
Ad Privatum (Jefferson S. Backong) 3
content of the statements used in logic. By this we mean that Aristotle was the first to
realize that the study of logic exhibits the patterns of inference (drawing conclusion),
and that those patterns of inferences are valid regardless of what subject matter the
patterns of inference are applied to. For example, a rule of logic may be expressed in
syllogistic form:
According to Aristotle, we can be able to draw a conclusion from any two premises
which have a relationship to each other, when the premises are stated in this form. This
form of syllogism results in a conclusion which is true regardless of the content of the
premises and the conclusion provided that the form is followed exactly.
This kind of reasoning, “formal reasoning”, the goal of the reasoning is to discover
something that we do not know (conclusion) from what we already know (premises).
From the above example, the latter statement (proposition) is considered the conclusion
and the former statements are the premises. It is where what we already know is stated.
This will make us realize that formal reasoning allows us to grow in knowledge and this
is only possible if we already have some knowledge.
Kinds of Logic
Formal Logic is concerned with the aspect of form which has to do with
correctness or sequence or to the following of rules. Let’s take the examples below:
eg. 1 eg. 2
We have a categorical syllogism which follows its rules and has a sequence. (This
will be discussed later.
Material Logic is concerned with the aspect of subject matter or content or truth.
In the second example above, we can say that the conclusion follows necessarily
from the given premises if and only if all the statements are true, considering that Pablo is
a name of a man and not of a dog. This is what material Logic is all about: that the content
is true.
However, in this course we are going to focus in the study of the following rules and
sequence of formal logic.
These two deals with the process of thinking and that entail premises and
conclusion.
Ad Privatum (Jefferson S. Backong) 4
Deductive Logic is that kind in which the premises flow logically into the
conclusion. That is why it is also called Formal Deductive Logic. It is from universal to
particular or as McCall says from “the more to the less universal by way of a middle
term.”
eg.
Inductive Logic arrives at the conclusion, but with less certainty than Deductive
Logic. It only implies a sense of probability. As Copi says, it “may provide some evidence
of the truth. This kind of reasoning is closely allied to the scientific method, being from
the particular to the universal. (CRUZ, 1995)
eg.
TERMINOLOGY OF LOGIC
The copula term can be used either affirmatively or negatively. That is, we use the
copula to affirm or deny something, to affirm or deny the relationship between the subject
and the predicate.
Ad Privatum (Jefferson S. Backong) 6
THE PROPOSITION
A proposition is a statement that can either be true or false. While it is true that all
propositions are statements, not all statements are propositions for not all statements can
be either true or false. In the field of logic, only declarative sentences can be used as
propositions because only declarative sentences are the only sentences that can be either
true or false. The other kinds of sentences, interrogative, imperative and exclamatory can’t
be considered as propositions.
The quality of a proposition is the same as the quality of the copula term. This is to
say that propositions can be either affirmative or negative. In a proposition, the predicate
is either affirmed or denied of the subject. In the following cases, the copula affirms the
predicate of the subject:
- Mangoes are fruits.
- Lawyers are liars.
- Some teachers are meticulous.
- Dogs are animals.
Thus, such propositions are affirmative.
In the following cases:
- Mangoes are not vegetables.
- Lawyers are not liars.
- Some teachers are not meticulous.
- Dogs are not cats.
the copula denies that the predicate belongs to the subject. Therefore, these propositions
are negative.
From the standpoint of quantity, a proposition is understood in the same way that
the subject is understood or used: universal, particular, singular, or collective.
There are four standard forms of propositions. These four forms express the quality
and the quantity of propositions. The four forms are: universal affirmative, universal
negative, particular affirmative and particular negative. Traditionally, logicians have used
a single vowel to represent each of these propositions. ‘A’ represents the affirmative
proposition, ‘E’ represents the universal negative, ‘I’ represents the particular negative and
‘O’ represents the particular negative.
If we are going to use ‘S’ to represent the subject, and the letter ‘P’ to represent the
predicate, then we can create the following scheme.
When we use the phrase “four standard forms of propositions” we are making a
very definite statement about formal logic. We are saying that, in order to be able to use
propositions well in the process of reasoning, the propositions must be of one of the four
fixed and definite forms above. This is to say that it is necessary to rewrite a proposition
into its standard form so that it may be used properly in a syllogism.
Ad Privatum (Jefferson S. Backong) 8
Rule 2: Add the missing complement to an adjective or a describing phrase to show that
they refer to classes.
In logic, we are primarily dealing with the relationships between classes of beings.
In order to make the meaning clear it, a noun shall be added to the adjective or adverb.
This noun is called a complement. Let us take the example, “Some dogs are vicious”. In
this sentence, “vicious” is not a noun, hence, we need to rewrite the sentence as, “Some
dogs are vicious animals”. Likewise, we know what is meant by the statement “All
foolish are losers in the end”, but this sentence is not in its standard form. There is no noun
in the subject. Thus, in order to make this sentence become a standard proposition in form,
the sentence must be rewritten as “All foolish persons are losers in the end”.
The copula must be placed if it is missing. An example of such case is the sentence
“Dogs bark”. If we are going to rewrite it into its standard form, it will become, “All dogs
are barking animals”. Similarly, when it is said that “Some Filipinos believe in spirits”, it
must be rewritten as “Some Filipinos are people who believe in spirits.”
Rule 4: Quantifiers that refer to a universal should be replaced by “all” or “no” and
“some” when it refers to particular.
Let us take note that the article “a” or “an” is usually construed as universal,
subject to certain contextual exemptions.
eg. 1
Only men are priests.
Ad Privatum (Jefferson S. Backong) 9
eg. 2
None but Asians need to apply.
Applying the rule in rewriting exclusive sentences, the following propositions will
be rewritten as “All priests are men”, and “All those who need to apply are Asians”.
For example, if it is said that “Everyone except BSCRIM 1B students may attend
the symposium”, what is meant can be expressed in two ways. It can be expressed as “All
who are not BSCRIM 1B student may attend the symposium” (A), or “No BSCRIM 1B
student may attend the symposium” (E). According to the rule, the “A” or the “E”
proposition may be used.
Negative sentences have two forms. There are those beginning with negative
words such as “nothing”, “none”, and “no one”, and those where the negative term is
placed next to the copula.
It is important for us to know how the terms in the four standard propositions are
distributed. The notion of ‘distribution is simple to understand. We can say that a term is
‘distributed’ when the term applies to all the members of the class denoted by the term.
For example, if we say, “All Kalingas are Filipino,” the term ‘Kalingas’ is distributed
because we are referring to ALL Kalingas. However, if we say, “Some Kalingas are
Filipino,” the term ‘Kalingas’ in this proposition is not distributed because we are
referring to an indefinite number of members of the class denoted by the term. We can
then infer from this that terms in a proposition is either distributed or undistributed.
The subject term and the predicate term in a universal negative proposition are
both distributed. In the proposition:
No Kalinga is a Filipino.
S P
we are saying that the subject term (Kalingas) and the predicate term (Filipino) are two
independent classes, meaning, there is no member of the class Kalinga existing within the
class Filipino.
We can easily see in this proposition that the subject term (Kalingas) is not
distributed because we are not referring to the entire class of Kalingas as indicated by the
quantifier some. Similarly, the predicate term (Filipino) is undistributed because we are
Ad Privatum (Jefferson S. Backong) 11
not referring to all Filipino. What we assert in this proposition is that some members of the
class Kalinga that exist within the class Filipino. In the particular affirmative proposition,
in all cases, both the subject term and the predicate term are undistributed.
It is clear in this proposition that the subject term (Kalingas) does not refer to all its
members. We are saying in this proposition that some members of the class Kalingas are
excluded in the class of the predicate term (Filipino). Hence, the predicate term is
distributed.
Let us take note that the distribution of terms in the four standard categorical
propositions is fixed and cannot be altered.
Ad Privatum (Jefferson S. Backong) 12
The universal affirmative proposition, “All humans are biped,” when we rewrite
into the other three standard forms, we have: “No humans are biped”, “Some humans are
biped”, and “Some humans are not biped”. In these four standard propositions, truth and
falsity are closely linked because the propositions are obviously opposed to each other
somehow. By investigating the logical opposition between these standard propositions, we
will be able to determine their truth and falsity. (SLU Logic Manual, 2004) This is to say
that, from the truth
value of one proposition, we will be able know the truth value of its other three standard
forms.
We have just learned that there are four standard categorical propositions known as
the universal affirmative proposition (A), the universal negative proposition (E), the
particular affirmative proposition (I) and the particular negative proposition (O). Below is
the diagram of the four types of opposition, and the four relations that result from their
opposition which is called traditionally in logic as the “Square of Opposition”.
A Contraries E
(All S is P.) (No S is P.)
C
o
n S S
t u u
r b b
a a a
d l l
i t t
c e e
t r r
o n n
r s s
i
e
s
I Sub contraries O
(Some S is P.) (Some S is not P.)
Ad Privatum (Jefferson S. Backong) 13
Laws of Subalternation
1. The truth of the universal involves the truth of the particular, and the truth of the
particular does not involve the truth of the universal. Thus, we could say that if A
is true, then I must also be true, and if E is true, the O must also be true.
Conversely, if I is true, then A may be either true or false, and if O is true, then E
may or may not be true.
2. The falsity of the particular implies the falsity of the universal, and the falsity of
the universal does not involve the falsity of the particular. If I is false, then A must
be false, and if O is false, then E is also false. Conversely, if A is false, then I is
either true or false, and if E is false, then O may be true or false.
Laws of Contradiction
1. Contradictories cannot be true together. That is, if A is true, then O must be false,
and if O is true, then A must be false. If E is true, I must be false, and if I is true, E
must be false.
2. Contradictories cannot be false together. That is, if A is false, then O must be true
and if O is false, then A must be true. If E is false, then I must be true, and if I is
false, O must be true.
Laws of Contrariety
1. Contraries cannot be true together. That is, if A is true, then E must be false, and if
E is true, then A must be false. If one of the contraries is true, then the other
contrary is necessarily false.
2. Contraries may be false together. That is, if A is false, then E may be true or false
and if E is false, then A may be true or false.
1. Both sub-contraries cannot be false together. If I is false, then O must be true, and
if O is false, I must be true.
2. Both sub-contraries may be true together. That is, if I is true, O may be true or
false, and if O is true, I may be true or false.
This method of concluding from the truth or falsity of one proposition to the
truth or falsity of another proposition, is called immediate inference. It is called
immediate, because we pass from knowledge of proposition to the knowledge of the other
propositions immediately, that we do not need to refer to any other concept or judgment as
proof. (SLU Logic Manual, 2004)
Ad Privatum (Jefferson S. Backong) 15
Propositions A and B are the premises of the syllogism, and proposition C is the
conclusion. The premises imply the conclusion, or that the conclusion is inferred from the
premises. Through the theory of syllogism, we will be able to acquire means for
distinguishing good reasoning from bad.
From the four standard forms of propositions, we could suppose that these four
allow us to create a rather large number of syllogisms. However, not all arrangement of
propositions will enable us to draw a valid conclusion. In other words, not every syllogism
is considered as a valid argument. Let us take this example:
It is obvious that even the term “animal” is common to both “dogs” and “cats”, we
can not conclude an identity between “dogs” and “cats” because the comprehension of the
terms are different. These differences prevent us from saying that dogs are the same as
cats.
whether it is the first or the second premise in the syllogism and that premise which
contains the minor term is called the minor premise. Furthermore, the term which appears
in both premises but not in the conclusion is called the “middle term”. It is the middle that
establishes the relationship between the major term and minor term.
Rule 1: There should be only three terms to be used twice with the same meaning
throughout.
In a syllogism, we try to discover whether two different terms agree with each
other. We do this by comparing each of the two terms with a common third term or known
as the middle term.
In the above example, the syllogism consists of four terms rather than three
because the term “ruler” is used with two different meanings. Violation of this rule will
result in the “Fallacy of Four terms”.
We must note that the middle term establishes the relationship between the two
premises. It is then important that the middle term must be distributed once in the
syllogism. Otherwise, the syllogism will violate the said rule that would result in “Fallacy
of Undistributed Middle Term” as exemplified by the examples below.
Rule 3: If a term is distributed in the conclusion, then it must be distributed in the premise.
If the predicate term in the conclusion is distributed, then it follows that the major
term must also be distributed in the premise. An example of a violation to this rule
follows.
Here, the major term “student” is distributed in the conclusion because it is the
predicate of a negative proposition, while it is undistributed in the major premise because
it is the predicate of an affirmative proposition.
Ad Privatum (Jefferson S. Backong) 18
Another possible violation to this rule is when the subject term of the conclusion is
distributed but it is not distributed in the minor premise.
Both syllogisms were against Rule 3, but their violation resulted in “Fallacy of
Illicit Minor”.
If both premises are negative, we have denied that both the major and minor term
has a relation with each other through the middle term. If this is the case, we cannot
conclude anything about their relation to each other. An example of a violation is:
No millionaire is a peasant.
No peasant is a cultured man.
Therefore, No cultured man is a peasant.
Rule 5: If one premise is affirmative and the other negative, the conclusion must be
negative.
When one premise is affirmative and the other premise is negative, then one of the
terms (major or minor) agrees with the middle term and the other term disagrees with the
middle term. That implies that the major and minor terms disagree with each other. The
conclusion must state that disagreement and therefore must negative. An example of a
violation of this rule follows.
This rule is known as the rule on the existential import of the proposition.
Violation of such rule results in “Existential Fallacy”.
SYLLOGISTIC FORMS
The logical form of the categorical syllogism revolves around its terms and
propositions, specifically its figures – arrangement of terms, and moods – or arrangement
of propositions according to quality and quantity.
Figures
There are only four possible arrangements of the terms in the premises. These four
arrangements are called the four syllogistic figures. To diagram these four figures, we will
use symbols for each term. We will use “S” to refer to the subject of the conclusion, “P” to
refer to the predicate of the conclusion and “M” to refer to the middle term.
Figure 1
M P The middle term is the subject of the major premise and the
S M predicate of the minor premise.
____________
S P
Figure 2
S P
Figure 3
S P
Figure 4
S P
Mood
Mood refers to the types of propositions that comprise the syllogism. We must then
analyze our syllogisms to identify which of the different types of propositions were
actually used in the syllogism. If we are going to identify the mood of the syllogism in the
above examples, we can say that example no. 1 has an AA:.A mood; example no. 2 has an
EI:.O mood; example no. 3 has an AI:.I mood; and example no. 4 has an IA:.I mood.
By combining the mood and figure of syllogism, we will arrive at what we call the
form of syllogism. Hence, if we look at the form of the first example, it will have an
AAA1form; the second, EIO2; third, AII3; and the last IAI4.
With the four figures and four types of propositions, it is possible to construct
different forms of categorical syllogisms. Definitely, not all of them are valid.
Ad Privatum (Jefferson S. Backong) 22
According to Boole, the four standard propositions have the following meaning:
John Venn, another 19th century logician, following the Boolean interpretations
of Aristotelian statements, developed a system of diagrams to represent the categorical
statements. These are now known as “Venn Diagrams”.
S P
The members of the class denoted by the subject term are conceived as located in
the circle S, and the members of the class denoted by the predicate term are conceived as
located in the circle P.
If we are going to assume that in the diagram below the subject term is
“criminology students” and the predicate term is “KSUians”, then the area marked with S
(-P) is understood as the area of criminology students who are not KSUians, SP is the area
of criminology students who are KSUians, P (-S) is the area of KSUians who are not
Ad Privatum (Jefferson S. Backong) 23
criminology students and (-S) (-P) is the area of those who are not criminology students
and not KSUians.
A: All S is P.
S P
The diagram shows that since all S is P, that part of S that is not P is shaded, for it is
empty.
E: No S is P.
S P
The diagram shows that since no S is P, that part of S that is P is shaded, for it is nothing.
I: Some S is P.
S P
Ad Privatum (Jefferson S. Backong) 24
The “X” in the area of SP reveals that there is at least one S that exists, and that S is P.
O: Some S is not P.
S P
The “X” in the area of S that is not P reveals that there is at least one S that exist, and
that S is not P.
The Venn Diagrams are very helpful in determining the validity of syllogisms. But
since a syllogism contains three terms and only three terms, we need to add another circle
to represent the middle term. Thus, three overlapping circles shall be drawn to represent
the three terms of the syllogism. The circle at the left side represents the class of the minor
term, the circle at the right side represents the class of the major term, and the circle below
represents the class of the middle term.
SM (-P) (-S) MP
M (-S) (-P)
The following guidelines must be observed in connection with the Venn Diagram test.
We shall now test some syllogisms in view of their validity or invalidity by way of
Venn Diagrams:
Ad Privatum (Jefferson S. Backong) 25
First Step: Three intersecting circles are drawn, labeling each circle with the minor term,
major term and middle term.
Students
Second Step: Diagram the major premise. (In cases where the syllogism is composed of a
universal premise and a particular premise, diagram first the universal premise.)
Students
Students
VALID
Ad Privatum (Jefferson S. Backong) 26
Students Lawyers
Liars
Second Step:
Students Lawyers
Liars
Third Step:
Students Lawyers
X
Liars
INVALID
The conclusion is not self-evident in the diagram because two possible conclusions
can be read. The first will be “Some students are lawyers”; and the second is “Some
students are not lawyers”. Thus, the syllogism is invalid.
Women Men
Human
INVALID
Example 4: No KSUians are UPians.
No UPians are Louisians.
Therefore, no KSUians are Louisians.
KSUians Louisians
UPians
INVALID
Ad Privatum (Jefferson S. Backong) 28
The term “fallacy” was derived from the Latin word fallo which means “I
deceived”. That is why it has come to mean a deceptive argument that is, an argument that
seems to be correct but it is actually incorrect. The object of our study now is all about the
different fallacies based on a confusion of ideas or things. We are no longer going to
mention the following formal fallacies because it was already being alluded in our
previous discussions.
Example: Sir, please don’t fail me. We are very poor and my parents don’t have
enough money to support me for my studies. So I deserve to pass your
course.
Argumentum ad Populum (Appeal to People) – This happens when no solid reasons for a
position is presented for or against a position, but rather an appeal is made
to the masses. The appeal is made by either appealing to the passions and
prejudices of the people, or by appealing to the presumed knowledge of the
people.
Example: - There will be no classes for the whole week according to the officer at the
Commission on Elections.
Ad Privatum (Jefferson S. Backong) 29
Argumentum ad Baculum (Appeal to Force) – This fallacy is committed when one seeks to
establish a conclusion by resorting to “force” or “intimidation”. Might is
right.
Addendum: Non Sequitur – It refers to an argument whose conclusion does not follow
logically from the premises as when two ideas are disconnected.
Fallacy of the False Cause – is a fallacy committed when a cause is falsely assigned to a
particular effect.
Examples: - She is your mother because she was born ahead of you.
- I lied to you because the devil made me do it.
- He met an accident because he saw a black cat along the road yesterday.
Fallacy of Illicit Generalization - is the fallacy that draws a conclusion from insufficient
evidence.
Fallacy of Neglected Aspect – This is committed when one presents evidence in support of
one conclusion while neglecting or ignoring that would support another.
Example: An appliance salesman might tell you that the brand of DVD player he is
selling costs less to purchase and operate, but fails to mention that it costs
more to maintain and repair than other brands.
Fallacy of the Consequent – This fallacy occurs when we infer the truth of the antecedent
from the truth of the consequent.
Argument from Silence – is the fallacy which considers that because nobody speaks about
something or because a fact is not in books or in newspapers, it
did not happen.
Example: Paul did never journey to the Asia Minor because it was not written on the
Bible.
MISCELLANEOUS FALLACIES
Assumptio non probata – This occurs when one assumes as already proven true what has
yet to be proven.
Example: All men are polygamous. (to be proven true) Therefore, your father is
polygamous.
Circular Reasoning (Circulus in probando) – One argues by using the premise to prove the
conclusion and then uses the same conclusion to prove the premise.
Both premises and Conclusion argument – This is the fallacy of using the conclusion as a
premise and using it to prove the same conclusion.
REFERENCES:
Adversalo, Oscar R. Symbolic Logic (A Manual in Philosophy 1). 1994 Saint Louis
University (for Private USE)
Copi, Irving M. Introduction to Logic: Third Edition (New York, Barnes and Noble, Inc.,
1968)
Cruz, Corazon L. Philosophy of Man: Third Edition (Mandaluyong City, National Book
Store, 1995)
Hecker Anthony and Caimol, Rhoneil (Logic Manual). 2004 Saint Louis University
http://www.logicville.com.html