118
LOGIC Section 2

Logic

  • Upload
    rolf

  • View
    36

  • Download
    2

Embed Size (px)

DESCRIPTION

Section 2. Logic. Arguments. An argument is an attempt to establish or prove a conclusion on the basis of one or more premises. . Example: . Arguments. An argument is an attempt to establish or prove a conclusion on the basis of one or more premises. . - PowerPoint PPT Presentation

Citation preview

Page 1: Logic

LOGICSection 2

Page 2: Logic

Arguments• An argument is an

attempt to establish or prove a conclusion on the basis of one or more premises.

Example:

Page 3: Logic

Arguments• An argument is an

attempt to establish or prove a conclusion on the basis of one or more premises.

Example: all historians are golfers, and my buddy Ric is an historian, so he must be a golfer.

Page 4: Logic

Arguments• To make it easier

to distinguish premises and conclusion, an argument can be put in standard form.

1. All historians are golfers.

2. Ric Dias is an historian.

Therefore: Ric Dias is an historian.

Page 5: Logic

Arguments• In standard form,

the premises are each assigned a number, and the conclusion is separated by a horizontal line.

1. All historians are golfers.

2. Ric Dias is an historian.

Therefore: Ric Dias is an historian.

Page 6: Logic

Logical Consistency• A set of claims is logically consistent

only if it is conceivable that all the claims are true at the same time.

Page 7: Logic

Logical Consistency• Logically

consistent:• Logically

inconsistent

Page 8: Logic

Logical Consistency• Logically

consistent:– My grandfather

lived in Jonesboro.– My grandfather is

dead.

• Logically inconsistent

Page 9: Logic

Logical Consistency• Logically

consistent:– My grandfather

lived in Jonesboro.– My grandfather is

dead.

• Logically inconsistent– My grandfather

lives in Jonesboro.– My grandfather is

dead.

Page 10: Logic

Logical Consistency requires careful thinking

• Logically Inconsistent

1. Abortion is wrong because it is wrong to take a human life.

2. Capital punishment is right because it is a just punishment for murder.

Page 11: Logic

Logical Consistency requires careful thinking

• Logically Consistent

1. Abortion is wrong because it is wrong to take an innocent human life.

2. Capital punishment is right because it is a just punishment for murder.

Page 12: Logic

Supplying Missing Premises1. All human beings are mammals.2. All mammals are warm blooded.Therefore: Socrates is warm blooded.

Page 13: Logic

Supplying Missing Premises1. Socrates is a human being.2. All human beings are mammals.3. All mammals are warm blooded.Therefore: Socrates is warm blooded.

Page 14: Logic

Logical Possibility vs. Causal Possibility

• A state of affairs is causally possible if it does not violate any of the laws of nature.

Page 15: Logic

Logical Possibility vs. Causal Possibility

• A state of affairs is causally possible if it does not violate any of the laws of nature.

• It is causally possible that the Twins will win the World Series this year.

Page 16: Logic

Causal Possibility• A state of affairs is causally

impossible if it violates any of the laws of nature.

• It is causally possible that the Twins will win the World Series this year. • It is not causally possible for Justin

Morneau to hit a baseball into outer space (at least, not quite).

Page 17: Logic

Logical Possibilty• A statement is logically impossible if

it involves a contradiction.

Page 18: Logic

Logical Possibilty• A statement is logically impossible if

it involves a contradiction. – It is logically possible that George W.

Bush lost the popular vote but was elected President.

Page 19: Logic

Logical Possibility• A statement is logically impossible if

it involves a contradiction. – It is logically possible that George W.

Bush lost the popular vote but was elected President.

– It is logically impossible that Bush lost the electoral college vote but was elected President.

Page 20: Logic

Logical Possibility• Philosophy is primarily concerned so

much with conceptual analysis.

Page 21: Logic

Logical Possibility• Philosophy is primarily concerned so

much with conceptual analysis. • Proving or ruling out logical

possibility is almost always more important than causal possibility.

Page 22: Logic

