Philosophy 060

 Symbolic Logic I

 

  G. Randolph Mayes

    Department of Philosophy

    Sacramento State University

    Mendocino 3028

    mayesgr@csus.edu

 

Syllabus

Grades

Topic

Assignments

Homework

Solutions

Test Solutions

Notes

Week 1

Chapter 1  Basic Concepts of Logic

 

 

Test 1

Chapter 1

Week 2

Chapter 2  Sentences  (2.1-2.5)

Homework 1

Solution  1

 Practice test 2

 

Chapter 2

Week 3

Chapter 2  Sentences (2.6-2.9)

 

Some tree solutions

Test 2

 

Week 4

Chapter 3  Truth Trees (3.1-3.3)

Homework 2

Solution 2

Test 3

Chapter 3

Tree Template

 

Week 5

Chapter 3 Truth Trees  (3.5-3.5)

 

 

Test 4

 

Week 6

Chapter 4 Natural Deduction (4.1-4.3)

Homework 3

 Solution 3

Practice test 5

 Solution to practice test 5

Chapter 4

Week 7

Chapter 4 Natural  Deduction  (4.4- 4.5)

Practice Midterm

 

Solution to MT

Practice test 6

Summary of rules for natural deduction

Week 8

Chapter 4 Natural Deduction  (Practice)

 

Midterm Solution

Practice test 7

Test 7 solution

 

Week 9

Chapter 5  Quantifiers  (5.1-5.3)

 

 

Test 8 practice

Test 8

Chapter 5

Week 10

Chapter 5 Quantifiers (5.4-5.4)

Homework 4

Solution 4

Test 9

 

Week 11

Chapter 6  Quantified Truth Trees (6.1-6.2)

 

 

 

Chapter 6

Week 12

Chapter 6  Quantified Truth Trees (6.3-6.4)

 

 

 

 

Week 13

Chapter 7  Quantified Natural Deduction (7.1-7.2)

Homework 5

Homework 5 Solution

Solution to test 12

Chapter 7

Week 14

Chapter 7  Quantified Natural Deduction (7.3)

 

 

 

 

Week 15

Chapter 8   Identity and Function Symbols (8.1-8.4)

Homework 6/Final Practice

 

 

Chapter 8

Week 16

 

Final  Exam Schedule

 

 

 

Solutions to Selected Problems Chapters 1-8