Course	Section	Credits	Instructor	Dates	Status	Call Number
PHIL 422	1002	3 (3 max credits)	Fitts Jesse	Jul. 14, 2025 to Aug. 15, 2025	Open	53165

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

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 http://my.unlv.edu for a full catalog and more information.