. 
 Philosophy 2010
Symbolic Logic I
 12:301:20 M W F 214 Coates
 Exam time: Thursday, December 12th; 10:0012:00

 Instructor: Jon Cogburn
Instructor's Office: 105 Coates
Instructor's Office Hours: M,W 10:3011:30
 Instructor's email: joncogburn@yahoo.com
 Grader: Richard Sanchez
 Grader's email: 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 firstorder 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 emailed.

 Plagiarism and Cheating
The Dean of Students office defines plagiarism in this manner.
 Plagiarismplagiarism 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 inclass or
athome 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 Logicthe 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 testhelp (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
17
 GUEST LECTURE
 Week 7
 Monday, Oct.
7
Homework 13 (due today) Propositional Logic proof theory, review sheet problems
814
Wednesday, Oct. 9
 Homework 14 (due today) Propositional Logic proof theory, review sheet problems 1521
 Friday, Oct. 11
 Homework 15 (due today) Propositional Logic proof theory, review sheet problems
2228
 Week 8
 Midsemester examination period
 Monday, Oct.
14
 Homework 16 (due today) Propositional Logic proof theory, review sheet problems
2936
 Wednesday, Oct. 16

Exam 2Proof 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
110
 Friday, Nov. 22
 Homework 22 (due today) Predicate Logic proof theory, review sheet problems
1120

 Week 14
 Monday, Nov. 25
 Homework 23 (due today) Predicate Logic proof theory, review sheet problems
2130
 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
3140
 Wednesday, Dec. 4
 Homework 25 (due today) Predicate Logic proof theory, review sheet problems
4150
 Friday, Dec. 6
Homework 26 (due today) Predicate Logic proof theory, review sheet problems
5162 
 Week 16Final Exam Period
 Final Exam Thursday, December 12th; 10:0012: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.

