This site uses cookies. By continuing to use this site, closing this banner, or clicking "I Agree", you agree to the use of cookies.
Read our cookies policy and privacy statement for more information.

×
Stand with UkraineDonate

University of Nevada-Las Vegas Course Info

Las Vegas, Nevada

 3 reviews

Favorite

Course Info

Search for courses by clicking on letters of the alphabet or by using a search bar. Explore course description, number of credits required and course sequences to satisfy graduation requirements.


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, Gdels theorems, and the limits of logicism

Units: 3.0

Prerequisites:
PHIL 114 - Introduction to Symbolic Logic