| |
Dec 05, 2025
|
|
|
|
|
2025-2026 Undergraduate Catalog
|
PHIL 422 - Advanced Logic
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, Gödel’s theorems, and the limits of logicism.
Credits: 3
Prerequisites: .
Notes: This course is crosslisted with PHIL 622. Credit at the 600-level requires additional work.
Fulfills the UNLV General Education Humanities Requirement.
|
|