PHIL 120 - Symbolic Logic I

★ 3 (fi 6)(EITHER, 3-0-0)

A study of sentential logic, including translation, semantics, decision procedures and natural deduction followed by an introduction to predicate logic, concentrating on translation. Note: Not open to students with credit in PHIL 220.

PHIL 325 - Risk, Choice, and Rationality

★ 3 (fi 6)(EITHER, 3-0-0)

A study of the formal theory of rationality including probability and induction, and elementary decision theory, with attention to the paradoxes of choice.

PHIL 220 - Symbolic Logic II

★ 3 (fi 6)(EITHER, 3-0-0)

A brief review of sentential logic followed by an intensive study of predicate logic with identity. Topics include translation, semantics, decision procedures, natural deduction systems, mathematical induction. Other topics include: theories of definite descriptions, elementary modal logic, formal axiomatic systems. Prerequisite: PHIL 120 or consent of Department.

PHIL 365 - Philosophy of Computing

★ 3 (fi 6)(EITHER, 3-0-0)

Philosophical issues arising from computation and computer science. No previous familiarity with computing is necessary.

PHIL 325 - Risk, Choice, and Rationality

★ 3 (fi 6)(EITHER, 3-0-0)

A study of the formal theory of rationality including probability and induction, and elementary decision theory, with attention to the paradoxes of choice.

PHIL 422 - Topics in Advanced Symbolic Logic

★ 3 (fi 6)(EITHER, 3-0-0)

Prerequisite: PHIL 220 or consent of Department.

PHIL 522 - Topics in Logic

★ 3 (fi 6)(EITHER, 3-0-0)