Syllabus
Information
Description
Credit
Schedule
Time:
Location: Instructor: Department:
|
12:30-1:45 TR
Clark Hall 206 Dr. Andrew Black (Lucas Hall 555; tel. 516 6199; email ablack@umsl.edu) Available T 2:30-3:30 and R 6-6.45pm and by appointment Philosophy (Lucas Hall 599; tel. 516 5631) Merrie Bergmann, James Moore and Jack Nelson The Logic Book 3rd edition (McGraw-Hill, 1998) Students with disabilities requiring special accomodations may contact the instructor at any time during the semester. All special aids and accomodations must be confirmed through the office of Disability Access |
This course is a comprehensive introduction to the two most important systems of modern logic - Sentential Logic and Predicate Logic. Many of you will have some small acquaintance with some of the symbols and techniques of sentential logic from "Logic and Language" (Philosophy 060) or a similar junior college class. No knowledge of modern logic is presupposed, however, and we will develop these formal languages systematically from the start. There will be some discussion of the relation of logic to mathematics and to the theory of computation.
The goal of the course is not only to acquaint students with the major approaches to modern logic, but to develop skill and facility in logical proof procedures and to enhance the mental discipline that is required in logical work.
There will be four 1 hour and 15 minute tests, each worth 25% for the final grade. The first three will take place in the regular class period on the following dates: Tuesday September 18th, Thursday October 11th, Thursday November 8th, Thursday December 6th.
There is no final for the class.
AUG 23
28 30
18 20
11
16
8 13
6
|
Introduction
Chapter 1. Basic Notions (sections 1.3, 1.4 and 1.6) PART I: SENTENTIAL LOGIC Chapter 2. Symbolization and syntax for the language SL
(section 2.1, 2.4)
FIRST TEST Chapter 5. The derivation system SD (section 5.1)
SECOND TEST PART II: PREDICATE LOGIC Chapter 7. Introduction (section 7.1)
THIRD TEST Chapter 10. The derivation system PD (section 10.1)
FOURTH TEST
|