Introduction To Elementary Logic
Introduction To Elementary Logic
Elementary Logic
Emi Okayasu
Summer 2015
The Plan
Introductions and Introduction to the course
Logistics
Some basics
The Goal
The tools well use to reach the goal
The Syllabus
Any questions?
Good News
Good News
The Plan
Introductions and Introduction to the course
Logistics
Some basics
The Goal
The tools well use to reach the goal
vs.
Either Yoshi or Mario won the race.
Yoshi didnt win, so Mario won the race.
Aristotle
Aristotle (300s BC) was the first
person to systematically study and
categorize valid arguments.
Aristotelian logic (more on this soon)
remained the gold standard of logic
for over 2000 years.
A note of caution
Logic can be really tricky. In order to do logic well, we need to be
really precise.
Specifically, well be defining terms that you might already be
familiar with in new ways.
For example, saying that Your point is valid is perfectly
acceptable in normal conversation.
In this course, however, we will be defining validity a little
differently, so beware!
Arguments
An argument is a group of
statements, one or more of which
(the premises) are claimed to provide
support for, or reasons to believe,
one of the others (the conclusion)
(from page 1 of your textbook)
Examples of Arguments
Its not the case that both
Sherlock and Moriarty are alive.
Sherlock is not alive. So, Moriarty
is alive.
Premise-Conclusion Form
Most of the arguments that youll encounter in this class will be
presented like this:
Validity
Validity is a property of arguments
(Why a logician would never say you have a valid point!)
Valid Arguments
For example
The sun rose this morning.
The sun rose yesterday morning.
The sun rose the day before yesterdays morning.
The sun will rise tomorrow morning.
Some arguments are not aiming to establish the truth of the
conclusion 100%. Some arguments are fine with establishing the
truth of the conclusion to 99% (or some other high percentage)
Deductive Arguments
Valid Arguments
Deductive Arguments
Valid Arguments
Deductive Arguments
In this course, we are only going to focus what makes a good
deductive argument.
If youre interested in what makes a good inductive argument,
take PHILOS 210
Validity is a property that only applies to deductive arguments.
You can assume (unless otherwise instructed) that whatever
argument you come across in this course is a deductive argument.
The Plan
Introduction to the course
Logistics
Some basics
The Goal
The tools well use to reach the goal
The Goal
Now that we have some of the basics down, we can be more
specific about our goal:
The goal of this course is to learn how to recognize what makes a
valid (or invalid) deductive argument, and then be able to prove
that a deductive argument is either valid or invalid.
Aristotles Observation
An
argument
is valid by
virtue of its
form.
-Aristotle
Since both arguments have the same form, they must either both
be valid or both be invalid.
One of the things well be learning is how to translate an English
argument into a FORMal language (i.e. a language that captures
the form of the argument)
MvY
~Y
M
Determine which of the following are valid. Do any have the same
form?
Charizard is a pokemon.
Charizard is a fire pokemon.
Valid Arguments
Why?
Deductive Arguments
Valid Arguments
Soundness
Soundness only applies to arguments that are valid.
A sound argument, in addition to being valid, has all true
premises.
That is,
Valid Arguments
Valid Arguments
Valid Arguments
Valid Arguments
Valid Arguments
Sound Arguments
The Plan
Introduction to the course
Logistics
Some basics
The Goal
The tools well use to reach the goal
Possible Worlds
Vocab terms
Possible Worlds
Possible worlds are entities that philosophers have invented to
help them do logic. Things happen in possible worlds.
For every possible combination of things that happen, there is a
possible world in which that combination of things does happen!
Possible worlds are maximally specific
So, there are a LOT of possible worlds
In fact, there are an infinite number of possible worlds
Philosophers talk about possible worlds A LOT. Some even think
that these alternate possible worlds actually exist.
Trent is tall.
Susie is not smart.
Actual world
()
And, FWIW, sentences like Emi likes whales are true in some possible worlds,
and false in other possible worlds.
We call these sentences logical contingencies.
Validity Redux
For the purposes of this class, heres THE definition of validity:
An argument is valid if and only if there is no possible world where the
premises are true and the conclusion false.
An argument is invalid if and only if there is a possible world where the
premises are true and the conclusion false.