Instructor: Thomas Hofweber. This course meets MW 9:05 – 9:55 a.m. in HO 115, with a recitation on Fridays.
Logic is concerned with what follows from what, and in particular with the fact that there are important patterns of such implications. Mathematical logic approaches the study of logic with the help of mathematically precise artificial languages. In this course we will study valid inferences among sentences in English with the help of simple artificial languages. Logic has proven to be extremely useful in a number of different areas. First, it is very helpful in the study of good and valid reasoning. We will use formal languages to study valid and invalid forms of reasoning, and how to distinguish them. Secondly, mathematical logic is useful in the study of natural languages, and we will see some illustrative examples of this. Finally, logic is crucial for computer science and foundational issues in mathematics. Although these latter two areas quickly get into more advanced topics we will be able to discuss some highlights of these uses of logic.
Language, Proof, and Logic, 2nd edition
Includes software that is tied to unique email addresses, therefore students should only use NEW versions of this book. Do not buy a used copy!
Please note: Some seats in this class have been reserved for freshmen and first year students.
This course satisfies the QR general education requirement; it does not satisfy the PH requirement.