| |
Nov 28, 2024
|
|
|
|
|
2023-2024 Graduate Catalog ARCHIVED CATALOG: CONTENT MAY NOT BE CURRENT. USE THE DROP DOWN ABOVE TO ACCESS THE CURRENT CATALOG.
|
PHIL 622 - Advanced Logic
Credits 3
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. Crosslisted with PHIL 422. Credit at the 600-level requires additional work.
Prerequisites
Graduate standing.
|
|