See also: the course home page

Predicate Logic

Philosophy 120, Spring 2003
MWF 9:00-9:50, WLH 2111

http://www.fecundity.com/courses

Instructor:   P.D. Magnus
ápmagnus at ucsd.eduñ
Office: H&SS 7055

Text:   Bergmann, Moor, Nelson.
The Logic Book. McGraw Hill, 3rd ed.

Requirements

There will be two take-home exams, two mid-term exams, and a cumulative final exam.
10% - Take-home exams
25% - Mid-term 1
25% - Mid-term 2
40% - Final

Schedule

M 3/31

Introduction

I. Symbolization

W 4/2

review (Ch 2-3)

F 4/4

more review

M 4/7

predicates (Ch 7.1-2)

W 4/9

quantifiers (Ch 7.4)

F 4/11

definition of a wff (7.5)
TAKE-HOME EXAM 1 handed out

M 4/14

symbolization (7.6)
TAKE-HOME EXAM 1 due

W 4/16

more symbolization (7.7)

F 4/18

still more symbolization (7.8)

M 4/21

identity (7.9)

W 4/23

MID-TERM EXAM 1

II. Semantics

F 4/25

from propositions to predicates (Ch 3)

M 4/28

models (8.1)

W 4/30

more on models (8.2-3)

F 5/2

NO CLASS

M 5/5

validity (8.4)

W 5/7

identity (8.6)

F 5/9

the definition of truth (8.7)

M 5/12

more on truth

W 5/14

MID-TERM EXAM 2

III. Proof Theory

F 5/16

review of natural deduction (Ch 5)

M 5/19

more review

W 5/21

"E, $I (Ch 10.1)

F 5/23

$E, "I (Ch 10.1-2)
TAKE-HOME EXAM 2 handed out

M 5/26

Memorial day, no class

W 5/28

derived rules (10.5)
TAKE-HOME EXAM 2 due

F 5/30

rules for identity (10.6)

M 6/2

proof strategy (10.4)

W 6/4

proof theoretic concepts (10.3)

F 6/6

semantics and proof theory: soundness and completeness

M 6/9, 8:00-11:00 AM

FINAL

Policies

No make-up exams will be permitted without a documented medical excuse. Students who miss an exam with a legitimate excuse should e-mail me as soon as possible.