Stanford Introduction to Logic

An Online Course on Symbolic Logic

Appropriate for secondary school students, college undergraduates, and graduate students. To date, over 650,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.

Intrologic Summer Camps for 2024
  In-Person Camp for High School Students (17 June 2024 - 28 June 2024)
Online Camp for High School Students (8 July 2024 - 19 July 2024)

Online Teacher Professional Development (8 July 2024 - 12 July 2024)
Advanced Teacher Professional Development (Summer 2025) - Details Forthcoming

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

State Approvals
  Mathematics and Computer Science g requirement in the state of California
Logic II requirement in the state of Texas

Recent Secondary School Adoptions
  The Harker School
San Francisco Union High School
Oakwood School
South Texas Science Academy

Logic Competition
  International Logic Olympiad (2024) - Secondary School Students


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