(Introduction To Logic) Teacher Ismatullah Butt Associate Professor
(Introduction To Logic) Teacher Ismatullah Butt Associate Professor
Lecture 2
(Introduction to Logic)
Teacher;
ISMATULLAH BUTT
Associate Professor
Creative Thinking & Reasoning
2
Lecture Contents:
What is Logic?
What is not Logic?
Why study Logic?
Some Definitions
Premise and Conclusion Indicators
Argument-Form and Instance
Types of Criteria for Successful Arguments
Logic is…
3
Intrinsic value
Enjoyment of learning
Instrumental value
“toolkit”
Improve writing, reading, speaking skills
Statement:
A statement is a declarative sentence; a sentence which attempts to state a
fact—as opposed to a question, command, exclamation, etc.
Argument:
an argument is a (finite) set of statements, some of which—the premises—
are supposed to support, or give reasons for, the remaining statement—the
conclusion
Logic:
Logic is the study of
(i) criteria for distinguishing successful from unsuccessful argument,
(ii) methods for applying those criteria, and
(iii) related properties of statements such as implication, equivalence,
logical truth, consistency, etc.
Truth Value:
The truth value of a statement is just its truth or falsehood; we assume that
every statement has either the truth value true, or the truth value false, but
not both
An Example Argument
7
Premise Indicators:
as, since, for, because, given that, for the reason that,
inasmuch as
Conclusion Indicators:
therefore, hence, thus, so, we may infer,
consequently, it follows that
Standard Form
9
Premise 1
Premise 2
All humans are mortal
Premise n Socrates is human
Conclusion Socrates is mortal
Argument Form and Instance
10
Instances:
Form:
All humans
F are G are mortal
x is F is human
Socrates
x is G is mortal
Socrates
Deductive
Inductive
These criteria have some things in common, but will turn out to be
importantly different
The distinction is NOT
Deductive = general to specific
Inductive = specific to general
THE ABOVE IS INCORRECT
The distinction will involve the nature of the link between premises and
conclusion
This is best illustrated…
Argument 1A
13
F1 G1
Argument 1D
14
F1 G1
Argument 1B
15
F1 G1