Lexical vs. Philosophical definitions.

• A lexical definition tells us how a word is frequently used

Page 23: Logic

Lexical vs. Philosophical definitions.

• A lexical definition tells us how a word is frequently used

• Coke = a soft drink; cocaine

Page 24: Logic

Lexical vs. Philosophical definitions.

• A philosophically rigorous definition attempts to precisely say what something is and isn’t.

Page 25: Logic

Lexical vs. Philosophical definitions.

• A philosophically rigorous definition attempts to precisely say what something is and isn’t.

• A triangle is a closed figure consisting of three line segments linked end-to-end.

Page 26: Logic

Necessary & Sufficient Conditions

• A condition in this context means anything that is true of something.

Page 27: Logic

Necessary & Sufficient Conditions

• A condition in this context means anything that is true of something.– So: being alive is a condition of

yourself, if indeed you are reading or hearing this.

Page 28: Logic

Necessary & Sufficient Conditions

• A condition in this context means anything that is true of something.– So: being alive is a condition of

yourself, if indeed you are reading or hearing this.

– Being a closed figure is a condition of being a triangle.

Page 29: Logic

Necessary Conditions• A condition q is necessary for p if

it is impossible for something to be p without being q.

Page 30: Logic

Necessary & Sufficient Conditions

• A condition q is necessary for p if it is impossible for something to be p without being q.

• Here p stands for some concept, and q for some condition that has to be true of that concept.

Page 31: Logic

Necessary & Sufficient Conditions

• A condition q is necessary for p if it is impossible for something to be p without being q.

• Example:– Being an animal is a necessary

condition for being a mammal.

Page 32: Logic

Necessary Conditions• Being an animal is a necessary

condition for being a mammal. • It must be an animal (q) if it is a

mammal (p).

Page 33: Logic

Necessary Conditions• A condition q is necessary for p if

it is impossible for something to be p without being q.

• Example:– Being an animal is a necessary

condition for being a mammal.

Page 34: Logic

Necessary Conditions

Animals

Mammals

Page 35: Logic

Necessary Conditions• A condition q is necessary for p if

it is impossible for something to be p without being q.

• Notice that the converse is not true– Being a mammal is not a necessary

condition for being a animal.

Page 36: Logic

Necessary Conditions

fish

fox

animal

mammal

Page 37: Logic

Sufficient Conditions• A condition q is sufficient for p if

it is impossible for something to be q without being p.

Page 38: Logic

Sufficient Conditions• A condition q is sufficient for p if

it is impossible for something to be q without being p.

• Here “sufficient” means enough.

Page 39: Logic

Sufficient Conditions• A condition q is sufficient for p if

it is impossible for something to be q without being p.

• Example:– Being a triangle is sufficient for having

three angles.

Page 40: Logic

Sufficient Conditions• A condition q is sufficient for p if

it is impossible for something to be q without being p.

• Example:– Being a triangle is sufficient for having

three angles. – Being a mammal is a sufficient

condition for being an animal.

Page 41: Logic

Sufficient Conditions• If you know that q is a triangle,

