.
Philosophy 2010
Symbolic Logic I
12:30-1:20 M W F 214 Coates
Exam time: Thursday, December 12th; 10:00-12:00
 
Instructor: Jon Cogburn
Instructor's Office: 105 Coates
Instructor's Office Hours: M,W 10:30-11:30
Instructor's e-mail: joncogburn@yahoo.com
Grader: Richard Sanchez
Grader's e-mail: rsanc11@lsu.edu
Course's Purpose:
To have a mastery of the semantics and proof system for propositional logic and to have a mastery of a Fitch style natural deduction system for first-order predicate logic. 
 
Reading:
All readings will be from the professor's notes, linked to in this document. To download a link just click control while left clicking.
Requirements:

 
Homework/Participation 25%. Unless otherwise announced, homework is due at the beginning of the class period after it is assigned. Since this functions as a participation grade as well, late assignments will not be graded. If the student misses so much class for excused reasons that this hurts his or her grade, the professor will help the student petition for a drop. Each homework is worth 1% of the final grade, so the student can not do three of the assignments and still get full credit.
 
Exams 75% Each exam is worth 25%.
  
Office Hour Policy:
Students are strongly recommended to make use of the instructor's office hours throughout the semester. 
 
Time to Bail if Professor is Not in Class:
If, due to an emergency, the professor does not show up within fifteen minutes of the scheduled beginning of class (i.e. by 4:25), then just split. Please do not contact the office staff with questions on that day. You will be e-mailed.
 
Plagiarism and Cheating
The Dean of Students office defines plagiarism in this manner.
Plagiarism-plagiarism is defined as the unacknowledged inclusion, in work submitted for credit, of someone else's words, ideas, or data. When a student submits work for credit that includes the words, ideas, or data of others, the source of this information must be acknowledged through complete, accurate, and specific footnote references, and, if verbatim statements are included, through quotation marks as well. Failure to identify any source, published or unpublished, copyrighted or uncopyrighted, from which information, terms, phrases, or concepts have been taken, constitutes plagiarism. Students should also take special note that failure to acknowledge study aids such as Cliff's Notes, encyclopedias, or other common reference books, also constitutes plagiarism. Only universally available facts, e.g., the date of Abraham Lincoln's death or Washington's birthdate, are excluded from such documentation requirements. By placing his or her name on work submitted for credit, the student certifies the originality of all work not otherwise identified by appropriate acknowledgments;

Note: Cut and pasting off of web sites without proper citation constitutes plagiarism! For guidelines on how to cite material quoted from web pages, go to http://www.library.wwu.edu/ref/Refhome/chicago.html .
 
I will report any suspected instance of it to the Dean of Student's office. Anyone I suspect of cheating on in-class or at-home assignements will be reported to the Dean of Student's office. 
Tentative Schedule:
Note:  This schedule is only tentative.  Any changes will be announced in class, and then updated here on the site. The homework assignments will be added as the semester progresses, and will include relevant background material.

 

Week 1
Monday, Aug. 26 
Introductions
Wednesday, Aug. 28
What is Philosophy?
Friday, Aug. 30
What is Logic?
Week 2
Monday, Sept. 2
Labor Day Holiday; No classes
Wednesday, Sept. 4
Propositional Logic-the language and syntactic proofs
Homework 1 (due Sept. 6)
Friday, Sept. 6
Propositional Logic- semantic proofs
Homework 2 (due Sept. 9)
Week 3
Monday, Sept. 9
Propisitional Logic- (in)consistency, tautologies, contingency, entailment via semantic proofs
Homework 3 (due Sept. 11)
Wednesday, Sept. 11
Propositional Logic- truth tables
Homework 4 (due Sept. 13)
Friday, Sept. 13
Propisitional Logic- (in)consistency, tautologies, contingency, entailment via truth tables
Homework 5, and test-help (due Sept. 16)
Week 4
Monday, Sept. 16
Review for Exam 1
Wednesday, Sept. 18
Exam 1, semantics of propositional logic
Friday, Sept. 20
Propositional Logic- proof theory, rules without discharge, part 1 (& introduction and elimination, v introduction)
Homework 6 (due Sept. 23)
Week 5
Monday, Sept. 23
Propositional Logic- proof theory, rules without discharge, part 2 (--> elimination, ~ elimination)
Homework 7 (due Sept. 25)
 
