|12A||Introduction to Logic||Warren||MWF 1-2||TBA|
This course is intended to introduce the student to the concepts and principles of deductive logic: symbolizing English language sentences and arguments in terms of formalized languages; validity, implication, and equivalence in truth-functional and quantificational logic; systems of deduction, and their soundness and completeness. In addition to the three lectures, each student will attend two sections per week.
Requirements: Lecture and section attendance, weekly problem sets, several in-section quizzes, a midterm and a final.
Text: Warren Goldfarb’s Deductive Logic, Hackett, 2003.
Previously taught: FL03.