Course Description: This is a first course in formal reasoning. You will learn to symbolize and evaluate deductive arguments. Topics include symbolization in sentential logic (SL), predicate logic (PL), and relational predicate logic (RPL); truth tables; and proofs and invalidity in SL, PL and RPL. Course learning objectives: 1) Understand how to symbolize and evaluate arguments using a variety of logical systems and tools; 2) Be able to explain, and apply, key logical concepts such as validity, logical form, and derivability.
Course Format: Please note that, although all lectures will be pre-recorded, the course includes multiple synchronous tests (see syllabus for details).
The attached syllabus is subject to change.