PHIL 301 - Modern Logic

Units: 3 ; G.E./G.R. Area: C4
Advanced course in symbolic logic. Modern logic is more powerful than traditional Aristotelean logic, symbolization covering a greater range of inferences. Modern logic includes results such as Godel’s incompleteness theorem, no system of logic can prove all mathematical truths.

Strongly Recommended Preparation: PHIL 100
Prerequisites: Completion of GE areas A1, A2, A3 and B4.
Equivalent Quarter Course: PHIL 3002.
Possible Instructional Methods: Entirely On-ground.
Grading: A-F or CR/NC (student choice).
G.E./G.R. Area Satisfied: C4 - Upper Division Arts or Humanities