+ All Categories
Home > Documents > INTRO LOGIC Chapter 2courses.umass.edu/phil110h/lecture/lect03.pdf · 2006-05-22 · 1 1 INTRO...

INTRO LOGIC Chapter 2courses.umass.edu/phil110h/lecture/lect03.pdf · 2006-05-22 · 1 1 INTRO...

Date post: 26-Jun-2020
Category:
Upload: others
View: 0 times
Download: 0 times
Share this document with a friend
10
1 1 INTRO LOGIC DAY 03 2 Schedule for Unit 1 ü ü Intro Day 1 Chapter 4 Day 7 EXAM #1 Day 8 Chapter 4 Day 6 Chapter 4 Day 5 Chapter 3 Day 4 Chapter 2 Day 3 Chapter 1 Day 2 40% of Exam 1 60% of Exam 1 warm-up 3 Chapter 2 Sentential Logic 4 Review An argument is valid or invalid purely in virtue of its form. Form is a function of the arrangement of the terms in the argument, where the LOGICAL TERMS play a primary role.
Transcript
Page 1: INTRO LOGIC Chapter 2courses.umass.edu/phil110h/lecture/lect03.pdf · 2006-05-22 · 1 1 INTRO LOGIC DAY 03 2 Schedule for Unit 1 ü üDay 1 Intro Day 7 Chapter 4 Day 8 EXAM #1 Day

1

1

INTRO LOGICDAY 03

2

Schedule for Unit 1

ü

ü IntroDay 1

Chapter 4Day 7

EXAM #1Day 8

Chapter 4Day 6

Chapter 4Day 5

Chapter 3Day 4

Chapter 2Day 3

Chapter 1Day 2

40% of Exam 1

60% of Exam 1

warm-up

3

Chapter 2Sentential Logic

4

Review

An argument is valid or invalidpurely in virtue of its form.

Form is a function of the arrangement of the terms in the argument, where theLOGICAL TERMS play a primary role.

Page 2: INTRO LOGIC Chapter 2courses.umass.edu/phil110h/lecture/lect03.pdf · 2006-05-22 · 1 1 INTRO LOGIC DAY 03 2 Schedule for Unit 1 ü üDay 1 Intro Day 7 Chapter 4 Day 8 EXAM #1 Day

2

5

Classical Syllogistic Logic

Logical terms Example Arguments

allsomenoarenot

all X are Yall Y are Z/ all X are Z

all X are Yno Y are Z/ no X are Z

all X are Ysome X are not Z/ some Y are not Z

6

Sentential Logic

In sentential logicthe logical terms are

statement connectives

7

What is a Statement Connective?A statement connective (or simply, a connective)is an "incomplete" expression –i.e., an expression with one or more blanks –such that,whenever the blanks are filled by statements, the resulting expression is also a statement.

connective statement2statement1

statement3

8

Example 1

AND S2S1

AND grass is greensnow is white

AND it is sleetingit is raining

AND 3+3 = 62+2 = 4

Page 3: INTRO LOGIC Chapter 2courses.umass.edu/phil110h/lecture/lect03.pdf · 2006-05-22 · 1 1 INTRO LOGIC DAY 03 2 Schedule for Unit 1 ü üDay 1 Intro Day 7 Chapter 4 Day 8 EXAM #1 Day

3

9

1-Place, 2-Place, …

a 1-place connective has 1 blanka 2-place connective has 2 blanksa 3-place connective has 3 blanksetc.

10

Examples – 1-place

SIT IS FALSE THAT

SIT IS POSSIBLE THAT

SJay BELIEVES THAT

SKay HOPES THAT

11

Examples – 2-place

AND S2S1

OR S2S1

IF S2S1

ONLY IF S2S1

IF THEN S2S1

UNLESS S2S1

12

Examples – 3-place

S2 OTHERWISEIF S3S1

S2 IN WHICH CASEUNLESS S3S1

Page 4: INTRO LOGIC Chapter 2courses.umass.edu/phil110h/lecture/lect03.pdf · 2006-05-22 · 1 1 INTRO LOGIC DAY 03 2 Schedule for Unit 1 ü üDay 1 Intro Day 7 Chapter 4 Day 8 EXAM #1 Day

4

13

Atoms and Molecules

A compound (molecular) statement isone that is constructed from one or more smaller statements by the application of a statement connective.

A simple (atomic) statement isone that is not constructed out of smaller statements by the application of a statement connective.

14

A Simplification

Intro Logic is not concernedwith all connectives,

but only special ones – namely…

truth-functional connectives

15

Truth-Values

the truth-value of a true statement is T

the truth-value of a false statement is F

16

Truth-Functional

To say that a connective istruth-functional is to say thatthe truth-value of any compound statementproduced by that connectiveis a function of the truth-valuesof its immediate parts.

the whole is merely the sum of its parts

Page 5: INTRO LOGIC Chapter 2courses.umass.edu/phil110h/lecture/lect03.pdf · 2006-05-22 · 1 1 INTRO LOGIC DAY 03 2 Schedule for Unit 1 ü üDay 1 Intro Day 7 Chapter 4 Day 8 EXAM #1 Day

5

17

Abbreviation Scheme

1. atomic sentences are abbreviated by upper-case letters (of the Roman alphabet)

2. connectives are abbreviated by special symbols (logograms)

3. compound sentences are abbreviated by algebraic-combinations of 1 and 2

18

Example 1 – Conjunction

( R & S )it is raining and it is sleeting

&and

Sit is sleeting

Rit is raining

abbreviationexpression

19

Terminology

The symbol ‘&’ is called ampersand,

which is a stylized way of writingthe Latin word ‘et’,

which means “and”.

