|12A||Introduction to Logic||Holliday||MWF 2-3||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: FL21, SU21D, SU21C, SU21A, SP21, FL20, SU20D, SU20C, SU20A, SP20, FL19, SU19D, SU19C, SU19A, SP19, FL18, SU18D, SU18C, SP18, FL17, SU17D, SU17A, SP17, FL16, SU16D, SU16A, SP16, FL15, SU15D, SU15A, SP15, FL14, SU14D, SU14A, SP14, FL13, SU13D, SU13A, SP13, FL12, SU12D, SU12A, SP12, FL11, SU11D, SU11A, SP11, FL10, SU10D, SU10A, SP10, FL09, SU09D, SU09A, SP09, FL08, SU08D, SU08A, SP08, FL07, SU07A, SP07, FL06, SU06A, SP06, FL05, SU05D, SP05, FL04, SU04D, SU04A, SP04, FL03.