|Introduction to Logic
This course is an introduction to the basic concepts and techniques of deductive logic. Students will learn how to symbolize English-language sentences precisely and then use formal methods to establish key relations between them (e.g. one sentence implying another or being equivalent to another). This will permit us to demonstrate that certain arguments or inferences are good ones, in the sense that the truth of their assumptions or premises would guarantee the truth of their conclusions.