Class

Date

Topic Name

Homework to do before the next class meets

1

Friday
August 28

Arguments; Validity and Soundness

§1.1: I.1, 3, 7, 14, 20, 27
§1.4: I.1, 3, 7, 8, 10
§1.2: VI.1, 2, 4, 7, 9

2

Monday
August 31

Translation using Propositional Logic; Wffs

§6.1: I.1-11, 13-16, 21-23, 29, 30, 38, 39, 41-43
Homework Handout #1: Translating from Propositional Logic
§6.1: III.1-10

3

Wednesday
September 2

Truth Functions

Read Fisher, pp 106-111.

4

Friday
September 4

Philosophy Friday #1: Conditionals

§6.1: I.34-37, 45, 47, 48, 50
§6.2: I.1-4, 9, 10
§6.2: III.1-3, 6-11, 12, 21, 22, 24
§6.2: II.1-3, 13, 15
§6.2: IV.1-5, 11, 12

5

Monday
September 7

Truth Tables for Propositions

§6.3: I.1-4, 11, 14
§6.3: II.1, 3, 5, 11
§6.3: III.1, 9, 10

6

Wednesday
September 9

Truth Tables for Arguments

Read Fisher, pp 46-52.
Read Searle, “Can Computers Think?”

7

Friday
September 11

Philosophy Friday #2:
Syntax and Semantics

§6.4: II.2, 5, 10, 17, 19
§6.4: I.1, 3, 5, 10

8

Monday
September 14

Invalidity and Inconsistency:
Indirect Truth Tables

§6.5: I.3, 6, 12, 13, 15
§6.5: II.2, 5, 9

9

Wednesday
September 16

Rules of Implication I

Prepare for Test #1.

10

Friday
September 18

Test #1: Chapters 1 and 6

§7.1: III.1-3, 5, 7, 8, 14, 21, 22
§7.1: IV.1, 3, 8

11

Monday
September 21

Rules of Implication II

Homework Handout #2: Rules of Implication
§7.2: III.2, 4, 8, 12, 16, 22
§7.2: IV.1, 2, 6, 8

12

Wednesday
September 23

Rules of Replacement I

Read Fisher pp 91-105 and pp 125-131.

13

Friday
September 25

Philosophy Friday #3: Three Valued Logics

§7.3: III.6-12, 14, 18, 19, 22, 26, 32
§7.3: IV.4, 9

14

Monday
September 28

Rules of Replacement II

§7.4: III.2-5, 8, 10, 21, 24, 36, 38, 45
§7.4: IV.6, 8

15

Wednesday
September 30

Practice with Proofs

Prepare for Test #2.

16

Friday
October 2

Test #2: Derivations

Read Fisher 53-8.

17

Monday
October 5

Conditional Proof

§7.5: I.3, 7, 9, 11, 14, 18, 20
§7.5: II.3, 5
Note: You need not try each problem without conditional proof, though trying a few may be edifying.
§7.7: 1, 3, 5

18

Wednesday
October 7

Indirect Proof

§7.6: I.1, 2, 4, 6, 13, 15, 17
§7.6: II.2, 4
Note: You need not try each problem without indirect or conditional proof, though trying a few may be edifying.
§7.7: 2, 9, 13, 16, 18

19

Friday
October 9

Philosophy Friday #4: Adequacy

§7.6: I.7, 8, 11, 16, 19
§7.7: 6, 10, 14, 17, 19

20

Monday
October 12

Predicate Logic, Translation I

Prepare for Test #3.
Homework Handout #3: Practice Problems for Test #3

21

Wednesday
October 14

Test #3: Conditional and Indirect Methods

§8.1: 2-4, 6-11, 14-19, 23-28, 35-37

October 16

Fall Break

22

Monday
October 19

Predicate Logic, Translation II

§8.1: 21, 31-34, 38-40, 42, 44-6, 50-55, 58, 60
Homework Handout #4: Translating from Predicate Logic

23

Wednesday
October 21

Derivations in Predicate Logic I

Read Fisher, pp 36-45 and pp 132-7.

24

Friday
October 23

Philosophy Friday #5: Truth and Liars

§8.2: I.1-3, 7-9
§8.2: II.1, 3, 4, 6

25

Monday
October 26

Derivations in Predicate Logic and Changing Quantifiers

§8.2: I.4, 5, 10, 12, 13
§8.2: II.5, 7, 9, 10
§8.3: I.1, 3, 7, 8, 10, 14
§8.3: II.3, 5, 9

26

Wednesday
October 28

Conditional and Indirect Proof, Predicate Versions

Prepare for Test #4.

27

Friday
October 30

Test #4: Predicate Logic Translation

§8.4: I.1-4, 10, 12, 19, 21
§8.4: II.4, 6, 9

28

Monday
November 2

Semantics for Predicate Logic

§8.5: I.1, 2, 10
§8.5: II.1, 2, 6, 10
§8.5: III.2, 4

29

Wednesday
November 4

Review for Test #5

Prepare for Test #5.

30

Friday
November 6

Test #5: Predicate Logic Derivations and Invalidity

31

Monday
November 9

Translation Using Relational Predicates I

§8.6: I.1-4, 7-10, 13, 14, 17, 19, 20

32

Wednesday
November 11

Translation Using Relational Predicates II

Read Quine, “On What There Is.”
Read Fisher, pp 59-69.

33

Friday
November 13

Philosophy Friday #6: Quine and Ontological Commitment

§8.6: I.5, 6, 11, 12, 23, 24, 27, 30
Homework Handout #5: Translating from Relations

34

Monday
November 16

Derivations Using Relational Predicates

§8.6: II.2, 3, 4, 7, 9, 13, 14, 19
§8.6: III.1, 4, 8

35

Wednesday
November 18

Translation Using
Identity I

Read Fisher, pp 74-84.

36

Friday
November 20

Philosophy Friday #7: Modal Logic

§8.7: I. 2, 3, 6, 9, 10, 13, 14, 15, 17, 18, 22, 23, 24, 25

Thanksgiving

Break

37

Monday
November 30

Translation Using
Identity II

§8.7: I. 28, 31, 34, 35, 37-39, 40, 42, 43, 45, 46, 47, 50

38

Wednesday
December 2

Derivations Using
Identity I

§8.7: II.2, 3, 5, 6, 9, 11, 12, 19
§8.7: III.2, 3, 7, 8, 10, 12
Complete paper.

39

Friday
December 4

Derivations Using
Identity II
Papers are due.

§8.7: II.7, 10, 14, 15, 17
§8.7: III.5, 13, 15

40

Monday
December 7

Functions

Homework Handout #6: Functions

41

Wednesday
December 9

Second-Order Logic

Homework Handout #7: Second-Order Quantifiers
Read Fisher, pp 84-90 and pp 153-161.

42

Friday
December 11

Philosophy Friday #8:
The Right Logic?

Practice Problems for Test #6

Wednesday
December 16
2pm - 5pm

Test #6 (Final): Relations, Identity Theory, Functions, and Second-Order Logic

Plus, Compensatory Material