PHILOSOPHY 206 - INTRODUCTION TO SYMBOLIC LOGIC
F04
REVISED Course Syllabus

Date:              Topic:                           Sections in Copi:        Webpage:

Part I: Basic Concepts of Symbolic Logic: The Propositional Calculus

  Aug. 31       Why Study Symbolic Logic?

  Sep.   2        Nature of Deduction                1.1 - 1.4      Fundamental Concepts of Logic
                                                                                      (Print-out Version of Fundamental Concepts of Logic)

  Sep.   7        Symbolizing Statements            2.1 - 2.4      How to Symbolize Propositions: Useful Tips
                                                                                      Table of Truth Functional Connectives

  Sep.    9        Truth Table Test of Validity        Quiz #1     How to Construct and Use Truth Tables
                                                                                       Tips on Symbolizing Implications
 

Sep. 14  and Sep. 16   Hurricane Ivan


  Sep. 21        Method of Deduction                  3.1            Rules of Inference

Sep. 23          Rules of Inference                       Quiz #2

Sep. 28         Rules of replacement                    3.2            Rules of Replacement
 
 

Sep. 30 ***** FIRST EXAMINATION ON ALL MATERIAL TO DATE *****
 

Part II: Constructing Proofs in the Propositional Calculus

Oct.   5    Formal Proofs                                     pp. 45-48, III and IV    Rules of Replacement

Oct.   7    No Class Today!  Dr. Folse delivering seminar at University of Pensylvania

Oct.  12    Conditional Proofs                               Quiz #3    How to Do CP's

Oct. 14    Strengthened Conditional Proofs          3.4, 3.7
 

Oct 19    Indirect Proofs 3.5,                              Quiz #4    Indirect Proofs

Oct.  21     Reductio ad Absurdum Technique      3.3, 3.8 Quiz #5 Shortened Truth Table Technique
 


Oct. 26  *** SECOND EXAMINATION ON Sections 3.3, 3.4, 3.5, 3.7,3.8 ***
 
 
 
 

Part III: The Predicate Calculus

Oct. 28   Quantified Statements    4.1     Symbolizing Propositions in the Predicate Calculus

 Nov.  2   Quantification Rules        Quiz # 6

Nov.  4    Universal Quantification    4.2

Nov  9    Existential Quantification    Quiz # 7    Quantification Rules

Nov. 11

Nov. 16    Multiply General Proposition             4.4, 4.5

Nov. 18    No Class - Dr. Folse in Austin for Philosophy of Science Biennial Meeting

Nov. 23     No Class today

Nov. 25    Thanksgiving Holiday

Note Revised Syllabus!!

Nov. 30    Multiply General Proofs                     Quiz #8

Dec.  2 ***** THIRD EXAMINATION ON SECTIONS 4.1 - 4.5 *****

Part IV: Properties of Formal Deductive Systems

Dec.  7    Formal Deductive Systems                        6.1 - 6.5

Dec.  9       Logistic Systems                                        8.1 - 8.2     What Do I have To Know for the Final?
 

[Added Class: Saturday, Dec.   11    A Propositional Calculus: RS                      8.3   ]
 


*** Final Exam Thursday, December 16, 9:00 - 11:00 a.m.***