符号逻辑II

3340年菲尔, 符号逻辑II, Topics include: Review of first-order logic from a more abstract perspective than that taken in PHIL 2340; introduction to set theory; basic metalogical results including soundness, 完整性, 密实度, 洛温海姆-斯科勒姆定理, and Godel's in完整性 theorems; connections with issues in computability theory and the foundations of mathematics. 前提条件:PHIL 2340或教师同意，或CSCI 1323.