Reasoning for Humans: Clear Thinking in an Uncertain World PHIL 171 - - PowerPoint PPT Presentation

reasoning for humans clear thinking in an uncertain world
SMART_READER_LITE
LIVE PREVIEW

Reasoning for Humans: Clear Thinking in an Uncertain World PHIL 171 - - PowerPoint PPT Presentation

Reasoning for Humans: Clear Thinking in an Uncertain World PHIL 171 Eric Pacuit Department of Philosophy University of Maryland pacuit.org Recap: Truth Tables ( ) ( ) T T T T T T T F F T F T F


slide-1
SLIDE 1

Reasoning for Humans: Clear Thinking in an Uncertain World

PHIL 171

Eric Pacuit

Department of Philosophy University of Maryland pacuit.org

slide-2
SLIDE 2

Recap: Truth Tables

ϕ ψ (ϕ ∧ ψ) T T T T F F F T F F F F ϕ ψ (ϕ ∨ ψ) T T T T F T F T T F F F ϕ ψ (ϕ → ψ) T T T T F F F T T F F T ϕ ψ (ϕ ↔ ψ) T T T T F F F T F F F T ϕ ¬ϕ T F F T

1

slide-3
SLIDE 3

Valid Argument:

2

slide-4
SLIDE 4

Valid Argument: An argument is valid provided that there is no truth value assignment that makes all the premises true and the conclusion false.

2

slide-5
SLIDE 5

Valid Argument: An argument is valid provided that there is no truth value assignment that makes all the premises true and the conclusion

  • false. (So, any truth-value assignment that makes all the premises true

also makes the conclusion true). Invalid Argument:

2

slide-6
SLIDE 6

Valid Argument: An argument is valid provided that there is no truth value assignment that makes all the premises true and the conclusion

  • false. (So, any truth-value assignment that makes all the premises true

also makes the conclusion true). Invalid Argument: An argument is invalid just in case it is not valid, i.e., if there is some truth-value assignment that makes the premises true and the conclusion false. Counterexample: A truth-value assignment that makes the premises of an argument true and its conclusion false is called a counterexample to the argument.

2

slide-7
SLIDE 7

Valid Argument: An argument is valid provided that there is no truth value assignment that makes all the premises true and the conclusion

  • false. (So, any truth-value assignment that makes all the premises true

also makes the conclusion true). Invalid Argument: An argument is invalid just in case it is not valid, i.e., if there is some truth-value assignment that makes the premises true and the conclusion false. Counterexample: A truth-value assignment that makes the premises of an argument true and its conclusion false is called a counterexample to the argument. So, an argument if valid if there are no counterexamples.

2

slide-8
SLIDE 8

Construct a truth table with columns for ϕ1, ϕ2, . . ., ϕn, and ψ. Is there a row in which ϕ1, ϕ2, . . ., ϕn are all true and ψ is false? The argument is valid The argument is invalid (there is a counterexample) no yes

3

slide-9
SLIDE 9

A → C B → C A ∨ B ∴ C A B C A → C B → C A ∨ B T T T T T T T T F F F T T F T T T T T F F F T T F T T T T T F T F T F T F F T T T F F F F T T F

4

slide-10
SLIDE 10

A → C B → C A ∨ B ∴ C A B C A → C B → C A ∨ B T T T T T T T T F F F T T F T T T T T F F F T T F T T T T T F T F T F T F F T T T F F F F T T F

4

slide-11
SLIDE 11

A → C B → C A ∨ B ∴ C A B C A → C B → C A ∨ B T T T T T T T T F F F T T F T T T T T F F F T T F T T T T T F T F T F T F F T T T F F F F T T F

4

slide-12
SLIDE 12

A → C B → C A ∨ B ∴ C A B C A → C B → C A ∨ B T T T T T T T T F F F T T F T T T T T F F F T T F T T T T T F T F T F T F F T T T F F F F T T F

4

slide-13
SLIDE 13

A → C B → C A ∨ B ∴ C This argument is valid because there is no truth-value assignment that makes the premises true (A → C, B → C and A ∨ B) and the conclusion (C) false.

4

slide-14
SLIDE 14

A → C B → C A ∨ B ∴ C A B C A → C B → C A ∨ B T T T T T T T T F F F T T F T T T T T F F F T T F T T T T T F T F T F T F F T T T F F F F T T F

4

slide-15
SLIDE 15

A → C B → C A ∨ B ∴ C A B C A → C B → C A ∨ B T T T T T T T T F F F T T F T T T T T F F F T T F T T T T T F T F T F T F F T T T F F F F T T F

4

slide-16
SLIDE 16

A → C B → C A ∨ B ∴ C This argument is valid because in every row in which the conclusion (C) is false, at least one of the premises (A → C, B → C or A ∨ B) is false.

4

slide-17
SLIDE 17

Is the following argument valid or invalid? You must show your answer. (A ∨ B) (B → C) ∴ (B ∧ C)

5

slide-18
SLIDE 18

(A ∨ B) (B → C) ∴ (B ∧ C) A B C (A ∨ B) (B → C) (B ∧ C) T T T T T T T T F T F F T F T T T F T F F T T F F T T T T T F T F T F F F F T F T F F F F F T F

6

slide-19
SLIDE 19

(A ∨ B) (B → C) ∴ (B ∧ C) A B C (A ∨ B) (B → C) (B ∧ C) T T T T T T T T F T F F T F T T T F T F F T T F F T T T T T F T F T F F F F T F T F F F F F T F The argument is invalid, because there is a counterexample.

6

slide-20
SLIDE 20

Determine if the following arguments are valid or invalid. (You must explain your answers.)

  • 1. (A ∨ B), (B → C) ⇒ (B ∧ C)
  • 2. (A → (B → C)), (B ∧ C) ⇒ ¬¬A
  • 3. ((A ∧ B) ∨ (A → ¬B)), (B → C) ⇒ (¬C → A)
  • 4. ((A ∧ B) → (B ∧ C)), (B ∧ D) ⇒ (A → (C → ¬D))

7