Skip to main content

Instructor: Thomas Hofweber. This course meets Mondays and Wednesdays from 11:00AM – 11:50AM in the Genome Sciences Building G200. This course also has a required recitation on Fridays.

Logic is concerned with the fact that some sentences imply others, and in particular with 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.

Required textbook:
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.

Thomas Hofweber’s webpage