PHIL 417 - Logic and Artificial Intelligence
Winter 2021, Section 001
Instruction Mode: Section 001 is  Online (see other Sections below)
Subject: Philosophy (PHIL)
Department: LSA Philosophy
See additional student enrollment and course instructor information to guide you in your decision making.


Waitlist Capacity:
Waitlist Notes:
Advisory Prerequisites:
PHIL 414 or permission of instructor.
May not be repeated for credit.
Primary Instructor:


This course will be about the problem of induction. That is, we will be interested in the problem of detecting patterns in data and extrapolating them to new data sets. We will consider two praradigms of learning: learning in the limit and probably approximately correct (PAC) learning. In both cases, we will be interested in limitative results that establish senses in which a universal learning algorithm is impossible. We will also be interested in the sorts of substantive assumptions about the world that are implicit in various non-universal but successful learning algorithms.

Course Requirements:

Several problem sets and a short paper.

Intended Audience:

The course will be aimed at students who have some background in logic, computer science, or statistics.

Class Format:

The class will meet synchronously online.


PHIL 417 - Logic and Artificial Intelligence
Schedule Listing
001 (LEC)
MW 4:00PM - 5:30PM

Textbooks/Other Materials

The partner U-M / Barnes & Noble Education textbook website is the official way for U-M students to view their upcoming textbook or course material needs, whether they choose to buy from Barnes & Noble Education or not. Students also can view a customized list of their specific textbook needs by clicking a "View/Buy Textbooks" link in their course schedule in Wolverine Access.

Click the button below to view and buy textbooks for PHIL 417.001

View/Buy Textbooks


Syllabi are available to current LSA students. IMPORTANT: These syllabi are provided to give students a general idea about the courses, as offered by LSA departments and programs in prior academic terms. The syllabi do not necessarily reflect the assignments, sequence of course materials, and/or course expectations that the faculty and departments/programs have for these same courses in the current and/or future terms.

No Syllabi are on file for PHIL 417. Click the button below to search for a different syllabus (UM login required)

Search for Syllabus

CourseProfile (Atlas)

The Atlas system, developed by the Center for Academic Innovation, provides additional information about: course enrollments; academic terms and instructors; student academic profiles (school/college, majors), and previous, concurrent, and subsequent course enrollments.

CourseProfile (Atlas)