Course	Section	Credits	Instructor	Dates	Status	Call Number
PHIL 422	1003	3 (3 max credits)	Fitts Jesse	Jul. 15, 2024 to Aug. 16, 2024	Closed	53494

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/12/2024 50% Refund: 7/19/2024 Last Day to Drop: 8/2/2024

This data is for informational purposes only. Please see http://my.unlv.edu for a full catalog and more information.