DEPARTMENT OF PHILOSOPHY
TRENT UNIVERSITY
PHIL – COIS 2410H : Symbolic Logic
2011-12 (FA)
Peterborough
Instructor: Michael Neumann
Office Location: TC WH 104
Email: mneumann@trentu.ca
Office Hours: Wednesday 8:3010:20am
Telephone: 7093
Secretary: Kathy Fife
Email: kfife@trentu.ca
Office Location: LEC S 118.3
Telephone: (705) 748-1011 x 7166
Course Description:
An introductory study of formal logical systems, together with their use in the analysis of various
types of arguments.
Course Pre-requisites: 4.0 university credits or permission of department chair. Excludes
PHIL – COST 240, PHIL – COIS 240H
Course Format:
One two-hour Lecture/Tutorial Weekly
Monday
9:00-10:50am
Location: TBA
Required Text:
Alan Hausman, Howard Kahane, Paul Tidman, Logic and Philosophy: A Modern Introduction,
11TH EDITION (Wadsworth) 2009, ISBN: 0495128449
Course Evaluation:
Type of Assignment
Exercise set 1
Exercise set 2
Exercise set 3
Exercise set 4
Exercise set 5
Exercise set 6
Final Exam
Weighting
10
10
10
10
10
20
30
Due Date
September 26
October 3
October 17
November 7
November 14
December 5
To be scheduled during the Dec 9-21 exam
period
Final Exam: The final exam is cumulative. Grading is NOT on a curve.
University Policies
Academic Integrity:
Academic dishonesty, which includes plagiarism and cheating, is an extremely serious academic offence and
carries penalties varying from a 0 grade on an assignment to expulsion from the University. Definitions,
penalties, and procedures for dealing with plagiarism and cheating are set out in Trent University’s Academic
Integrity Policy. You have a responsibility to educate yourself – unfamiliarity with the policy is not an excuse.
You are strongly encouraged to visit Trent’s Academic Integrity website to learn more:
www.trentu.ca/academicintegrity.
Access to Instruction:
It is Trent University's intent to create an inclusive learning environment. If a student has a disability and/or
health consideration and feels that he/she may need accommodations to succeed in this course, the student
should contact the Disability Services Office, BH Suite 132, (705) 748-1281, disabilityservices@trentu.ca as
soon as possible. Complete text can be found under Access to Instruction in the Academic Calendar.
Please see the Trent University academic calendar for University Diary dates, Academic Information and
Regulations, and University and departmental degree requirements.
Last date to withdraw from Fall term half courses without academic penalty in 2011-12 is November 9, 2011.
Week-by-week schedule:
WEEK OF:
LECTURE TOPIC/HANDOUTS
READINGS/ASSIGNMENTS
Sept.12
Introductory; Truth Tables
-(receive Set 1, worth 10 points)
Ch.3 (pp.53-68)
Sept.19
Truth Tables II
Ch.3 (pp.69-83)
Sept.26
Sentence Logic I: Deductions
- (receive Set 2)(10 points)
Ch.4 (pp.86-122)
SET 1 DUE
Oct. 3
Sentence Logic II: Conditional and Indirect Proof
- (receive Set 3, worth 10 points)
Ch.5 (pp.123-146)
SET 2 DUE
Oct. 10
********Thanksgiving - no class********
Oct. 17
Predicate Logic I: Deductions
- (receive Set 4, worth 10 points)
Oct. 24
*********Reading Week: no class*********
Oct. 31
Predicate Logic II: Theorems
Ch.7 (167-177)
Ch. 9 (pp.200-224)
Ch.10 (pp.240-249)
Ch.11 (pp.257-271)
SET 3 DUE
Ch. 10 (pp.250-253)
2
Nov. 7
Sentence Logic Truth Trees
- (receive Set 5, worth 10 points)
Ch. 6 (pp. 151-162)
SET 4 DUE
Nov. 14
Predicate Logic Trees
SET 5 DUE
Ch.12 (pp.272-284)
Nov.21
Symbolizing Arguments (SL)
- (receive Set 6, worth 20 points)
Ch. 2 (pp.19-44)
Nov. 28
Symbolizing Arguments (PL)
Ch. 7 pp.167-190)(!)
Ch. 10 (pp.226-236)
Dec. 5
Symbolizing Arguments (PL)
SET 6 DUE
Course Policies:
Because answers to the exercise sets are provided during class on the due date, (a) sets are due at the
BEGINNING of that class, and (b) late assignments CANNOT be accepted. Makeup sets for missed
assignments with NOT be available.
PHILOSOPHY DEPARTMENTAL POLICY
Final departmental deadline for submission of work:
No term work will be accepted for evaluation in the Philosophy Department later than one week after the last day of
classes. The last day by which work will be accepted for fall half term will be Thursday, December 14, 2011; for winter
term half courses and full year courses the last day is Thursday, April 12, 2012. One week after the last day of classes is
also the deadline for the filing of Request for Incomplete Standing Forms to the Chair, with all the relevant
documentation.
Note: Most instructors will have deadlines well before this final departmental deadline. It is the student’s responsibility
to be familiar with instructor’s deadlines and deadline policies.
3