that’s enough to know that q has condition p (it has three angles.

Page 42: Logic

Sufficient Conditions• If you know that q is a triangle,

that’s enough to know that q has condition p (it has three angles.

• So q is a sufficient condition for p.

Page 43: Logic

Sufficient Conditions• If you know that q is a triangle,

that’s enough to know that q has condition p (it has three angles. – So q is a sufficient condition for p.

• If you know that q is a mammal, that’s enough to know that q is an animal. – So again q is a sufficient condition for

p.

Page 44: Logic

Necessary Conditions

fish

fox

fern

Page 45: Logic

Assignment• Work the Rauhut exercises on page

23.

Page 46: Logic

Counterexamples• In philosophy, as in science, all

useful concepts must be tested.

Page 47: Logic

Counterexamples• In philosophy, as in science, all

useful concepts must be tested. • One way of testing a definition is by

challenging the necessary and sufficient conditions implied in the definition.

Page 48: Logic

A Famous Counterexample• Man is a

featherless biped.

Page 49: Logic

A Famous Counterexample• Man is a

featherless biped. • Counter example:

then a plucked chicken would be a man.

Page 50: Logic

A Common Counterexample1. It is wrong to kill

a human being when one can avoid it.

2. One does not have to execute criminals.

Therefore: capital punishment is wrong.

Page 51: Logic

A Common CounterexampleIt is wrong to kill a

human being when one can avoid it.

Counter Examples:1. Self defense2. Just War

Page 52: Logic

The Structure of Arguments• Every argument has two

components:

Page 53: Logic

The Structure of Arguments• Every argument has two

components:1. A conclusion: some assertion that the

argument tries to establish (prove); and

Page 54: Logic

The Structure of Arguments• Every argument has two

components:1. A conclusion: some assertion that the

argument tries to establish (prove); and

2. One or more premises: reasons that are offered to support that claim.

Page 55: Logic

Deductive vs. Inductive Arguments

• Every deductive argument tries to show that the premises, taken together, are sufficient to establish the conclusion.

Page 56: Logic

Deductive vs. Inductive Arguments

• Every deductive argument tries to show that the premises, taken together, are sufficient to establish the conclusion.

Page 57: Logic

Deductive vs. Inductive Arguments

1. If something happened before I was born, I cannot be responsible for it.

Page 58: Logic

Deductive vs. Inductive Arguments

1. If something happened before I was born, I cannot be responsible for it.

2. The assassination of Abraham Lincoln happened before I was born.

Page 59: Logic

Deductive vs. Inductive Arguments

1. If something happened before I was born, I cannot be responsible for it.

2. The assassination of Abraham Lincoln happened before I was born.

Therefore: I cannot be responsible for the assassination of Lincoln.

Page 60: Logic

Deductive vs. Inductive Arguments

An inductive argument attempts to show that a set of premises makes a conclusion more or less likely.

Page 61: Logic

Deductive vs. Inductive Arguments

1. My great grandfather died of a heart attack.

Page 62: Logic

Deductive vs. Inductive Arguments

1. My great grandfather died of a heart attack.

2. My grandfather died of a heart attack.

Page 63: Logic

Deductive vs. Inductive Arguments

1. My great grandfather died of a heart attack.

2. My grandfather died of a heart attack.

3. My father died of a heart attack.

Page 64: Logic

Deductive vs. Inductive Arguments

1. My great grandfather died of a heart attack.

2. My grandfather died of a heart attack.

3. My father died of a heart attack.Therefore I will die of a heart attack.

Page 65: Logic

Deductive vs. Inductive Arguments

• In a successful deductive argument, the premises are logically sufficient to establish the conclusion.

Page 66: Logic

Deductive vs. Inductive Arguments

• In a successful deductive argument, the premises are logically sufficient to establish the conclusion.

• No matter how good an inductive argument is, the premises are never sufficient to logically establish the conclusion.

Page 67: Logic

Assignments and Exercises• Rauhut, pp. 28-32. • Work the problems out on paper and

have it with you in class.

Page 68: Logic

Judging Deductive Arguments

• Every deductive argument tries to show that the premises, taken together, are sufficient to establish the conclusion.

Page 69: Logic

Valid Deductive Arguments• A valid argument is a good deductive

argument: the premises are in fact sufficient to logically guarantee the conclusion.

Page 70: Logic

Valid Deductive Arguments• A valid argument

is a good deductive argument: the premises are in fact sufficient to logically guarantee the conclusion.

Page 71: Logic

Valid Deductive Arguments• A valid argument

is a good deductive argument: the premises are in fact sufficient to logically guarantee the conclusion.

1. All communists are enemies of freedom.

Page 72: Logic

Valid Deductive Arguments• A valid argument

is a good deductive argument: the premises are in fact sufficient to logically guarantee the conclusion.

1. All communists are enemies of freedom.

2. Stalin was a communist leader.

Page 73: Logic

Valid Deductive Arguments• A valid argument

is a good deductive argument: the premises are in fact sufficient to logically guarantee the conclusion.

1. All communists are enemies of freedom.

2. Stalin was a communist leader.

Therefore: Stalin was an enemy of freedom.

Page 74: Logic

A Diagram

Enemies of freedom

Communists

Stalin

Page 75: Logic

Invalid Deductive Arguments

• An invalid argument is deductive argument that fails.

Page 76: Logic

Invalid Deductive Arguments

• An invalid argument is deductive argument that fails.

• The Premises do not logically guarantee the conclusion.

Page 77: Logic

Invalid Deductive Arguments

• An invalid argument is deductive argument that fails.

• The Premises do not logically guarantee the conclusion.

1. All communists are enemies of freedom.

Page 78: Logic

Invalid Deductive Arguments

• An invalid argument is deductive argument that fails.

• The Premises do not logically guarantee the conclusion.

1. All communists are enemies of freedom.

2. Adolph Hitler was not a communist leader.

Page 79: Logic

Invalid Deductive Arguments

• An invalid argument is deductive argument that fails.

• The Premises do not logically guarantee the conclusion.

1. All communists are enemies of freedom.

2. Adolph Hitler was not a communist leader.

Therefore: Hitler was not an enemy of freedom.

Page 80: Logic

A Diagram

Enemies of freedom

Communists

Hitler

Page 81: Logic

Sound Deductive Arguments

A deductive argument is sound if and only if:

1) the argument is valid; and

Page 82: Logic

Sound Deductive Arguments

A deductive argument is sound if and only if:

1) the argument is valid; and 2) the premises are in fact true.

