Professional Documents
Culture Documents
I. Logic:
a. Etymological definition by Zeno the Stoic: Greek, logike: a treatise on matters
pertaining to thought
b. Real definition: as the science and art which helps our mind to distinguish
between the correct from the incorrect
c. To attain clarity in our thoughts; to examine the validity of arguments and the
processes of inference
II. Logic: Nature and Divisions
a. Material Object: items or things that the science covers in its study (ex:
Arithmetic: numbers)
i. Logic’s material object: concepts and conceptual structures
(propositions and syllogisms) taken as products of the mind and not as
psychical affections or accidental modifications of the mind
b. Formal Object: the primary object of its study or consideration, by reason of
which, the science discusses the different items that fall under its study (ex:
addition, subtraction, multiplication, division in Arithmetic)
i. Logic’s formal object: the inferential functions of concepts and
propositions
ii. Logic views concepts in their functions (Major, Minor, and Middle
Terms) and propositions as Major and Minor Premises of an inferential
conceptual structure which is the Syllogism. Such inferential functions
are also called Relations of Reasons, inasmuch as they properly exist
only in the mind that attains and considers them.
c. Traditional/Aristotelian Logic and Symbolic Logic
*The “mental product” or expression, which falls in between the “mental act” and the
“external sign,” is often designated with the name of the one or of the other. Ex: the
enunciation is also commonly designated as judgment, or as proposition.
*Syllogism: connected thought (syn + logos)
d. Formal Logic and Material Logic
i. In constructing anything, whether it is a suit, or a house, or even an
argument, one must have good structure or form and good material.
ii. Formal Logic discusses the conceptual patterns or structures needed
for correct and valid inference. (concerned itself with the rules
governing the structure and the validity of argument forms or patterns)
iii. Material Logic discusses the kind of matter, that is, the nature of the
terms and premises that are used in the different kinds of
demonstration. (concerned with the meaning and truth of the concept
and sentences, which comprise a syllogism)
iv. Formal Logic coincides with our present science on correct and valid
inference. Material Logic is the philosophical discussion on matters of
thought and knowledge.
*This distinction does not mean that they are two separate kinds of logic. They are, in fact,
complementary.
Because it follows a sequence, this argument is valid. (Material Logic: This argument,
however, is valid only insofar as Juan de la Cruz is a human being. But if Juan de la Cruz is a
name of a puppet or a dog, the argument would not be sound.)
i. Simple or Complex
1. Simple: consists of a single word (ex: man)
2. Complex: consists of a group of words that signify one thing (ex:
a rational sentient animate corporeal substance)
ii. Significant or Non-Significant:
1. Significant: terms that signify concepts directly and
immediately
2. Non-significant: terms that merely indicate or point out things
without expressing its nature (demonstrative pronouns, proper
nouns, adjectives)
d. Comprehension and Extension
i. Comprehension: the sum total of the attributes or thought-elements
which constitute the idea
ii. Extension: the sum total of all the individuals, things or groups to which
the idea/term could be applied
Kinds of Extension:
1. Absolute Extension: the sum total of all subjects—of actual
subjects, as well as possible subjects—whose nature is signified
by the term and concept
2. Functional Extension: it includes only those subjects that it
actually sets before the mind when it is used in a discourse
Ex: Term: Pencil
Comprehension: A writing instrument consisting of a
thin stick of graphite or a similar substance enclosed in a
long thin piece of wood or fixed in a metal or plastic case
Extension: types and brands of pencil; Monggol, etc.
e. Kinds of Terms:
i. Terms according to Extension
1. Singular: an idea that can be applied to one subject only
a. Proper Noun
b. Nouns modified by adjective in the superlative degree
(ex. The most valuable player, the wisest man in Athens)
ii. Proper Supposition: when a term stands for something for which it is
permitted to stand for literally
1. Material: when a word is taken simply to signify the spoken
word or the written symbol (ex: “To run” is a verb.)
2. Formal
a. Logical: when a term refers to a thing in mental existence
(ex: Man is a universal idea)
b. Real: when a term refers to a thing in real existence (The
sun rises every morning.)
iii. Improper Supposition: when a term stands for something
metaphorically and from its use in speech (Augustine is a Seraphic
Doctor of the Church)
IV. Logic of Propositions
a. Categorical Proposition
i. It is a proposition that makes a direct assertion of agreement or
disagreement between the subject and the predicate. It relates two
classes or categories: the subject term and the predicate term
ii. The general form of a categorical proposition is:
Subject---Copula---Predicate
Ex:
2. E-Proposition
a. This asserts that the whole subject class is excluded in
the predicate class.
b. Quantity: Universal/Singular, Quality: Negative
c. All S are not P/ No S is P
Ex: All sinners are not holy people.
No sinner is a saint.
3. I-Proposition
a. This asserts that part of subject class is included in the
predicate class.
b. Quantity: Particular, Quality: Affirmative
c. Some S are P
Ex: Some philosophers are atheists.
Many Filipinos are romantic lovers.
4. O-Proposition
a. This asserts that part of subject class is excluded in the
predicate class.
b. Quantity: Particular, Quality: Negative
c. Some S are not P/ Not all S are P
Ex: Some Filipinos are not patriotic.
Not all Senators are honest politicians.
A-proposition E-proposition
Universal/Singular Universal/Singular
Affirmative Negative
I-proposition O-proposition
Particular Particular
Affirmative Negative
c. Rules
i. Contradictory Opposition (CD): the opposition of a pair of
propositions that have the same subject and predicate but have
different quantity and different quality (A and O propositions; E and I
propositions)
Given Contradictory
True False
False True
Given Contrary
True False
False Doubtful
Ex: If “all bananas are fruits” is TRUE, then, “no bananas are
fruits” will be FALSE.
If “all Filipinos are artists” is FALSE, then, “no Filipino is an
artist” is DOUBTFUL.
iii. Sub-Contrary Opposition (SC): the opposition of two propositions
that have the same subject and predicate, and the same particular
quantity but are different as to quality (I and O propositions)
Given Sub-Contrary
True Doubtful
False True
Given Sub-Altern
10 | P H L 1 0 2 N O T E S
Do not cite. Do not publish. Do not reproduce. For discussion purposes only.
I. Eduction
Eduction comes from the Latin word educere which means to extract. It is the
process of immediate inference whereby from any given proposition, we
derive another proposition with the same meaning but of different quantity or
quality or both quantity or quality
11 | P H L 1 0 2 N O T E S
Do not cite. Do not publish. Do not reproduce. For discussion purposes only.
TYPES OF EDUCTION
a. Obversion (Obv.): the process of forming the equivalent proposition by
changing the quality and the predicate of the given proposition. The given
proposition is called obvertend, while the new proposition is called the
obverse.
i. Applicable to A, E, I, and O propositions. (A->E; E->A; I->O, O->I)
ii. STEPS:
1. Change the quality of the given proposition (the copula)
2. Change the predicate to its contradictory or into its immediate
opposed contrary terms
3. Retain the subject and the quantity of the given proposition.
I: Some S are P O: Some S are not non-P/ Not all S are non-
P
Or
O: Some S are not non-P/ Not all S are non- I: Some S are P
P
12 | P H L 1 0 2 N O T E S
Do not cite. Do not publish. Do not reproduce. For discussion purposes only.
Ex: All mangoes are sweet fruits, therefore, some sweet fruits are mangoes.
13 | P H L 1 0 2 N O T E S
Do not cite. Do not publish. Do not reproduce. For discussion purposes only.
O: Some S are not P/ Not all S are P I: Some S are non-P (Obv.)
I: Some non-P are S (S.Conv.)
14 | P H L 1 0 2 N O T E S
Do not cite. Do not publish. Do not reproduce. For discussion purposes only.
O: Some S are not P/ Not all S are P I: Some S are non-P (Obv.)
I: Some non-P are S (S.Conv.) (PC)
O: Some non-P are not non-S/ Not all non-P
are non-S (Obv) (FC)
Ex: Every diagram is a visual aid; therefore, every non-visual aid is a non-diagram.
Ex: All artists are lovers of nature; therefore, not all non-artists are lovers of nature.
E: All S are not P/ No S is P O: Some non-S are not non-P/ Not all non-S
are non-P
16 | P H L 1 0 2 N O T E S
Do not cite. Do not publish. Do not reproduce. For discussion purposes only.
iii. Second Figure: the middle term takes the position of the predicate of
the major premise and the minor premise. (pre-pre)
P–M All men are creative beings. Major Premise
S–M No ape is a creative beings. Minor Premise
iv. Third Figure: The middle term takes the position of the subject of both
the major premise and the minor premise. (sub-sub)
M–P All patriotic people are brave. Major Premise
M–S Some patriotic people are women. Minor Premise
17 | P H L 1 0 2 N O T E S
Do not cite. Do not publish. Do not reproduce. For discussion purposes only.
v. Fourth Figure: The middle term takes the position of the predicate of
the major premise and the subject of the minor premise. (pre-sub)
P–M All cheaters are sinners. Major Premise
M–S No sinners are saints. Minor Premise
18 | P H L 1 0 2 N O T E S
Do not cite. Do not publish. Do not reproduce. For discussion purposes only.
19 | P H L 1 0 2 N O T E S
Do not cite. Do not publish. Do not reproduce. For discussion purposes only.
III. Rules
a. General Laws
i. Dictum de Omni/Dictum de Nullo
ii. The Principle of Identity
iii. The Principle of Contradiction
iv. The Principle of Identifying Third
b. Particular Laws: on the correct use of syllogistic terms
i. A syllogism must have only 3 terms
ii. No term in the conclusion can have a greater extension than in the
premises
iii. The middle term must not be found in the conclusion
iv. The middle term must be distributed at least once.
c. Particular Laws: on the correct use of syllogistic propositions
i. No negative conclusion can be inferred from two affirmative premises
ii. No conclusion can be inferred from two negative premises
iii. No conclusion can be inferred from two particular premises
iv. The conclusion should always follow the weaker premise
d. Rules of Each Particular Figure
i. Figure 1: The major premise should always be universal and the minor
premise should always be affirmative (jumA)
ii. Figure 2: One of the premises should be negative and the major premise
should be universal (ONju)
iii. Figure 3: The minor premise should be affirmative and the conclusion
should be particular (mAcopa)
iv. Figure 4:
1. If one premise is negative, the major premise should be
universal (ONju)
2. If the minor premise is affirmative, the conclusion must be
particular (mAcopa)
3. If the major premise is affirmative, the minor premise should be
universal (jAmu)
IV. Reduction:
a. The process of changing into figure 1 any categorical syllogism that is
considered valid in other figures.
20 | P H L 1 0 2 N O T E S
Do not cite. Do not publish. Do not reproduce. For discussion purposes only.
21 | P H L 1 0 2 N O T E S
Do not cite. Do not publish. Do not reproduce. For discussion purposes only.
22 | P H L 1 0 2 N O T E S
Do not cite. Do not publish. Do not reproduce. For discussion purposes only.
INDIRECT REDUCTION
bArOcO All liars are evil-doers. Obvert All liars are not non-evil-
Some lawyers are not evil- major doers.
doers. premise and Some lawyers are non-evil-
Some lawyers are not liars. minor doers.
premise Some lawyers are not liars.
All liars are not non-evil- fErIO All non-evil-doers are not
fEstIno
doers. liars.
Some lawyers are non-evil- Some lawyers are non-evil-
doers. doers.
Some lawyers are not liars. Some lawyers are not liars.
Some websites are not Obvert Some websites are non-
bOcArdO
helpful. major helpful.
All websites are internet premise and All websites are internet
resources. conclusion resources.
Some internet resources are Some internet resources are
not helpful. non-helpful.
Some websites are non- dArII All websites are internet
dIsAmIs
helpful. resources.
All websites are internet Some non-helpful things are
resources. websites.
Some internet resources are Some non-helpful things are
non-helpful. internet resources.
I. Material Fallacies
a. Argumentum Ad Hominem argument against the person
i. Jun Lozada is not credible because he looks funny when he cries
b. Argumentum Ad Populum arguer appeals to people
i. All the others in the class want the party in the gym, so don't you think
we should have it there, too?
c. Argumentum Ad Baculum arguer appeals to force
23 | P H L 1 0 2 N O T E S
Do not cite. Do not publish. Do not reproduce. For discussion purposes only.
24 | P H L 1 0 2 N O T E S
Do not cite. Do not publish. Do not reproduce. For discussion purposes only.
Second Order Minor Premise All men are rational beings, therefore Socrates is a
rational being.
Third Order Conclusion All men are rational beings and Socrates is a man.
One of the premise: for, since, for the reason that, because
Conclusion: hence, therefore, consequently
Two Premises: and, but
b. Epicheireme: a syllogism in which one or both premises are supported by
explanations
i. All Filipinos are Asians because Philippines is an Asian country. Jose
Rizal is a Filipino. Therefore, he is an Asian.
25 | P H L 1 0 2 N O T E S
Do not cite. Do not publish. Do not reproduce. For discussion purposes only.
All animals are A=B All animals are substances. A=B Black Beauty is a horse.
substances. C=A All four-legged beings are B=C A horse is a four-legged
All four-legged beings animals. being.
D=C C=D
are animals. A horse is a four-legged All four-legged beings are
E=D D=E
All four-legged beings being. animals.
are substances. E=B A=E
Black Beauty is a horse. All animals are substances.
A horse is a four- ∴Black Beauty is a ∴Black Beauty is a
legged being. substance. substance.
A horse is a substance.
Black Beauty is a
horse.
∴Black Beauty is a
substance.
26 | P H L 1 0 2 N O T E S
Do not cite. Do not publish. Do not reproduce. For discussion purposes only.
iii. Negate one or more member of the major premise, then affirm the
remaining member in the conclusion
p∨q p∨q
p . ∼p .
∴∼q ∴q
p∨q p∨q
q . ∼q .
∴∼ ∴p
p ∼p
T F
27 | P H L 1 0 2 N O T E S
Do not cite. Do not publish. Do not reproduce. For discussion purposes only.
F T
b. Conjunction
p q p•q
T T T
T F F
F T F
F F F
c. Disjunction
p q p∨q
T T T
T F T
F T T
F F F
p q pↄq
T T T
T F F
F T T
F F T
p q p≡q
T T T
T F F
F T F
28 | P H L 1 0 2 N O T E S
Do not cite. Do not publish. Do not reproduce. For discussion purposes only.
F F T
Note: Tautology: compound statement that is true under all possible combinations of truth-
values of their component statements. Contradiction: compound statements that are false
under all possible combinations of truth-values of their component statements. Otherwise it
is a contingent statement.
V. Method of Deduction
pↄq pↄq
Modus Modus
p . ∼q .
Ponens Tollens
∴q ∴ ∼p
pↄq p∨q p∨q
Hypothetical Disjunctive
q ↄ r. ∼p . ∼q .
Syllogism Syllogism
∴pↄr ∴q ∴p
(p ↄ q) • (r ↄ s) (p ↄ q) • (r ↄ s)
Constructive Destructive
(p ∨ r) . (∼q ∨ ∼s) .
Dilemma Dilemma
∴ (q ∨ s) ∴ (∼p ∨ ∼r)
p
p • q_ p • q_
Simplification Conjunction q _
∴p ∴q
∴p•q
p _ q _ pↄq _
Addition Absorption
∴p∨q ∴p∨q ∴ p ↄ (p • q)
References:
Aguas, A Handbook in Basic Logic.
Buenaflor, The Art of Critical Thinking: Logic for Filipino Students.
Domingo and Cabantac, Rudiments of Reasoning.
Gaarder, Sophie’s World.
Piñon, Fundamentals of Logic.
29 | P H L 1 0 2 N O T E S