PHIL 230 Introduction to Formal Logic

Handbook


Professor Stern
Phone: (818) 677-4853
Sierra Tower, Room 508
Office hours: Tu & Th 7:00 - 7:45 AM, Tu & Th 11:00 AM - noon, and Tu 3:30 - 4:00 PM
Email: cindy.stern@csun.edu

Guide to course web pages
Syllabus (requirements, etc.)
Schedule of assignments and tests
Announcements (test info, etc.)
Software updates and info
Handbook exercises
Homework information


Two ways to download the handbook: as one large file, or in sections

Below is a table of contents below for the entire handbook. It has links for various sections at left. The numbers at the end of each URL (before '.pdf') are the page numbers included in the file.
You may download the HANDBOOK AS ONE LARGE PDF (53 pages, 2MB),
OR use LINKS BELOW to download it in the form of SERIES OF SMALLER PDFs.

URL Page(s) Contents
http://www.csun.edu/~hcphi003/PHIL230/handbkLPL/H01-03.pdf 1
2
3
Extra exercises for Chapter 3
Extra exercises for Chapter 4
Extra exercises for Chapter 7
http://www.csun.edu/~hcphi003/PHIL230/handbkLPL/H04-07.pdf 4
5
6
7
Summary of derivation rules
Easy exercises to start on
Selected answers for p. 2
Derivation strategies
http://www.csun.edu/~hcphi003/PHIL230/handbkLPL/H08-17.pdf 8-17 Proofs with strategies explained: arguments
http://www.csun.edu/~hcphi003/PHIL230/handbkLPL/H18-23.pdf 18-23 Proofs with strategy explained:
tautological truths,
tautological equivalence,
tautological inconsistence
http://www.csun.edu/~hcphi003/PHIL230/handbkLPL/H24-26.pdf 24-26 Symbolizaton with multiple quantifiers
http://www.csun.edu/~hcphi003/PHIL230/handbkLPL/H27-32.pdf 27
28
29
30
31
32
Quantified logic derivation rules
Correct and incorrect uses of rules
Summary of derivation rules
Derivation strategies
Exist Elim example with English
Extra exercises for Chapter 13, group 1
http://www.csun.edu/~hcphi003/PHIL230/handbkLPL/H33-42.pdf 33-41
42
Proofs with strategies explained (FO-valid)
Extra exercises for Chapter 13, group 2
http://www.csun.edu/~hcphi003/PHIL230/handbkLPL/H43-51.pdf
43-44
45-47
49-51
Proof with strategies explained:
FO-valid argument
FO-valid sentences
FO-equivalent sentences
http://www.csun.edu/~hcphi003/PHIL230/handbkLPL/H52-53.pdf
52

53
Extra exercises for Chapter 3, group 3:
Sentence FO-valid  or FO-invalid;
Pair of sentences FO-equivalent or not
Set of sentences FO-consistent or FO-inconsistent

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


Last modified January 14, 2012. Valid XHTML 1.0 Transitional