PHIL 422: Advanced Logic
Section: 1003
| Course | Section | Credits | Instructor | Dates | Status | Call Number |
|---|---|---|---|---|---|---|
| PHIL 422 | 1003 | 3 (3 max credits) | Ladstaetter Klaus | Jul. 14, 2025 to Aug. 15, 2025 | Open | 53283 |
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
This is an Internet class; refer to Canvas instructions at https://unlv.instructure.com.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: 7/11/2025
50% Refund: 7/18/2025
Last Day to Drop: 8/1/2025
This data is for informational purposes only. Please see for a full catalog and more information.