Page 83: Logic

Sound Deductive Arguments

• A deductive argument is sound if:

1) the argument is valid; and

2) the premises are in fact true.

1. All human beings have two biological parents.

Page 84: Logic

Sound Deductive Arguments

• A deductive argument is sound if:

1) the argument is valid; and

2) the premises are in fact true.

1. All human beings have two biological parents.

2. Bill is a human being.

Page 85: Logic

Sound Deductive Arguments

• A deductive argument is sound if:

1) the argument is valid; and

2) the premises are in fact true.

1. All human beings have two biological parents.

2. Bill is a human being.

Therefore: Bill has two biological parents.

Page 86: Logic

Unsound Arguments• This is very important!

Page 87: Logic

Unsound Arguments• This is very important!• An argument can be valid but

unsound.

Page 88: Logic

Unsound Arguments• This is very important!• An argument can be valid but

unsound.• That would mean that it’s premise(s)

logically guarantee the conclusion;

Page 89: Logic

Unsound Arguments• This is very important!• An argument can be valid but

unsound.• That would mean that it’s premise

logically guarantee the conclusion; • But: at least one premise is false.

Page 90: Logic

Unsound Arguments• This is very important!• An argument can be valid but

unsound.• That would mean that it’s premise

logically guarantee the conclusion; • But: at least one premise is false.• In such a case, an argument may be

valid, but nonetheless have a false conclusion.

Page 91: Logic

Unsound Arguments1. All historians are space aliens.2. Ric Dias is an historian.Therefore: Ric Dias is a space alien.

Page 92: Logic

Unsound Arguments1. All historians are

space aliens.2. Ric Dias is an

historian.Therefore: Ric Dias

is a space alien.

• Why is the argument valid?

Page 93: Logic

Unsound Arguments1. All historians are

space aliens.2. Ric Dias is an

historian.Therefore: Ric Dias

is a space alien.

• Why is the argument valid?

• Because the logical meaning of the premises guarantees the logical meaning of the conclusion.

Page 94: Logic

Unsound Arguments1. All historians are

space aliens.2. Ric Dias is an

historian.Therefore: Ric Dias

is a space alien.

• Why is the argument valid?

• If the premises were true, the conclusion would have to be true.

Page 95: Logic

Unsound Arguments1. All historians are

space aliens.2. Ric Dias is an

historian.Therefore: Ric Dias

is a space alien.

• Why is the argument valid?

• Why is the argument unsound?

