PL 120-01

Symbolic Logic I

Fall 2017

Dr. H. Hamner Hill

COURSE REQUIREMENTS:  10 Homework Assignments, 3 Hourly Exams, One final Exam

Requirement Due Date or Availability Chapter Covered/
Problems Assigned
Objectives Addressed Venue Point Value
Homework Assignment # 1 Sep 01

1.4 A 5-15

1.4 B 5-15

1.1 Moodle Upload 35
Homework Assignment #  2 Sep 08 2.1, 2.2, 2.3, 2.4 Moodle Upload 35
Homework Assignment #  3 Sep 13 2.4, 3.1, 3.2 Moodle Upload 35
Homework Assignment #  4 Sep 18 3.2, 3.4 Moodle Upload 35
Homework Assignment #  5 Sep 20 3.3, 3.4, 3.5 Moodle Upload 35
Homework Assignment # 6 Oct 13

8.1 C 10-20

8.2 A 5-15

8.2B 1-20

4.1, 4.2 Moodle Upload 35
Homework Assignment #  7 Oct 25

8.3 C 1-10

8.3 D 1-20

8.4 A 10-15

8.5 A 10-15

4.3, 4.4 Moodle Upload 35
Homework Assignment #  8 Nov 08 6.3 A 1-10
6.3 B 1-15
5.1, 5.2, 5.3 Moodle Upload 35
Homework Assignment #  9 Nov 15

9.1 B 1-10
9.1 C  1-20

9.1 D 10-20

6.1, 6.2, 6.3 Moodle Upload 35
Homework Assignment #  10 Nov 27

9.1 F  10-25

9.5 B 1-20

9.5 D 1-15
9.5 E 1-15

7.1, 7.2, 7.3, 7.4 Moodle Upload 35
Exam on Basic Concepts & Truth Functions Sep 22 Chapters 1 & 7, Tutorials 1-4 Units 1, 2, and 3, all objectives In class Exam or Moodle Quiz 150
Exam on Proof Construction Oct 27 Chapter 8, Tutorials 5-8 Unit 4, all objectives In class Exam or Moodle Quiz 150
Exam on Predicate Logic Nov 29 Chapters 6 and 9, Tutorials 9-12 Units 5, 6, 7 and 8 all objectives In class Exam or Moodle Quiz 150
Final Exam Dec 13 All covered material All In class Exam or Moodle Quiz 200

 

Scoring Criteria

Short answer questions will be scored for both accuracy and completeness.  Partial credit will be awarded as appropriate.  Grammar and spelling are not weighted heavily unless they are so poor as to make it diffucult to discern the student's understanding of the material.  Note, I do have pet peeves--"of" is not a part of a verb, there is only one 'e' in the word 'argument.'

Exercises in symbolizing English sentences will be graded on the basis of the accuracy of the symbolization provided.  Where there are multiple, equivalent symbolizations, any legitimate version of the symbolization will be accepted (though I may make snide remarks about how you seem to understand English).  For sentences involving multiple logical operations, partial credit will be awarded.

Proofs will be scored for accurate and legitimate application of rules of equivalence and inference.  Partial credit will be award for incomplete or mildly erroneous proofs.

Essay questions regarding judicial reasoning will be socred on the basis of accurate definition of key ideas and theories, proper application of ideas and theories to specific problems, and the use of ideas and theories in the evaluation of specific bits of legal reasoning.