PHIL 155: Introduction to Mathematical Logic
1st Summer Session 2019 (5½ weeks: May 15- June 20)
2nd Summer Session 2019 (5½ weeks: June 24–July 30)
Fall Semester 2019 (August 20–December 13)
Mathematical logic is the study of certain precisely specified formal languages. In this course we will study these languages and their applications. Mathematical logic has proven to be extremely useful in a number of different disciplines. First, it is helpful in the study of good and valid reasoning. We will use these 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, mathematical 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.
You can find information on how to purchase textbooks and required materials on the Textbooks page of the Friday Center website.
- Instructor: Cheryl Abbate; Phillip Bold
- Department: Philosophy
- Credit Hours: 3
- View a sample course syllabus for the online course.