PHIL 230 Introduction to Formal Logic

Email: cindy.stern@csun.edu

Announcements

Newest announcements are always added at the top of the list.
Last modified February 20, 2012.

Syllabus (policies, text info)
Schedule of assignments and tests

Homework information
Guide to course web pages
Software updates and info

Handbook for Intro to Logic
Handbook exercises

Schedule fix re Exercise 4.9 (Posted February 20, 2012)

As announced in class several times, 4.9 has been deleted from the list of exercises to be done for credit. This change was not made in the February 19 update of the schedule, but is shown now.

Using Chrome to download handbook exercises (Posted February 20, 2012)

I relabeled the download instructions on the schedule and the homework info page to show Chrome instead of Netscape. Students have reported that no one uses Netscape any more, but the instructions previously labeled for Netscape work for Chrome. If you have a problem using Chrome to download the handbook exercises, or find that these instructions are inaccurate, I would appreciate your letting me know.

Software problems (Posted February 20, 2012)

The release notes for the latest version of the software state that the version of Boole that came on your disks sometimes changes the tables and/or assessments in the process of saving the files. There are also some problems in the version of Fitch that came on your disks. We will use Fitch heavily in the sections of the course leading up to Test 2 and Test 4. If you are using the software from the disk, you should download the newer release by going to https://ggweb.stanford.edu/gradegrinder/login Once you log in, you will be offered an opportunity to download the newest version. Note that if you are using a PC, you will need to delete the previous version before installing the new one.

If you are experiencing problems with the latest version of Boole (Ackermann release) changing your files, please report this at http://ggweb.stanford.edu/support/bugreports

Test 1 information (Posted February 19, 2012)

As announced in class, Test 1 will be given Tuesday, February 21, instead of the originally scheduled date Thursday. February 16.

Also as announced in class, you will need a Scantron Form 882, 882-E, or 882-ES. You will also need a #2 pencil for the Scantron machine to be able to read your answers. You might need one or two pieces of paper.

Test 1 will be very similar to the sample test:

Definitions and argument patterns	7 multiple choice questions	14 points
Translation (English to FOL)	8 multiple choice questions	16 points
Truth tables, applying definitions	5 multiple choice questions 1 yes-or-no question for which you must write a truth-table explain your answers	30 points
Showing consistency (world building)	Show a set of 10 sentences is TW-consistent	36 points
Free points to bring total to 100		4 points

Schedule web page revised (Posted February 19, 2012)

The schedule has been revised to take into account postponement of Test 1 from February 16 to February 21.

Software (Posted January 13, 2012)

Before attempting to resolve software problems, use “Submit” to register your software. If you can't do this from home, use any of the computers in our classroom (SH 190). You will need the ID number from the envelope containing the CD that came with your textbook.
The CD that came with your book may not contain the latest version of the software. Once you have installed the software and registered it (using the Submit component), you can download the latest version from http://ggweb.stanford.edu/support.
Links to useful resources are found on the Language, Proof and Logic homepage. Once your ID number has been registered, you can use the 'Support & FAQ' link there to download copies or updates of the software, get other help, or, if all else fails, report a bug.

Return to COURSE INFORMATION LINKS at the top of this page.

Last modified February 20, 2012.