MODERN SYMBOLIC LOGIC
PHL 245 H1S
Instructor: Niko Scharer Room 505.
Department of Philosophy 5th Floor, Jackman Humanities Building
University of Toronto 170 St. George Street
Lectures: Tuesdays & Thursdays OI G162 O.I.S.E., 252 Bloor Street W.
1:10-1:30: Logic Extension (Mini tutorial, Q & A, support for Logic 2010, etc.)
Office Hours: Tuesdays 10:00-12:00 or by appointment. Rm. 505 Jackman Humanities Building.
Logic Help: Regular Drop-in Logic Help Sessions begin week 3. Hours and location TBA.
Blackboard: The course text, announcements and all other course material will be posted on the
Blackboard site. You will be expected to check the website regularly.
All Course Materials:
REQUIRE INTERNET ACCESS (at least a few times a week)
Niko’s Intro Logic Text:
The text is available on line, through Blackboard.
Logic 2010 is a free, internet based, logic program created by David Kaplan at UCLA.
Weekly assignments will be submitted using this program. Further information is on the Blackboard
site. You will need to register for this session of PHL 245 on the Logic 2010 site.
Make sure you follow instructions for registering for this section on Logic 2010, and use your U of T
student number as your ID and your name (first and last name as it appears in ROSI)
15% Weekly Assignments (Logic 2010)
20% Test #1: Thursday, February 6. (1:00-3:00 PM) Rm 200 Exam Centre, 255 McCaul St.
20% Test #2: Thursday, March 20. (1:00-3:00 PM) Rm 200, Exam Centre, 255 McCaul St.
45% Final Exam (3 hrs) during scheduled exam period. WEEKLY ASSIGNMENTS
Most weeks there will be an online assignment.
Most assignments will be through Logic 2010 (a program you must