Wednesday, Sept. 25
Propositional Logic- proof theory, rules without discharge, part 3 (intuitionist # rule, classical DNE)
Homework 8 (due Sept. 27)
Friday, Sept. 27
Propositional Logic- proof theory, rules with discharge, part 1 (--> introduction)
Homework 9 (due Sept. 30)
Week 6
Monday, Sept. 30
Propositional Logic- proof theory, rules with discharge, part 2 (~ introduction)
Homework 10 (due Oct. 2)
Wednesday, Oct. 2
Propositional Logic- proof theory, rules with discharge, part 2 (v elimination)
Homework 11 (due Oct. 4)
Propositional Logic- proof theory, review sheet (due at beginning of class on day discussed)
[Homework 12 is due Oct. 4 too]
Friday, Oct. 4
Homework 12 (due today) Propositional Logic- proof theory, review sheet problems 1-7
GUEST LECTURE
Week 7
Monday, Oct. 7
Homework 13 (due today) Propositional Logic- proof theory, review sheet problems 8-14
Wednesday, Oct. 9
Homework 14 (due today) Propositional Logic- proof theory, review sheet problems 15-21
Friday, Oct. 11
Homework 15 (due today) Propositional Logic- proof theory, review sheet problems 22-28
Week 8
Midsemester examination period
Monday, Oct. 14
Homework 16 (due today) Propositional Logic- proof theory, review sheet problems 29-36
Wednesday, Oct. 16
Exam 2-Proof Theory of Propositional Logic
Friday, Oct. 18
Predicate Logic Semantics 1 - first order logic and natural language
Homework 17 (due Nov. 4)
Week 9
Monday, Oct. 21
Predicate Logic Proof Theory (the universal quantifier)
Homework 18 (no homework 18)
21 Midsemester grades due in Office of the University Registrar
Wednesday, Oct. 23
PROFESSOR PRESENTING AT CONFERENCE; NO CLASS
Friday, Oct. 25
PROFESSOR PRESENTING AT CONFERENCE; NO CLASS
 
Week 10
Monday, Oct. 28
Predicate Logic Proof Theory (the universal quantifier)
Wednesday, Oct. 30
Predicate Logic Proof Theory (the universal quantifier)
Friday, Nov. 1
Predicate Logic Proof Theory (the universal quantifier)
Homework 19 (due Nov. 11)
Week 11
Monday, Nov. 4 
Predicate Logic Proof Theory (the existential quantifier)
Wednesday, Nov. 6
PROFESSOR PRESENTING AT CONFERENCE; NO CLASS
Friday, Nov. 8
Fall Holiday; No classes
Week 12
Monday, Nov. 11
Predicate Logic Proof Theory (the existential quantifier)
Wednesday, Nov. 13
Predicate Logic Proof Theory (the existential quantifier)
Homework 20 (due Nov. 18)


[Homework 12 is due Oct. 4 too]
Friday, Nov. 15
Predicate Logic Proof Theory (the existential quantifier)
Week 13
Monday, Nov. 18
Predicate Logic Proof Theory (the existential quantifier)
Predicate Logic - proof theory review sheet (problems due at the beginning of class on the day discussed)
Wednesday, Nov. 20 
Homework 21 (due today) Predicate Logic- proof theory, review sheet problems 1-10
Friday, Nov. 22
Homework 22 (due today) Predicate Logic- proof theory, review sheet problems 11-20
 
Week 14
Monday, Nov. 25 
Homework 23 (due today) Predicate Logic- proof theory, review sheet problems 21-30
Wednesday, Nov. 27
Thanksgiving Holiday; No classes
Friday, Nov. 29 
Thanksgiving Holiday; No classes
 
Week 15
Monday, Dec. 2 
Homework 24 (due today) Predicate Logic- proof theory, review sheet problems 31-40
Wednesday, Dec. 4
Homework 25 (due today) Predicate Logic- proof theory, review sheet problems 41-50
Friday, Dec. 6
Homework 26 (due today) Predicate Logic- proof theory, review sheet problems 51-62 
 
Week 16--Final Exam Period
Final Exam Thursday, December 12th; 10:00-12:00
Final grades for degree candidates due by 9:00 A.M., Tuesday, December 17th.
Final grades for degree candidates due by 9:00 A.M., Wednesday, December 18th.

setstats setstats