Symbolic Logic
INSTRUCTOR: Eric Winsberg
OFFICE: FAO 205
PHONE: 974-4635
(if you need to reach me, email is better in most cases.)
E-MAIL: winsberg@cas.usf.edu (please put « symbolic logic » in the
subject line.)
OFFICE HOURS: M
CLASS TIME: W 4-7
Summary:
This is a course in first order, truth functional symbolic logic. Topics include symbolization in propositional and predicate logic, truth tables, the semantics of predicate logic, and proofs in sentential and predicate logic, including polyadic relations and identity. If time permits, we will introduce some topics in metatheory at the end of the semester.
Evaluation:
Three exams (25% each), homework and participation (25%)
Text: V. Klenk, Understanding Symbolic Logic, 4th
edition (Prentice-Hall, 2002)
Tentative schedule of topics and readings.
|
Week |
Chapters |
|
|
1 |
1,2,3 |
|
|
2 |
4,5,6 |
|
|
3 |
6,7 |
|
|
4 |
7,8 |
|
|
5 |
9 |
|
|
6 |
10,11 |
quiz |
|
7 |
12,13 |
|
|
8 |
14,15a |
|
|
9 |
15b |
|
|
10 |
16 |
|
|
11 |
17 |
quiz |
|
12 |
18 |
|
|
13 |
19, 20 |
|
|
14 |
completeness |
|
|
15 |
completeness |
|
|
Finals week |
Last quiz |
|