Below: Course Description | Grades & Requirements | Calendar

Michigan State University

 PHL330: Formal Reasoning I

 

Fall 2004
Formal Reasoning I

INSTRUCTOR: Larry Hauser

email:  hauserl@msu.edu
Office:  508 S. Kedzie  Phone: 353-9372

Office Hours: M 9:00-9:50
W
12:30-1:20

Angel:
https://angel.msu.edu/frameIndex.htm
 


REQUIRED TEXT: Language, Proof and Logic. Jon Barwise and John Etchemendy.  Stanford: CLSI Publications.  (Courseware Package: text plus CD software).

LPL Main Page: http://www-csli.stanford.edu/LPL/
Solutions to Selected Exercises: http://www-csli.stanford.edu/LPL/Students/solutions.html

 

DESCRIPTION: This class provides a formal introduction to logic focusing on the evaluation of statements and arguments couched in an artificial Language of First Order Logic (FOL) with special attention to the application of that language to reality and on its relation to English.  (Translation to and from FOL and English will be emphasized in this last connection.)  The courseware package accompanying our text includes three modules.  Tarski’s World offers practice in using FOL to describe artificial realities (block worlds).  Boole offers practice in understanding the meaning, and evaluating the truth or falsehood, of not, and, or, and if … then statements, and in assessing the validity of arguments depending on such sentential connectivesFitch offers practice with a system of deduction enabling the construction and evaluation of proofs depending for their validity on the meaning of quantifiers (some and all) and identity, besides on connectives.  Logical concepts such as truth, meaning, necessity, proof, consistency, contradiction, tautology, and analyticity will be explored through mastery of FOL and the Fitch system of deduction and also viewed in broader logical and philosophical perspective.

GRADES WILL BE BASED ON

ASSIGNMENT

DUE DATES & EXPLANATIONS

 VALUE

Midterm Examination

as scheduled (see below)

1/4 of course

Final Examination

as scheduled (see below)

3/8 of course

Homework Assignments

TBA: Submit electronically using Submit

and in class

3/8 of course

 

MSU Academic Integrity Policies: http://www.vps.msu.edu/SpLife/rule32.htm


My classroom is rated R: lectures & discussion may include adult themes and language. 

APPROXIMATE COURSE CALENDAR

Class regularly meets MW 10:20-12:10 MW in 118 Berkey

MONDAY

TUESDAY

WEDNESDAY

THURSDAY

FRIDAY

What is Logic?  Why formal?

Introduction

Aug. 31

Atomic Sentences

1.1 – 1.5

Sept. 2

Sept. 3

Labor Day

No Class!

Sept. 7

The Logic of Atomic Sentences

2.1-2.3

Sept. 9

Sept. 10

The Logic of Atomic Sentences

2.4-2.5

Sept. 14

Boolean Connectives

3.1-3.4

Sept. 16

Sept. 17

Boolean Connectives

3.4-3.7

Sept. 21

The Logic of Boolean Connectives

4.1-4.2

Sept. 23

Sept. 24

The Logic of Boolean Connectives

4.3-4.4

Sept. 28

Methods of Proof for Boolean Logic

5.1-5.4

Sept. 30

Oct. 1

Formal Proofs and Boolean Logic

6.1-6.3

Oct. 5

Formal Proofs and Boolean Logic

6.4-6.6

Oct. 7

Oct. 8

Conditionals

7.1-7.3

Oct. 12

The Logic of Conditionals

8.1-8.2

Oct. 14

Oct. 15

Review of Propositional Logic

8.4

Oct. 19

Exam #1

Chapters 1-8

Oct. 21

Oct. 22

Introduction to Quantification

9.1-9.4

Oct. 26

Introduction to Quantification

9.5-9.7

Oct. 28

Oct. 29

The Logic of Quantifiers

10.1-10.3

Nov. 2

The Logic of Quantifiers

10.4-10.5

Nov. 4

Nov. 6

Multiple Quantifiers

11.1-11.4

Nov. 9

Multiple Quantifiers

11.5-11.6

Nov. 11

Nov. 12

Methods of Proof for Quantifiers

12.1-12.2

Nov. 16

Methods of Proof for Quantifiers

12.3-12.4

Nov. 18

Nov. 19

Formal Proofs and Quantifiers

13.1-13.2

Nov. 23

Formal Proofs and Quantifiers
13.3-13.4

Nov. 25

Nov. 26

More About Quantification

14.1-14.3

Nov. 30

More About Quantification

14.4 & 14.6

Dec. 2

Dec. 3

Review of Predicate Logic

11.8 & 13.5

Dec. 6

Review of Predicate Logic

11.8 & 13.5

Dec. 9

Dec. 10

Finals Week

 Dec. 14

Dec. 15

Final Exam

10am-12

Dec. 17

MONDAY

TUESDAY

WEDNESDAY

THURSDAY

FRIDAY