Class

Date

Topic Name

Homework to do before the next class meets

1

August 29

Arguments

§1.1: I.1, 3, 7, 14, 20, 27

2

September 1

Validity and Soundness; Translation using Propositional Logic

§1.4: I.1, 3, 7, 8, 10

§1.2: VI.1, 2, 4, 7, 9

§6.1: I.1-11, 13-16

3

September 3

Translation, Wffs

§6.1: I.21-23, 29, 30, 38, 39, 41-43

Homework Handout 1: Translating from Propositional Logic

§6.1: III.1-10

§6.2: I.1-4, 9, 10

4

September 5

Truth Functions

Read Fisher, pp 106-111.

5

September 8

Philosophy 1: Conditionals

§6.1: I.34-37, 45, 47, 48, 50

§6.2: III.III.1-3, 6-11, 12, 21, 22, 24

§6.2: II.1-3, 13, 15

6

September 10

More Truth Functions

§6.2: IV.1-5, 11, 12

Prepare for Test #1. Focus on §1.1, §6.1, and §6.2.

7

September 12

Test #1: Translation and Truth Functions

8

September 15

Truth Tables for Propositions

§6.3: I.1-4, 11, 14

§6.3: II.1, 3, 5, 11

§6.3: III.1, 9, 10

9

September 17

Truth Tables for Arguments

Read Fisher pp 36-39 and pp 125-131.

10

September 19

Philosophy 2: Three Valued Logics

§6.4: II.2, 5, 10, 17, 19

§6.4: I.1, 3, 5, 10

11

September 22

Invalidity and Inconsistency:

Indirect Truth Tables

§1.5: II.2, 3

§6.5: I.3, 6, 12, 13, 15

§6.5: II.2, 5, 9

12

September 24

Rules of Implication, I

Prepare for Test #2. Focus on §6.2 - §6.5.

13

September 26

Test #2:Truth Tables

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

§7.1: IV.1, 3, 8

Note: §7.1-§7.4 contain unassigned problems in §I and §II. If you are finding the derivations in §III too difficult, start with a selection from §I and §II.

14

September 29

Rules of Implication, II

§7.2: III.2, 4, 8, 12, 16, 22

§7.2: IV.1, 2, 6, 8

15

October 1

Rules of Replacement, I

Read Fisher, pp 46-58.

16

October 3

Philosophy 3: Propositions and Logical Truths

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

§7.3: IV.4, 9

17

October 6

Rules of Replacement, II

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

§7.4: IV.6, 8

18

October 8

Practice with Proofs

Prepare for Test 3. Focus on §7.1-7.4.

19

October 10

Test #3: Proofs I

20

October 13

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.

21

October 15

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.

October 17

Fall Break

22

October 20

Logical Truths

§7.7: 1-3, 5, 9, 13, 16, 18

Read Fisher, pp 74-84.

23

October 22

Philosophy 4: Modal Logic

Prepare for Test #4.

Focus on §7.5-§7.7, but really on all of Chapter 7.

24

October 24

Test #4: Proofs II

25

October 27

Predicate Logic, Translation I

§8.1: 3, 4, 7-11, 14-17, 23-28, 35, 37

26

October 29

Predicate Logic, Translation II

§8.1: 2, 6, 18, 19, 21, 31-33, 39, 40, 44, 45, 50-53

27

October 31

Philosophy 5: Adequacy

§8.1: 34, 36, 38, 42, 46, 50, 54, 55, 58, 60

Homework Handout 2: Translating from Predicate Logic

28

November 3

Quantifier Introduction and Elimination I

§8.2: I.1-3, 7-9

§8.2: II.1, 3, 4, 6

29

November 5

Quantifier Introduction and Elimination II

Prepare for Test #5. Focus on §8.1.

30

November 7

Test #5: Predicate Logic Translation

§8.2: I.4, 5, 10, 12, 13

§8.2: II.5, 7, 9, 10

31

November 10

Changing Quantifiers

§8.3: I.1, 3, 7, 8, 10, 14

§8.3: II.3, 5, 9

32

November 12

Conditional and Indirect Proof, Predicate Versions

Read Fisher, pp 59-69.

33

November 14

Philosophy 6: Quine and Ontological Commitment

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

§8.4: II.4, 6, 9

34

November 17

Invalidity

§8.5: I.1, 2, 10

§8.5: II.1, 2, 6, 10

§8.5: III.2, 4

35

November 19

Relational Predicates, Translation I

Prepare for Test #6. Focus on §8.2-8.5.

36

November 21

Test 6: Predicate Logic Derivations

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

Thanksgiving Break

37

December 1

Relational Predicates, Translation II

§8.6: I.5, 6, 11, 12, 23, 24, 27, 30

Homework Handout 3: Translating from Relations

38

December 3

Relational Predicates, Derivations

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

§8.6: III.1, 4, 8

39

December 5

Identity, Translation I

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

Read Fisher, pp 69-73.

40

December 8

Identity, Translation II

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

41

December 10

Identity, Derivations

§8.7: II.2, 3, 5, 6, 9, 11, 12, 19

§8.7: III.2, 3, 7, 8, 10, 12, 13, 15

Read Fisher, pp 153-161.

42

December 12

Philosophy 7: The Right Logic?

Prepare for Test #7. Focus on §8.6 and §8.7.

Practice Problems Handout

December 16

2pm - 5pm

Test 7: Relations and Identity Theory

Plus, Compensatory Material