Elementary Formal Logic

3 credits · Undergraduate Programs

Sentential and first-order logic, with identity and descriptions, from both deductive and semantic points of view. Completeness, compactness, decidability for sentential logic. Notes: Not open to students with credit in Philosophy 279.