PHIL 422: Advanced Logic
Section: 1001
| Course | Section | Credits | Instructor | Dates | Status | Call Number |
|---|---|---|---|---|---|---|
| PHIL 422 | 1001 | 3 (3 max credits) | Fitts Jesse | Jan. 21, 2025 to May. 10, 2025 | Closed | 25942 |
Description
Study of formal logic through first-order logic with identity. Soundness, completeness, compactness and other metatheorems. Other topics may include computability, modal logic, epistemic logic, many-valued logic, the logic of conditionals, higher-order logics, infinitary logics or non-monotonic logics, number theory, Godel's theorems, and the limits of logicism. This course is crosslisted with PHIL 622. Credit at the 600-level requires additional work.Prerequisites
PHIL 114
Notes
Junior standing required.This is an Internet class; refer to Canvas instructions at https://unlv.instructure.com.
This data is for informational purposes only. Please see for a full catalog and more information.