Philosophy 160: Formal Logic                                                                                                         Fall 2001
Section 001

Syllabus

Information
Description
Credit
Schedule
 

Information
Time:
Location:
Instructor:
 

Department:
Textbook:

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 

Back to top

Description

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.

Back to top

Credit

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.

Back to top

Schedule
 
 
AUG 23
28
 
 

30
SEP 4
6
11
13

18

20
25
27
OCT 2
4
9

11
 
 

16
18
23
25
30
NOV 1
6

8

13
15
20
22
27
29
DEC 4

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) 
Chapter 2. Complex symbolizations (section 2.2) 
Chapter 3. Semantics for SL (section 3.1)
Chapter 3. Truth-functional properties of sentences(sections 3.2) 
Chapter 3. Truth-functional consistency and validity (sections 3.3-3.5) 

FIRST TEST

Chapter 5. The derivation system SD (section 5.1) 
Chapter 5. Derivation rules for SD (section 5.2) 
Chapter 5. More derivation rules and strategies (section 5.2 and 5.4)
Chapter 5. SD concepts: validity and inconsistency (section 5.3)
Chapter 5. SD concepts: equivalence and theorems (section 5.3)
Chapter 5. The derivation system SD+ (section 5.5)

SECOND TEST

PART II: PREDICATE LOGIC

Chapter 7. Introduction (section 7.1)
Chapter 7. Introduction to the language PL (sections 7.2 and 3)
Chapter 7. Quantifiers (section 7.4)
Chapter 7. Symbolization techniques (section 7.7 and 8)
Chapter 8. Informal semantics for PL (section 8.1)
Chapter 8. Informal semantics for PL (section 8.1)
Chapter 8. Quantificational semantic properties (sections 8.2-4)

THIRD TEST

Chapter 10. The derivation system PD (section 10.1)
Chapter 10. Applying the derivation rules of PD (section 10.2)
Chapter 10. Applying the derivation rules of PD (section 10.2)
THANKSGIVING HOLIDAY
Chapter 10. Basic concepts of PD (section 10.3)
Chapter 10. Strategies for derivations in PD (section 10.4)
Chapter 10. The derivation system PD+ (section 10.5)

FOURTH TEST 
 

Back to top