Because premise one is demonstrably false.

Page 96: Logic

Assignment:• Rauhut, p 33.

Page 97: Logic

Forms of Deductive Arguments

• You need to know four basic forms of valid arguments.

Page 98: Logic

Forms of Deductive Arguments

• You need to know four basic argument forms.

• To recognize the forms we will use symbols for the basic terms.

Page 99: Logic

Forms of Deductive Arguments

1. If Ric Dias is an historian, then he is a space alien.

2. Ric Dias is an historian.

Therefore: Ric Dias is a space alien.

1. If p, then q. 2. p. Therefore: q.

Page 100: Logic

Modus Ponens1. Modus ponens

has the form described to the right.

1. If p, then q. 2. p. Therefore: q.

Page 101: Logic

Modus Ponens1. Modus ponens

has the form described to the right.

2. If an argument really has that form, then the argument is valid.

1. If p, then q. 2. p. Therefore: q.

Page 102: Logic

Modus Ponens1. Modus ponens has

the form described to the right.

2. If an argument really has that form, then the argument is valid.

3. Modus ponens means “affirming mode.”

1. If p, then q. 2. p. Therefore: q.

Page 103: Logic

Modus Tollens1. Modus tollens has

the form described to the right.

1. If p, then q. 2. Not q.Therefore: not p.

Page 104: Logic

Modus Tollens1. If it’s a mammal,

then its an animal.

2. It’s not an animal.Therefore: it’s not a

mammal.

1. If p, then q. 2. Not q.Therefore: not p.

Page 105: Logic

Modus Tollens1. Modus tollens is

always valid. 1. If p, then q. 2. Not q.Therefore: not p.

Page 106: Logic

Disjunctive syllogism1. Either p or q. 2. Not q.Therefore: p.

Page 107: Logic

Disjunctive syllogism1. Either p or q. 2. Not q.Therefore: p.

1. Either KCB was my father, or I am a bastard.

2. I am not a bastard.

Therefore: KCB was my father.

Page 108: Logic

Hypothetical syllogism1. If p then q. 2. If q then r.Therefore: if p then

r.

1. If I pray every day, then I will go to Heaven.

2. If I go to Heaven, then I will get to talk to Socrates.

Therefore: If I pray every day, I will get to talk to Socrates.

Page 109: Logic

The Four FormsModus Ponens1. If p, then q. 2. p. Therefore: q.

Modus Tollens3. If p, then q. 4. Not q.Therefore: not p.

Disjunctive Syllogism1. Either p or q. 2. Not q.Therefore: p.

Hypothetical Syllogism3. If p then q. 4. If q then r.Therefore: if p then r.

Page 110: Logic

Assignment• Rauhut, p. 37-38.

Page 111: Logic

Evaluating Inductive Arguments

• Inductive arguments can only make a conclusion more likely;

Page 112: Logic

Evaluating Inductive Arguments

• Inductive arguments can only make a conclusion more likely;

• they cannot guarantee that the outcome follows from the premises.

Page 113: Logic

Enumerative Inductive Arguments

• In this type of argument, the larger the number of examples or cases that confirm the conclusion,

Page 114: Logic

Enumerative Inductive Arguments

• In this type of argument, the larger the number of examples or cases that confirm the conclusion,

• The more likely the conclusion is said to be.

Page 115: Logic

Enumerative Inductive Arguments

1. All the ravens every observed in all countries and throughout history have been black.

Therefore: all ravens are black.

Page 116: Logic

Analogical Inductive Arguments

These arguments have this form: 1. X is like Y2. X has property p; Therefore: Y will have property p.

Page 117: Logic

Analogical Inductive Arguments

These arguments have this form:

1. X is like Y2. X has property p; Therefore: Y will

have property p.

• Example:1. Terrorism is like

Cancer.2. To survive cancer, you

must act aggressively and early.

Therefore: we should strike at terrorists will our forces as soon as we detect them.

Page 118: Logic

Analogical Inductive Arguments

1. Analogical Arguments are generally very weak.