Professional Documents
Culture Documents
Logic
Logic
Logic is an integral part of Philosophy. For this reason, we begin our study of logic by
considering what philosophy is.
What is Philosophy?
Philosophy comes from the Greek words philo which means friend or lover and sohia
which mean wisdom. It means “the love of wisdom” or a “friend of wisdom.”
Philosophy is a science of all that exist (of beings) in their ultimate cause through the aid
of the human intellect alone.
1. Metaphysics/Ontology (being in its most general form) the study of being as being while
taking into consideration that essence and existence are constitutes of being.
2. Theodicy (being in the highest form) - the philosophical study of God with consideration
to its nature and existence as absolute.
3. Cosmology (being in the non-living world) - the philosophical study of the material world
with regards to its order in the universe.
4. Philosophy of Man/Anthropology (being with its body and soul) - the philosophical
study of man with regard to the union of body and soul.
5. Ethics or Moral Philosophy (considering man's will) - philosophical study of the hi
morality of the human act that distinguishes good from evil and right from wrong.
6. Political Philosophy - the search for knowledge on the ultimate foundations of the state,
its ideal form and its basic structure.
7. Aesthetics -the search for a deeper knowledge concerning beauty and perfection.
8. Epistemology (the value of our thought) - the search for the answers to the fundamental
questions concerning the conditions, the extent, and the limits of knowledge.
9. Logic - the study of the conditions for correct thinking and reasoning.
What is Logic?
Nominal Definition
Logic comes from the Greek word logos, which means thought, word, speech or science.
Real Definition
Logic is order and consistency. It is the science of those principles, laws and methods
which the mind of man must follow in its thinking for the secure and accurate attainment of truth.
In short... Logic is the science and art of correct thinking and reasoning.
• It is a science because it is a body of organized methods of tried and true knowledge which
is concerned with the rectitude of reasoning.
• It is an art because argument in logic is done beautifully with habitual validity, ease,
clarity, correctness, objectivity and certainty.
The formal object of logic is the correctness or validity of reasoning. It refers to the inner
consistency of the reasoning process. For reasoning to achieve consistency, it should be in
accordance with the principles and laws which logic teaches.
1. Simple Apprehension is the process through which the mind grasps the objective reality
as it is outside of the mind. When something is grasped, an idea or concept is formed
which is then expressed through the use of terms.
2. Judgement is the process through which the mind can assert or deny something. This
second process can be achieved only after having ideas because it is the ideas that are put
together in order to come up with judgement. The expressions of judgements are called
propositions.
3. Reasoning is the process through which the mind arrives at a conclusion From previously
processed judgements. It draws out new propositions from premises. We call this
inference. This is expressed through syllogism.
THE ELEMENTS OF INFERENCES:
Man can know the general nature of an object or thing because he can conceptualize. He can
apprehend the nature of the things that he perceives. Let us illustrate: Through our senses we
perceive sensible things in their individuality and concreteness. For instance, we see a particular
table. Our percept of this table is concrete, individual, and particular; and this perceptual image
is formed in the inner sense, in the imagination.
Then the intellect apprehends the nature or essence of the perceived object out of the
perceptual image (otherwise known as phantasm). As soon as the intellect has abstracted or
seized the essence of the perceived object, it has already acquired or formed an idea (concept)
of the perceived object. Thus the senses perceive the particular things and the intellect abstracts
their nature or essence. The senses and the intellect help each other in the formation of ideas.
Idea
It is the intellectual image of a thing, or the intellectual apprehension of a thing. Our idea
of a cow, for instance, is our mental image or apprehension of an animal called cow. This idea of
a cow will apply to any and all cows, irrespective of their individual differences among
themselves, provided they possess the same essential qualities which constitute the idea of a cow.
Term
Properties of a Term
With respect to any term, we speak of two properties-- the comprehension and
extension.
When we consider the characteristics of the thing represented by a term, we are referring
to is COMPREHENSION. When we consider the individuals or groups of individuals which have
characteristics and to which the term can be applied, we are referring to the EXTENSION of the
term.
Thus, when I speak of polygon as a "figure with many sides," I am referring to the
comprehension of the term "polygon". But when I speak of "a rectangle", "a square", "a triangle",
as a "polygon", I am referring to the extension of the term "polygon”.
The comprehension of a term is the sum total of the intelligible notes representing the
elements or characteristics which make a thing to be what it is. The extension of the term refers
to the subjects- individuals or groups which possess the characteristics signified by the notes in
the comprehension. Thus the term "university" has for UP, SLSU- its extension USC, UV, SWU, CTE,
and all other universities.
TERM COMPREHENSION EXTENSION
MAN rational, sentient, living, corporeal substance man
ANIMAL sentient, living, corporeal substance brute, man
ORGANISM living, corporeal substance plant, brute, man
BODY corporeal substance mineral, plant, brute, man
SUBSTANCE substance pure spirit, mineral, plant, brute, man
The following examples shows the inverse relation between comprehension and
extension. Comprehension and extension are inversely proportional, as the comprehension
decreases, the extension increases and vice versa.
Kinds of Terms
1. As regards to quantity:
a. Singular Term is one which stands for a single individual or object.
Examples: Mr. Santos, SLSU-CTE, Pedro, Tomas Oppus, this pen
c. Universal Term is one that is applicable to each and every member of a class. It is
also called distributed term.
Examples: man, animal, soldier, rat, cat
Some indicators of a universal extension:
all whatsoever no
each whatever none
every whoever no one
everyone any nobody
everything anyone
anything
d. Collective Term is one that is applicable to all the members of a class taken together,
but not to the individual member taken singly.
Examples: family, army, audience, class, flock, squad, herd, society, crowd
2. As regards to incompatibility:
a. Contradictory Terms are those wherein on affirms what the other denies
Examples: life-lifeless, thing-nothing, honest-dishonest, careful-careless
b. Contrary Terms are those which represent the two extremes among objects of a
series belonging to the same class.
Examples: black-white, hot-cold, happy-sad, expensive-cheap
c. Private Terms are those wherein on signifies the perfection and the other denies the
perfection in a subject which naturally ought to possess it.
Examples: sight-blindness, wealth-poverty, health-sickness
d. Relative Term are those wherein one cannot be understood without the other.
Examples: master-slave, husband-wife, lolo-lola, boyfriend-girlfriend
c. Analogous Term is one which is predicted of two or more things in a sense that is
partly the same and partly different.
Example: legs of a woman – legs of a table, foot of a mountain – foot of a baby
c. Null or empty Term is one which has no actual referents but only imaginary ones.
Example: fairy, wolverine, E.T., tikbalang
Definition
The importance of definition is the elimination of the ambiguity by establishing the limits
within which a word can be rightly used and understood. Definition is a statement that gives
meaning of a term or a statement which explains what a term means.
Elements of Definition
e.g. Logic is a science that deals with correct reasoning. In this example, logic is the
definiendum; a science that deals with correct reasoning is the definiens.
1. The definiendum should not be contained in the definiens. That is, the definiens should
not include the definiendum; otherwise one is guilty of a circular definition.
e.g. A gentleman is a man who is gentle.
A plant is a vegetable organism.
2. The definiens must be equivalent to the definiendum.
3. A good definition should be stated in univocal and simple terms.
4. A good definition must give the essential attributes of the individuals denoted by the
definiendum.
5. The definition should not be negative as much as possible.
Division means the breaking up of an individual into its component parts; or a general
class into its subclasses; or of a class into its individual members; or a thing into its constituent
qualities.
Classification is the process through which individuals with some common characteristics
are grouped together to form a class.
Chapter II
PROPOSITIONS
As in the case of terms, the treatment of the propositions in this section is largely
determined by the role that it plays in inferences.
The proposition expresses verbally or in writing what is attained in the mental act called
judgement. A judgement is an act of the mind which unites ideas by affirmation or separates by
negation. To assert that "The sun is shining" is to make a judgement of affirmation. To say that
"Poverty is not hindrance to success" is to make a judgement of negation. The ideas in the
judgement constitute its material elements or matter. The act of affirming or negating is its
formal element or form.
All propositions are sentences but not all sentences are propositions. There are many
sentences that do not always affirm or deny something. Such sentences like "What time is it now?"
(a question), "Turn to page 35 of your books, " (a command), "May you have a happy birthday" (a
wish) and "Aray!" (an exclamation).
Introduction
We have learned that a judgement is the mental pronouncement regarding the agreement
or disagreement between two ideas. As we verbalize or express this mental operation in words,
we are stating a proposition. A proposition therefore, is the verbalize expression of a judgement.
It is a statement in which something is either affirmed or denied. From this, it follows that a
proposition may be either affirmative or negative. An affirmative proposition is one in which one
term (called the predicate term) is affirmed of another (called the subject term).
The term Mary is the subject term, while the second term beautiful is the predicate term.
In an affirmative preposition, the predicate is asserted (predicated) of the subject. In a negative
proposition, the predicate term is denied or negated of the subject term. For instance, Mary is not
beautiful.
All propositions are sentences, but not all sentences are propositions. In so far, as a
proposition expresses an affirmation of denial about something, it is a sentence. However, a
sentence does not always affirm or deny something. It may just be a single word or group of words
that expresses an emotion or a thought. For example, Run! is an exhortatory or imperative
sentence but not proposition; Aray! is an exclamatory sentence but not a proposition; Where are
you going? is an interrogatory sentence but not a proposition; Good luck! is an optative sentence
(i.e., expressing a wish or desire) but not a proposition.
Both the proposition and the definition have the word is in their structure. Take the
examples: Martin is a student. Logic is a science of correct reasoning. In both cases, the word is
found. Does it follow that a proposition is the same as definition? Are they identical?
On the other hand, the word is in a definition expresses the meaning specifically of the
definiendum so that even if the definiendum and the definiens are transpose, the meaning
remains the same. In the example Biology is a science that studies living organisms, the word is in
the definition means 'means' so that one can substitute means for is without changing the
meaning at all; or one can reverse the positions of the definiendum and the definience in the
whole statement the meaning of which remains: A science that studies living organisms is called
biology.
A proposition, therefore, is not the same as a definition despite the similarity in their
proposition is a copula that expresses either an affirmation or a structures. The word is in denial;
or an agreement or disagreement between the subject term. The word is in a definition gives the
meaning of the definiendum.
3 Elements of a Proposition
A proposition is in the logical form when its elements are arranged as follows - "S c P".
Moreover, the copula (c) must be expressed in the present tense, indicative mood of the verb "to
be". The copula must be a linking verb because its function is to connect the subject and the
predicate; and it must be in the present tense because the proposition is the expression of the
judgement which is a present act of the mind.
Of the following statements only the first is in the logical form; the others are not.
In putting a proposition in the logical form, the following may be taken as a guide:
1. Look for the logical subject that about which something is affirmed or denied. In case of
proposition no. 5, the logical subject is a complex term "The man who fells no compassion
for the suffering of his fellow man."
2. Eliminate insignificant words. Thus, in example no. 3, the expletive "it" is eliminated when
we say that "To light a candle is better than to curse the darkness."
3. Transpose a sentence which is in the inverted order. So, the logical form of proposition
no. 2 is "Time is what we need."
4. Unite a term that is split. So, in the case of proposition no. 4, the complete subject term is
"He who has found a true friend."
However, many propositions do not manifest or display their logical structure; for
instance, Mario loves Maria. In this proposition the word loves expresses both the copula and the
a part of the predicate; and the words loves Maria are the equivalent to is a lover of Maria.
A. Categorical Proposition
A categorical proposition asserts directly the agreement or disagreement of two terms by
means of the verb copula.
What is expressed is not the agreement or disagreement of two terms but the dependence
of one proposition on another.
There are two important aspects of the categorical proposition which serve as an
important basis for the classification of propositions. These are the quality of the copula and the
quantity or extension of the proposition. Something will also be said of the extension or
distribution of the predicate-term in this section.
On the basis of its extension, the proposition is either universal, particular, singular or
collective.
Singular and collective propositions are taken as universal propositions because, like the
latter, they take their subjects according to the whole of their extension. Since collective and
singular propositions have the same value as universal propositions, there are only two types of
propositions based on quantity - the universal and the particular.
The quantifiers which help us to determine whether the subject is particular or universal
are also useful in determining the extension of the proposition.
There are propositions which have no definite subject-quantifier. Such are propositions
like "Fire burns," "Truth hurts," "Children are naughty," and "Cebuano's have dimpled checks." A
study of the relation between the subject and predicate of these propositions will enable us to
determine whether they are particular or universal.
If the predicate represents something that does not belong to the essence of the subject,
then it may or may not be attributed to other members of the subject. In this case, the proposition
is to be taken as a particular proposition. Thus, "Truth hurts," and "Cebuano's have dimpled
checks" are actually particular propositions.
When we speak of the distribution of the predicate term, we mean the extension or
quantity that the predicate has on account of its relation to subject in a certain proposition. The
predicate may be taken as a universal (distributed) or a particular (undistributed) term.
To determine the extension of the predicate term, we have to look at the copula. The rule
is:
The reason for the above rules may become clear once we consider how the subject and
predicate are related in affirmative and negative propositions.
In the statement, "All Cebuano's are Filipinos," the predicate term "Filipinos" is a
particular term, that is, only a certain portion of the extension of "Filipinos" is identified with the
subject "Cebuano's." Using the circles, we may illustrate the extension between S and P of the
above statement in the following manner.
If we consider the matter (content) of the affirmative proposition, we may find that
sometime P represents the definition of S. This is the case with the statement "A square is a figure
with four equal sides and four equal angles." Here, the subject and predicate are co- extensive. In
other words, the whole of the extension of P is identified with S. This does not mean, however,
that the predicate term must be taken universally. By virtue of the form, P is still a particular term.
S P
Cat Chick
Considering the quality and quantity of the propositions, there are four general types
designated traditionally by the symbols A, E, I, or O.
a) The universal affirmative (A) proposition has a universal subject term and an affirmative
copula.
Example: Every X is Y,
Every circle is round.
b) The universal negative (E) proposition has a universal subject term and a negative copula.
Example: No X is Y.
No circle is a square.
c) The particular affirmative (I) proposition has a particular subject term and a positive
copula.
Example: Some X is Y.
Some polygons have more than three sides.
d) The particular negative (O) proposition has a particular subject and a negative copula.
Example: Some X is not Y.
Not all X is Y.
Not all figures are enclosed by a curved line.
The mathematician Euler invented diagrams illustrating the structure of ordinary categorical
propositions. The diagrams referred to as "Euler's diagrams' make use of two circles designating
the subject and the predicate, each of which is taken as presenting a class.
The following diagrams illustrate the A, E, I and O propositions:
S
P expert swimmer
Lifeguard
S P
Liberal Conservative
In an E proposition, the subject term, in the totality of its extension, is excluded from the
totality of the extension of the predicate term. It is easy to see in the diagram that the predicate
of an E proposition is a universal term.
S P
The shaded area in the diagram represents the animals that are herbivorous. In an I
proposition, a part of the extension of S is included in P as part of its extension. In an I proposition,
P is thus taken particularly with respect to S.
The shaded area represents the class of mothers who are not wives. In an O proposition,
some of the members of the class of S are not included in the extension of P. Or P, in the totality
of its extension is excluded from a part of S; P is, therefore, taken universally in an O proposition.
HYPOTHENICAL PROPOSITION
The hypothetical proposition does not declare unqualified affirmation or denial, but
expresses the dependence of one affirmation or denial on one another. Hypothetical propositions
are also called sequential propositions because they assert a certain sequence between two or
more propositions. There are three basic forms of the hypothetical statements - the conditional,
disjunctive and conjunctive propositions.
a) The conditional proposition expresses a relation in virtue of which one proposition follows
necessarily from the other because of a definite condition that is verified. It usually takes the form
"if... then...”
Examples: If man were God, then he would be all-knowing.
If a patient refuses to follow his doctor's orders, then he will suffer a relapse.
The examples show the two elements of the conditional proposition:
(1) The antecedent which is usually introduced by the word "if” and expresses a condition.
(2) The consequent which expresses what follows when the condition is verified
The truth of the conditional proposition depends not on the truth of the separate
elements, but on the presence of the necessary sequence between antecedent and consequent.
This is necessary sequence when the consequent follows necessarily from the antecedent. The
separate elements may be true, but if there is no necessary sequence, the conditional statement
is false. So, it may be true that you are in the Philippines, but it is not true that "If you are a Filipino,
then you are residing in the Philippines.”
b) The disjunctive proposition, by means of the particles "either...or", formally asserts that two
or more alternatives or choices cannot be false at the same time. At least one of the alternatives
must be true. If all the alternatives can be false, then the disjunctive proposition is false.
Example: You are either a catholic or not. (true)
You are either a Protestant or a Catholic.
(false- one may be neither a Protestant nor a Catholic.)
There are two forms of the disjunctive proposition - the proper (perfect or strict) and the
improper (imperfect or broad) disjunctive statements.
1. The proper or perfect disjunctive statement asserts that the possibilities or alternatives
cannot be true and false at the same time. If the disjunctive proposition presents only two
alternatives, there must be contradictories.
Example: You are either honest or dishonest.
Aristotle lived either before, during or after the time of Christ.
2. The improper or imperfect disjunctive statement asserts that the alternatives cannot all
be false but can be true at the same time.
Examples: His sickness was due either to overwork or to an improper diet.
His unsatisfactory grades in college are caused either by his poor training in
high school by the teacher's inefficiency.
c) The conjunctive proposition formally asserts that certain possibilities cannot all be true.
Example: You cannot eat your cake and have it too. (true)
You cannot sing and dance at the same time.
(false - both alternatives can be true.)
CHAPTER III
INFERENCE GENERAL
The difference between the two modes of inferences may become clear as we study each
of these later. The following diagram shows the different forms of inferences under each type:
There are forms of inferences which are correct or valid. In these forms, the conclusions
follow necessarily from the given premises. There are forms which are incorrect or invalid. To
determine which are valid or correct and which are not, we have to know the rules governing
each type of inference. It is precisely the task of logic to provide with us with an understanding of
the laws or rules in the light of which inferences are judged as correct or incorrect, valid or invalid.
The primary question that the logician asks is not "Is it true?" but "Is it valid?" or "Does the
conclusion proceed necessarily from the given propositions?"
CHAPTER IV
OPPOSITIONAL INFERENCES
These four modes of oppositions are exemplified in what is traditionally called the square
of opposition which is illustrated in the following:
2. The law of sub-alternation applies to inferences proceeding from A to I or vice versa, and
from E to O or vice versa.
a. If the universal statement is true, the subaltern is also true. In other words, the truth of
the universal involves necessarily the truth of the particular. If A is true, I is also true; if E
is true, then O is also true.
Examples:
It is true that no benign tumor is curable.
So, it is true that some benign tumors are incurable.
b. If the particular statement is true, the subaltern is doubtful (that is, either true or false).
In other words, the truth of the particular does not necessarily involve the truth of the
universal. If I is true, then A is doubtful; if O is true, then E is doubtful.
Example:
It is true that some artists are creative.
Whether every artist is creative is doubtful.
c. If the particular statement is false, the subaltern is likewise false. Thus, the falsity of the
particular determines the falsity of the universal. If I is false, then A is also false; if O is
false, then E is also false.
Example:
That some radicals are reactionary is false.
Ergo, it is likewise false that every radical is reactionary.
d. If the universal is false, the subaltern is doubtful. That is to say, the falsity of the universal
does not necessarily determines the falsity of the particular. Given A as false, I may be true
or false or given E is false, O is doubtful.
Example:
It is false that no TV show is good for children.
Therefore, it is doubtful whether some TV shows are not good for
children.
Note regarding inferences from the universal to the particular. Considering the modern
logician's view on the existential import of propositions, one may question the validity of passing
from the universal statement (which does not assert the existence of the class of things it is talking
about) to the particular statement (which does have an existential import). The question may be
dismissed by saying that we assume, as did the traditional logicians, that every class of things we
talk about does have at least one member.
To summarize:
If A is true, O is false If A is false, O is true
I is true I is ?
E is false E is?
If E is true, I is false If E is false, I is true
O is true O is ?
A is false A is ?
If I is true, E is false If I is false, E is true
A is ? A is false
O is? O is true
If O is true, A is false If O is false, A is true
E is ? E is false
I is ? I is true
CHAPTER V
EDUCTION
Aside from the explicit meaning of a given proposition, there are meanings that are
implied in it. These "implicit" meanings are, so to speak, "folded within" or "folded under" the
given proposition. The process of drawing out these implied meaning is called eduction.
Eduction, then expresses explicitly in another proposition a meaning is contained
implicitly in a given proposition. We find in eduction another type of immediate inference which
consists in passing from truth-value of a given statement to the truth-value of the implied
judgement.
Inconvertibility of O
O proposition cannot be convertend without violating either the second or third rule for
a valid conversion. If we say that "Some S is not P, therefore, "Some P is not S," we find that there
is an overextension of S in the converse, thereby violating the third rule. For S in the converse to
be particular, the copula must be affirmative. But the copula must be negative since the rule is to
retain the quality of the copula in converting, and O has a negative quality.
We cannot, then, legitimately proceed from "Some taxi drivers are not honest" to "Some
honest are not taxi drivers," The second statement may be true, but its truth is not implied
necessarily in the given statement. It is not a valid converse of the given O proposition.
Example: Some taxi drivers are not honest Some Sp are not Pu.
Converts to
Some honest are not taxi drivers Sorne Pp are not Su.
2. Obversion
Obversion is the process whereby the given statement is called the obvertend we derive or
infer another proposition called the obverse whose subject is the same as original subject but
whose predicate is the contradictory of the given predicate. This second or inferred, proposition,
however, expresses the same meaning as the given proposition. Put in another way, to obvert is
to state negatively what is given positively, or to express positively what is given negatively.
Obversion of A, E, I and O
1. E obverts to A
No honest man is untrustworthy. No S is Un-P
Every man is trustworthy. Every S is P
2. A obverts to E
Every good artist is creative. Every S is P
No good artist is uncreative. No S is un-P
3. I obverts to O
Some men are emotionally insecure. Some S in in-P
Some men are not emotionally secure. Some S is not P
4. O obverts to I
Some lands are not productive. Some S is not P
Some lands are unproductive. Some S is un-P
Since the obvertend and obverse express the same thing, both have the same truth-
value. If the obvertend is trues the obverse is also true; if false, the obverse is also false.
3. Contraposition
Contraposition of A, E and O
A Proposition
Given: Every S is P
Obverse: No S is non-P
Converse: No non-P is S (PC)
Obverse: Every non-P is non-S (FC)
E Proposition
Given: No S is P
Obverse: Every S is non-P
Converse: Some non-P is S (PC)
Obverse: Some non-P is not non-S (FC)
O Proposition
Given: No S is P
(PC) Some non-P is C =c Some S is non-P =o Some S is not P
(FC) Some non-P is not non-S =o Some non-P is S =c Some S is non-P
=o Some S is not P
4. Inversion
Inversion involves obversion and conversion. The partial inverse of a given proposition is the
one whose subject is the contradictory of the given subject but whose predicate is the same as the
given predicate. The full inverse is an inferred proposition whose subject and predicate are the
contradictories of the given subject and predicate.
Given: Every S is P
Obverse: No S is non-P
Converse: No non-P is S
Obverse: Every non-P is non-S
Converse: Some non-S is non-P (FI)
Obverse: Some non-S is not P (PI)
Given: No S is P
Converse: No P is S
Obverse: Every P is non-S
Converse: Some non-S is P (PI)
Obverse: Some non-S is not non-P (FI)
Example: No wealthy man is financially insecure.
No S is P
(PI) Some non-wealthy men are financially insecure.
Some non-S are P
(FI) Some non-wealthy men are not financially secure.
Some non-S are not non-P.
If a given statement is true, the inverse is likewise true; if false, the inverse is doubtful.
This is based on the law of sub-alternation, because as we shall point out below, the inverse are
like the sub-alterns of the given propositions.
Given: No S is P c = No P is S
PI Some non-S is P c = Some P is non-S o = Some P is not S
Fl Non-S is not non-P o = Some non-S is P c = Some P is non-S
o = Some P is not S
CHAPTER VI
MEDIATE INFERENCE: REASONING
Inference is a way to the truth. But the immediate inferences dealt with in the previous
chapters do not really lead our minds very far on the road to knowledge and truth. Basically, each
of those inferences merely involves the explicitation of what is implicity given in a statement
recognized as true or false. It is by means of the other mode of inference that we can really
advance in our knowledge and carry ourselves along the way to the discovery of more important
truths. This mode of inference is called mediate inference, it is better known as reasoning.
In its most basic form, reasoning involves a process whereby from certain truths already
known, we proceed to another which is different from those that are given but necessarily
following from them. The new truth that is attained is called the conclusion and from those which
the conclusion is derived are referred to as the premises.
The argument expresses the verbally or in writing the process of reasoning. As expression
of the act of reasoning, the argument is a discourse which proves something (the conclusion) on
the basis of certain facts or propositions (the premises). In the argumentative discourse,
statements do not merely follow one another; rather, a statement follows from other statements.
It is to be distinguished from the expository discourse which simply narrates, describes or makes
an account of a certain phenomenon.
Conditions for a Totally Correct or Sound Argument
Like any other form of inference, there are two elements in an argument — the matter
and the form. For an argument to be totally correct, it must be both formally correct and
materially correct.
Material correctness refers to the truth of the propositions. Formal correctness refers to
the logical connection among the propositions such that one proposition (the conclusion) follows
necessarily from the other propositions (the premises). If an argument ha.s a conclusion that
necessarily follows from a given set of true premises, then the argument is a totally correct
argument.
Formal correctness which is identical with validity does not always go with material
correctness or truth.
An argument may be materially correct (that is, its propositions are true) but formally
incorrect (that is, invalid). The following illustrates this argument.
An argument may be materially incorrect but formally correct. An example is given below:
All lawyers are liars. (false)
Jesus Christ is a lawyer. (false)
Ergo, he is a liar. (false but valid)
There are, then, two sources of error in the argument — the matter and form. In the
construction as well as in the evaluation of arguments we must look into these formal and
material aspects.