& & & & & &

20

Terminology (cont)

R&S is called the conjunction of R and S.

R and S are individually called conjuncts.

the word ‘ampersand’ is a children’s pronunciation of the original word

and per se and

Page 6: INTRO LOGIC Chapter 2courses.umass.edu/phil110h/lecture/lect03.pdf · 2006-05-22 · 1 1 INTRO LOGIC DAY 03 2 Schedule for Unit 1 ü üDay 1 Intro Day 7 Chapter 4 Day 8 EXAM #1 Day

6

21

Conjunction is truth-functional

F

F

T

T

R

F

T

F

T

S

case 4

case 3

case 2

case 1

R&S

F

F

F

T

22

Slogan

A conjunction A&B is trueif and only if

both conjuncts A and B are true.

A conjunction A&B is true if both conjuncts A and B are true; otherwise, it is false.

23

Example 2 – Disjunction (‘or’)

( R ∨ S )it is raining or it is sleeting

∨or

Sit is sleeting

Rit is raining

abbreviationexpression

24

Terminology

The symbol ‘∨’ is called wedge, which is a stylized way of writing the letter ‘v’,which initializes the Latin word ‘vel’,which means “or”.

R∨S is called the disjunction of R and S.

R and S are individually called disjuncts.

Page 7: INTRO LOGIC Chapter 2courses.umass.edu/phil110h/lecture/lect03.pdf · 2006-05-22 · 1 1 INTRO LOGIC DAY 03 2 Schedule for Unit 1 ü üDay 1 Intro Day 7 Chapter 4 Day 8 EXAM #1 Day

7

25

Exclusive Sense vs. Inclusive Sense

would you like soup, OR salad?

would you like coffee or dessert?

would you like a baked potato,OR French fries?

would you like cream or sugar?

26

Exclusive ‘or’ vs. Inclusive ‘or’exclusive ‘or’ soup OR saladinclusive ‘or’ cream or sugar

Logic concentrates on inclusive ‘or’.

Latin has two words:‘aut’ is exclusive ‘or’‘vel’ is inclusive ‘or’

Legalistic English has the word ‘and/or’

27

Disjunction is truth-functional

F

F

T

T

R

F

T

F

T

S

case 4

case 3

case 2

case 1

R∨S

F

T

T

T

inclusive ‘or’

28

Slogan

A disjunction A∨B is trueif and only if

at least one disjunct A or B is true.

A disjunction A∨B is false if both disjuncts A and B are false;

otherwise, it is true.

Page 8: INTRO LOGIC Chapter 2courses.umass.edu/phil110h/lecture/lect03.pdf · 2006-05-22 · 1 1 INTRO LOGIC DAY 03 2 Schedule for Unit 1 ü üDay 1 Intro Day 7 Chapter 4 Day 8 EXAM #1 Day

8

29

a Connective that is not Truth-Functional

R because S

F

F

T

T

R

F

T

F

T

S S because R

F

F

F

???

F

F

F

???

merely knowing that R and S are both true tells us nothing about whether one is responsible for the other

30

Example 3 – Negation (‘not’)

~Rit is not raining

~not

Rit is raining

abbreviationexpression

31

Terminology

The symbol ‘∼’ is called “tilde”(as in ‘matilda’);which is a highly stylized way of writing the letter ‘N’,which is short for ‘not’.

32

Negation is truth-functional

if R is true, then ∼R is falseif R is false, then ∼R is true

R and ∼R have opposite truth-values

Page 9: INTRO LOGIC Chapter 2courses.umass.edu/phil110h/lecture/lect03.pdf · 2006-05-22 · 1 1 INTRO LOGIC DAY 03 2 Schedule for Unit 1 ü üDay 1 Intro Day 7 Chapter 4 Day 8 EXAM #1 Day

9

33

Example 4 – ‘if...then...’

( R → S )if my car runs out of gas, then my car stops

( S → R )if my car stops,then my car runs out of gas

→if… then…

Smy car stops

Rmy car runs out of gas

R→S is not equivalent to S→R.

34

Terminology

A→C is called a conditional (of A and C).

A is called the antecedent.

if antecedent, then consequent

C is called the consequent.

35

Aside

the prefix ‘ante’ means ‘before’

other words that contain ‘ante’

anteantechamberantediluvianantebellumante meridian (a.m.)antipasto (Italian form)

36

Non-Truth-Functional ‘If-Then’

L → C if I lived in L.A., then I would live in CAL

CI live in California

N → Cif I lived in NYC, then I would live in CAL

NI live in New York City

LI live in Los Angeles

Page 10: INTRO LOGIC Chapter 2courses.umass.edu/phil110h/lecture/lect03.pdf · 2006-05-22 · 1 1 INTRO LOGIC DAY 03 2 Schedule for Unit 1 ü üDay 1 Intro Day 7 Chapter 4 Day 8 EXAM #1 Day

10

37

NOT TRUTH-FUNCTIONAL!

T

L→C

F

I live in LA

F

I live in Cal

F

N→C

F

I live in NYC

F

I live in Cal

in one case "adding" F and F produces F

in one case "adding" F and F produces T

38

Truth-Functional ‘If-Then’

R → Sif it rains,then I (will) shut the windows

SI shut the windows

Rit rains

39

Truth-Functional version of ‘if-then’

F

F

T

T

R

F

T

F

T

S

case 4

case 3

case 2

case 1

R→S

T

T

F

T

true by “default”

40

The Oddness of Cases 3 and 4

If you promise to shut the windowsIF it rains, then only one scenario (case) constitutes breaking your promise –

the scenario in which it rains but you don’t shut the windows.

In case 3 and case 4, you keep your promise "by default".


Recommended