Course	Section	Credits	Instructor	Dates	Status	Call Number
PHIL 422	1001	3 (3 max credits)	Beisecker David	Aug. 26, 2024 to Dec. 7, 2024	Closed	82722

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 a hybrid class; class is half face-to-face and half online.
Cross listed with Phil 622
Junior standing required.
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 http://my.unlv.edu for a full catalog and more information.