PHIL 422: Advanced Logic
Section: 1001
| Course | Section | Credits | Instructor | Dates | Status | Call Number |
|---|---|---|---|---|---|---|
| PHIL 422 | 1001 | 3 (3 max credits) | Fitts Jesse | Jun. 9, 2025 to Jul. 11, 2025 | Open | 52481 |
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.Summer Term registration policies are not the same as Spring and Fall. Failure to familiarize yourself with Summer Term registration policies and procedures may result in penalties. Courses must be dropped the business day prior to start date to avoid penalties. Visit the Summer Term website at summerterm.unlv.edu for complete registration and schedule information.
- Drop Deadlines:
100% Refund: 6/6/2025
50% Refund: 6/13/2025
Last Day to Drop: 6/27/2025
Students who have not submitted immunization records and students who have accepted online-only agreements are not eligible to enroll in classes with any in-person requirements.
This data is for informational purposes only. Please see for a full catalog and more information.