Stanford Introduction to Logic

An Online Course on Symbolic Logic

Appropriate for secondary school students, college undergraduates, and graduate students. To date, over 600,000 people have enrolled in various offerings of this course.


Click here to take the course.


Click here to get teaching materials for the course.


Click here to learn more about the rationale for this course.

Summer Camps
  Logic Institute (Non-residential camp, June 17-28, 2019)
Logic Is Fundamental (Non-residential camp, July 15-26, 2019)
Pre-Collegiate Studies (Residential camp, July 16 - August 1, 2019)

Teacher Training Program (Philadelphia June 24-28, 2019)
Teacher Training Program (Stanford July 8-12, 2019)
Teacher Training Program (Indiana University Bloomington July 14-19, 2019)

Other Online Offerings
  Coursera Online Course (quarterly)
OpenEdX Online Course (annual)
SCPD (annual)

Recent Secondary School Adoptions*
  The Harker School
San Francisco Union High School
Oakwood School

*These secondary schools have received approval to offer Intrologic for credit in support of UC's g requirement for Mathematics and Computer Science. They will be offering Intrologic in their respective schools starting in the 2018-2019 academic year.


Mission of Logic Education Project

Research on the foundations of logic, the development of innovative educational materials and technology, and the use of these innovations in online classes and traditional courses.

SU Home   Maps & Directions   Search Stanford   Terms of Use   Emergency Info
© Stanford University, Stanford, California 94305.   Copyright Complaints