What makes an argument good? How do you show that someone has reasoned invalidly? In this course we study arguments and reasoning with the tools and techniques of formal deductive logic. We will learn the syntax and semantics of propositional and first-order logic, and we will use them to explicate the intuitive notion of a valid argument. We then apply our formal logical techniques to answer questions in a variety of areas. Is there only one size of infinity, or can one infinity be bigger than another? Can there be a set of all sets? How does a computer work? How could water running through hoses implement a computer?
TEXT: Language, Proof and Logic, David Barker-Plummer, Jon Barwise and John Etchemendy.