PHIL 230 Introduction to Formal Logic

COURSE WEB PAGES

• SYLLABUS
  Here you will find a description of the role of PHIL230 in GE, course requirements, grading policies, student learning outcomes, textbook information, and links to other course web pages.
• SCHEDULE
• HOMEWORK AND GRADES
  
  • Past correlations between grades and homework submissions
  • Instructions for finding and downloading homework exercises outside the textbook
  • Policies and procedures for submitting homework solutions for credit
• ANNOUNCEMENTS
  Information about tests will be posted here. Any changes in schedule or policies will also be posted here. As of the beginning of the semester, this page includes directions for updating the software that comes with your textbook, and some data about grades from a previous semester.

DOWNLOADS OF REQUIRED COURSE MATERIALS

• Handbook for Intro to Logic
  From this page you can download the contents of the handbookin the form of one large PDF (2 MB) or you can select smaller PDFs from the table of contents. This supplement to the text includes examples with strategies explained, and extra exercises.
• Handbook exercises
  From this page you can download the exercise files for the handbook exercises (indicated by 'H' before the exercise numbers in the schedule of assignments). These are similar to the exercise files on the CD that comes with the text. To download the file for a particular exercise:

  In Explorer	Right click on exercise file link and choose “Save target to disk” from the pull-down menu. Launch the Tarski's World, Boole, or Fitch as appropriate. Use “Open” command to open the file. If that does not work, add the appropriate suffix to the file name “.sen” for sentences, “.tt” for truth tables, “.prf” for proofs) and try again.
  In Netscape	While holding down the “alt/option” key, click on exercise file and choose “Save link target as …” from the pull-down menu. If you get gibberish or code when you open the file, try following the instructions for Explorer.
  In Safari	While holding down the “control” key, click on the exercise file and choose “Download linked file as ...”. (If you hold down “alt/option” instead of “control”, “.html” or “.txt” may be added at the end of the filename and must be deleted.)
  In Firefox	While holding down the “alt/option”, just click on the exercise file. To save file somewhere other than your default location for downloads, hold down “Control” instead of “alt/option”.

• Moodle
  From this site you will be able to download sample tests and selected notes. Use your regular campus user id and password for login. Your courses with materials on moodle should then all be listed for you to select from.

SOFTWARE SUPPORT

Support for the software that comes with the required text:

Language, Proof and Logic, 2nd edition, by Barwise and Etchemendy. ISBN 978-1-57586-632-1.

DO NOT BUY A USED TEXT. This text comes with software that is registered to the user. You will not be able to use the software if it has been registered to someone else.

Last modified January 13, 2012.