Below: Course Description
| Grades & Requirements | Calendar
|
PHL330: Formal Reasoning I |
Fall 2004
|
|
REQUIRED TEXT: Language, Proof and Logic. Jon Barwise and John Etchemendy.
Stanford: CLSI Publications. (Courseware Package: text plus CD software).
LPL Main Page: http://www-csli.stanford.edu/LPL/
Solutions to Selected Exercises: http://www-csli.stanford.edu/LPL/Students/solutions.html
DESCRIPTION: This class provides a formal introduction to logic focusing on the evaluation of statements and arguments couched in an artificial Language of First Order Logic (FOL) with special attention to the application of that language to reality and on its relation to English. (Translation to and from FOL and English will be emphasized in this last connection.) The courseware package accompanying our text includes three modules. Tarski’s World offers practice in using FOL to describe artificial realities (block worlds). Boole offers practice in understanding the meaning, and evaluating the truth or falsehood, of not, and, or, and if … then statements, and in assessing the validity of arguments depending on such sentential connectives. Fitch offers practice with a system of deduction enabling the construction and evaluation of proofs depending for their validity on the meaning of quantifiers (some and all) and identity, besides on connectives. Logical concepts such as truth, meaning, necessity, proof, consistency, contradiction, tautology, and analyticity will be explored through mastery of FOL and the Fitch system of deduction and also viewed in broader logical and philosophical perspective.
|
ASSIGNMENT |
DUE DATES & EXPLANATIONS |
VALUE |
|
Midterm Examination |
as scheduled (see below) |
1/4 of course |
|
Final Examination |
as scheduled (see below) |
3/8 of course |
|
Homework Assignments |
TBA: Submit electronically using Submit and in class |
3/8 of course |
MSU Academic Integrity Policies: http://www.vps.msu.edu/SpLife/rule32.htm
My classroom is rated R: lectures & discussion may include adult themes and language.
|
Class regularly meets MW 10:20-12:10 MW in 118 Berkey |
||||
|
MONDAY |
TUESDAY |
WEDNESDAY |
THURSDAY |
FRIDAY |
|
. What is Logic? Why formal? Introduction |
Aug. 31 |
Atomic Sentences 1.1 – 1.5 |
Sept. 2 |
Sept. 3 |
|
Labor Day No Class! |
Sept. 7 |
The Logic of Atomic Sentences 2.1-2.3 |
Sept. 9 |
Sept. 10 |
|
The Logic of Atomic Sentences 2.4-2.5 |
Sept. 14 |
Boolean Connectives 3.1-3.4 |
Sept. 16 |
Sept. 17 |
|
Boolean Connectives 3.4-3.7 |
Sept. 21 |
The Logic of Boolean Connectives 4.1-4.2 |
Sept. 23 |
Sept. 24 |
|
The Logic of Boolean Connectives 4.3-4.4 |
Sept. 28 |
Methods of Proof for Boolean Logic 5.1-5.4 |
Sept. 30 |
Oct. 1 |
|
Formal Proofs and Boolean Logic 6.1-6.3 |
Oct. 5 |
Formal Proofs and Boolean Logic 6.4-6.6 |
Oct. 7 |
Oct. 8 |
|
Conditionals 7.1-7.3 |
Oct. 12 |
The Logic of Conditionals 8.1-8.2 |
Oct. 14 |
Oct. 15 |
|
Review of Propositional Logic 8.4 |
Oct. 19 |
Exam #1 Chapters 1-8 |
Oct. 21 |
Oct. 22 |
|
Introduction to Quantification 9.1-9.4 |
Oct. 26 |
Introduction to Quantification 9.5-9.7 |
Oct. 28 |
Oct. 29 |
|
The Logic of Quantifiers 10.1-10.3 |
Nov. 2 |
The Logic of Quantifiers 10.4-10.5 |
Nov. 4 |
Nov. 6 |
|
Multiple Quantifiers 11.1-11.4 |
Nov. 9 |
Multiple Quantifiers 11.5-11.6 |
Nov. 11 |
Nov. 12 |
|
Methods of Proof for Quantifiers 12.1-12.2 |
Nov. 16 |
Methods of Proof for Quantifiers 12.3-12.4 |
Nov. 18 |
Nov. 19 |
|
Formal Proofs and Quantifiers 13.1-13.2 |
Nov. 23 |
Formal Proofs and Quantifiers |
Nov. 25 |
Nov. 26 |
|
More About Quantification 14.1-14.3 |
Nov. 30 |
More About Quantification 14.4 & 14.6 |
Dec. 2 |
Dec. 3 |
|
Review of Predicate Logic 11.8 & 13.5 |
Dec. 6 |
Review of Predicate Logic 11.8 & 13.5 |
Dec. 9 |
Dec. 10 |
|
Finals Week |
Dec. 14 |
Dec. 15 |
Final Exam 10am-12 |
Dec. 17 |
|
MONDAY |
TUESDAY |
WEDNESDAY |
THURSDAY |
FRIDAY |