PHIL150: Symbolic Logic (Q-course)                                      

Text:

Language, Proof and Logic  by Barwise and Echemenedy. (This is an excellent,  new book-software ensemble. It includes state of the art programs to assist teachers and students of logic. Click the picture to visit its website.)

Requirements:

You will pass only if you take both exams (mid-term and final) and only if you earn at least 60 of the possible 100 points.

Grade:

Of the 100 points possible, 40 are from the mid-term exam, 40 are from the final exam, and 20 are from four of the five pop-quizzes.

Content:

We will cover all of the non-optional sections of Parts I and II of Language, Proof and Logic. We will consider both the syntax and the semantics of First Order Logic (FOL). In considering the syntax, we will examine both the language of FOL and a derivation system for FOL. In considering the semantics, we will attend to the basic semantic concept of truth on a model, or relative to a structure. We will also examine relationships between certain syntactic concepts, such as derivability, and certain semantic concepts, such as logical truth. In addition, we shall consider such topics as the nature of scientific inference, Russell's Paradox, and extensions of FOL