|
|
|
|
| Professor: | Dr. Robert Barnard |
| Contact Information: | Office: 317 MBHC
Phone: 915 7020 Email: rwbjr@olemiss.edu Home page: http://home.olemiss.edu/~rwbjr |
| Texts:
View reading schedule |
[1] J. Bessie and S. Glennan Elements of Deductive Inference, Wadsworth, 2000 |
| Course Description: | This is a course in the methods of first order predicate logic. We will examine methods for translating arguments in ordinary langauge into symbolic form as well as syntactic and semantic methods for evaluating arguments. Topics to be covered include: the nature of logic and arguments; translation into propositional logic, the syntax and semantics of propositional logic; translation into predicate logic; and the syntax and semantics of first-order predicate logic. If time permits we will examine the nature of identity, definite descriptions, and axiomatic systems. An introductory course in logic and/or familiarity (if not facility) with --at least-- propositional logic is presumed. |
Requirements and Evaluation:
(Click here for details) |
[1] Attendance, Preparation, and Participation
are mandatory.
[2] 2 in-class examinations (1 mid-term (200 pts), 1 comprehensive final (500 pts)). [3] 4 in-class quizzes (100 points each). [4] 10 Homework assignments (50 pts each, best 8 count, but all must be submitted). [5] Conformity to all class policies and expectations. |
Grade Keeper: (Keep track of your own scores over the course of the
term)
| Assignment: | Quiz 1
(100) |
Quiz 2
(100) |
Quiz 3
(100) |
Quiz 4
(100) |
Exam 1 (200) | Exam 2 (500) | Home Work
(400) |
TOTAL |
| Grade: |
Grading Scale:
| GRADE | F | D | C | B | A |
| Point Range | 0-749 | 750-974 | 975-1154 | 1155-1334 | 1335-1500+ |
[A] Policies
[1] No late work will be accepted. You may turn in any homework up to
1 (one) week before the due date.
[2] Only 1 (one) quiz may be made up per term. If you know that you
will miss a quiz arrange to take it early. I do not require, nor will I
accept 'excuses'.
This is a firm rule.
[3] Poor attendance may be penalized, excellent attendance and participation
may be rewarded at the discretion of the instructor.
[4] All work submitted must be your own and must conform to prevailing
academic standards regarding the use of previously published material.
[5] All work must be submitted as a 'hardcopy', no electronic submission
will be accepted.
[6] Individuals who by action or inaction disrupt the class will be
asked to leave.
[7] Submission of work and/or regular attendance constitute both explicit
and implicit acceptance of these policies. Any matter not explicitly governed
by the syalabus is subject to the instructor's whim and fancy. The instructor
reserves the right to change or modify the contents of this document at
any time. Students are responsible for remaining aware of current requirments
and expectations.
[B] Schedule: Tentative Course Reading and
Assignment Schedule
| Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
| AUG 18 | 19 | 20
Course Introduction; Arguments and Evaluation of Arguments; Propositions; pp. ix-30 |
21 | 22 Quiz 1; Simple and Complex statements; Translation; pp. 31-65 | 23 | 24 |
| 25 | 26 | 27 Formal approaches to Propositional Logic; Truth Functional semantics for connectives; pp. 65-92 | 28 | 29* Semantic properties of statements and arguments; using truth tables to evaluate arguments; Brief truth tables; pp. 92- 125 | 30 | 31 |
| SEPT 1 | 2 | 3 Catch up and Practice. | 4 | 5 Quiz 2; Truth Trees pp. 125-154 | 6 | 7 |
| 8 | 9 | 10* Syntactic methods (proofs)in propositional logic; inference rules; pp. 155-166 | 11 | 12 Replacement rules; conditional and Reductio arguments; proof strategies; pp. 166-186 | 13 | 14 |
| 15 | 16 | 17 Catch up and Practice | 18 | 19* Catch up and Practice | 20 | 21 |
| 22 | 23 | 24 Proving semantic properties; adequacy of natural deduction; additional inference rules; pp. 186-199. | 25 | 26* Review | 27 | 28 |
| 29 | 30 | OCTOBER 1
Mid Term EXAM (Exam will emphasize syntactic techniques in propositional logic) |
2 | 3 Introduction to predicate logic; syntax of predicate logic; formal semantics; pp. 200-239. | 4 | 5 |
| 6 | 7 | 8* Translation and symbolization in predicate logic; semantic properties and relations for predicate logic; classifying relations; pp. 239-265 | 9 | 10 Catch up and Practice | 11 | 12 |
| 13 | 14 | 15 Quiz 3; Semantic methods in predicate logic; pp. 265-292 | 16 | 17* Adequacy of the truth tree method for predicate logic; soundness, completness, and decidability; pp. 292-303 | 18 | 19 |
| 20 | 21 | 22 Catch up and Practice | 23 | 24* Syntactic methods in predicate logic; quantifiers; Universal Instantiation (UI); Existential generalization (EG); Quantifier exchange (Q); pp. 304-310 | 25 | 26 |
| 27 | 28 | 29 Syntactic methods continued; Universal genralization (UG); Immediate reduction (R); Existential instantiation (EI); pp. 304-323 | 30 | 31* Catch up and Practice | NOV 1 | 2 |
| 3 | 4 | 5 Catch up and Practice | 6 | 7 Quiz 4; Adequacy of syntactic methods; pp. 323-328 | 8 | 9 |
| 10 | 11 | 12 Introduction to Identity and Functions; symbolization of statements using identity; pp. 328-344 | 13 | 14* Semantic and syntactic methods for predicate logic with identity; pp. 344-360 | 15 | 16 |
| 17 | 18 | 19 Functions; pp. 360-383 | 20 | 21 Catch Up | 22 | 23 |
| 24 | 25 | 26 | 27 | 28 | 29 | 30 |
| DEC 1 | 2 | 3* Applications and Extensions of Predicate Logic pp. 383-425 | 4 | 5 Review for Final Exam
The final exam with be comprehensive and will be weighted 30% Pre Mid-term-70% Post Mid term |
6 | 7 |
| 8 | 9 | 10 FINAL EXAMS | 11 | 12 FINAL EXAMS | 13 | 14 |