PHIL 320 - Topics in Logic

The course covers topics in logic relevant to contemporary philosophy, beyond the basic elements of first-order logic. Topics covered may include: definite descriptions and scope; elementary metalogic (e.g., soundness and completeness theorems); plural logic; nonexistence and free logic; higher-order logic; generalized quantifiers; temporal and modal logics; epistemic logic; vagueness; paraconsistent logic.

Unit(s): 1
Group Distribution Requirement(s): Distribution Group I
Prerequisite(s): PHIL 201
Instructional Method: Conference
Grading Mode: Letter grading (A-F)
Notes: This course meets the department’s logic requirement.
Group Distribution Learning Outcome(s):

Understand how arguments can be made, visions presented, or feelings or ideas conveyed through language or other modes of expression (symbols, movement, images, sounds, etc.).
Analyze and interpret texts, whether literary or philosophical, in English or a foreign language, or works of the visual or performing arts.
Evaluate arguments made in or about texts (whether literary or philosophical, in English or a foreign language, or works of the visual or performing arts).