Symbolic Logic

3 Credits · Level: Graduate, Undergraduate

Logic examines the principles of correct reasoning. In Symbolic Logic we use and investigate one theory that seems to have successfully captured a variety of such principles. The notions of formal language, proof and derivation, and truth under an interpretation will be considered in detail. There are no pre-requisites for this course, but those who wish a slower-paced course that aims more to improve reasoning ability should consider taking Introduction to Logic instead. This course is more suitable for those with theoretical interests in philosophy, mathematics, linguistics, computer science, or cognitive science.