Metalogic
Alfred Tarski
LPS/Phil 105B, LPS/Phil 205B



Skip directly to: Homework and notes
Skip directly to: Comments and hints

 

Basic Information
Instructor:  Kent Johnson (learn about Kent here)
Office Hours:  Monday, Wednesday after class (and by appointment)
Office Location:  SST 755

Required Text:  We will continue to use the same notes as were used in the A component of this sequence. If you do not already have a copy of these notes, please let me know. 

In terms of reading, we will cover, in order, the following sections: 1, 2.2., 3.2, 4, 6.1, 7.3, 8.2, 9.

Background.
  The course sequence LPS/Phil 105/205 A, B, C constitutes a single survey of mathematical logic.  Although Part A will be useful in this course, we will not develop or assume many of its finer details.  However, it will be important that you have or quickly develop an ability to engage in mathematical reasoning. Also, although it is not a prerequisite, students sometimes find it useful to consult an introductory logic textbook.  There are a great many such books and many of them are acceptable.  Two of them are M. Bergmann, J. Moor, J. Nelson: The Logic Book, McGraw-Hill, third edition, New York 1998, and I. Copi and C. Cohen, Introduction to logic, 10th ed. Upper Saddle River, NJ : Prentice Hall, c1998.

Studying.
  Acquiring skill with logic requires more practice than rote memorization of facts.  In addition to reading the relevant chapters of the textbook, you need to do the exercises in the chapters and/or the problems discussed in class.  Please be wary of thinking you have studied logic if you've only attended class and done the required reading.  Moreover, the material in this course accumulates:  the concepts discussed at the very beginning will be with us until the very end of the course.  It is strongly recommended that you take steps to ensure that you do not get behind. You should be able to do all the problems at the end of each section that we cover.

Grading
.  Your grade for the course will be based on some homeworks.


 
 

Homework and Notes

 




Homework

Homework 1

Homework 2

Homework 3

Homework 4
Notes          





Comments and Hints





 

Home