Skip to content Skip to navigation

Logic is Fundamental

An Introduction to Symbolic Logic
Course Description: 


Logic - being able to reason clearly - is fundamental to almost everything students do:

  • The subjects they study; the professions they pursue. Computer programming, mathematics, the sciences, social sciences, the humanities, the arts, medicine, law all require students to read, write, and think critically.
  • What you decide. Advertisers, politicians, companies, and organizations, friends, family, and experts in a field - all at some time want students to buy their products, vote for them, or support what they believe and want to do. Logic helps to spot the hype, the nonsense, who is wrong and right.
  • How students think and formulate opinions and views. The students use the language of logic to state observations, define concepts, and form theories. They reason to reach conclusions and solve problems all the time.


  • The timing is right. Stanford has developed a breakthrough new approach for introducing logic based on Herbrand Semantics that makes this difficult subject accessible to high school students. Read More
  • Learn from worldclass experts in the field. A Stanford Computer Science professor and logician, a seasoned math educator and pedagogy designer,  a former research scientist from NASA who instructs Computer Science & Engineering and coaches the Champion Paly Zero Robotics Team, and a former program director from SRI involved in logic applications and intelligent textbook development.
  • Walk away with ready-to-use, engaging course materials. Our course material contains engaging lectures, team and individual exercises, projects, puzzles, and games.
  • Receive personal attention in a small class setting. Since we're limiting registration to 24 teachers, you will benefit from individual attention and small class size.
  • Learn in a resource-rich environment. Stanford's campus, where we use its classrooms and draw on the resources of Silicon Valley and the Bay Area.


  • The logic team encourages teachers to use their online text book and exercises with students! They also want to stay in touch with teachers who use their materials, and keep teachers updated on professional development opportunities and other announcements. Send them an email to be added to their mailing list!

Keywords: teacher training, Math and Science, STEM, logic, high school, reasoning

Audience: High school math, computer science, and philosophy teachers Dates & Times: Jul 31 - Aug 4, 2017
  • Mon | 10:00a - 4:00p
  • Tue - Thu | 9:00a - 4:00p
  • Fri | 9:00a - 1:30p
Format of Course: In-person at Stanford University with follow-up learning communities throughout the school year


  • $750 (Individual)
  • $700 (Group - 3 or more teachers from the same school or district)
Units: 2 Status: Registration opens Tuesday, Jan 17, 4:00p PT

*Please note: The cost for this course includes morning coffee/tea service, lunch, and a reception. This cost does not include lodging or transportation. Please see the Festival Location, Lodging, & Transportation page.  

Connecting teachers from around the globe to share and grow in teaching excellence. This course is part of the Stanford Teaching Festival (STF). The STF aims to bring together teachers from varied classrooms and contexts worldwide. Teachers participate in a common, in-person, high-quality professional learning experience over the summer, and are provided with the resources, tools, and support to engage and grow with one another in meaningful learning communities throughout the school year. LEARN MORE

Course Facilitators: 

Evan Rushton is an Instructional Math Coach for the Hollyhock Fellowship Program. He also supports the research of Technology for Equity in Learning Opportunities at Stanford (TELOS). Prior to CSET, Evan taught math for 8 years in Northeast Los Angeles; serving as department chair and Algebra Project cohort teacher. After earning his M.A. in Education with a focus on Learning, Design, and Technology from Stanford he entered the learning game industry to advise edtech entrepreneurs, develop feedback systems for games, and write instructional materials for teachers. 

Chris Lee Kuszmaul is the lead teacher of Computer Science and Engineering at Palo Alto High School. A former Senior Research Scientist at NASA, he is the head coach of the World Champion Paly Zero Robotics team. He holds a 6th-degree black belt in Aikido.

Dr. Michael Genesereth is best known for his work on computational logic and applications of that work in enterprise management and electronic commerce. Basic research interests include knowledge representation, automated reasoning, and rational action. Current projects include logical spreadsheets, data, and service integration on the World Wide Web, and computational law.

Dr. Vinay K. Chaudhri is a program director in the Artificial Intelligence (AI) Center at SRI International. His research focuses on the science and engineering of large knowledge base systems and spans knowledge representation and reasoning, question answering, knowledge acquisition, and innovative applications. His most recent work has been on creating an intelligent textbook in biology that answers a student’s questions and leads to significant learning gains. He has co-edited a volume on the Theory and Application of conceptual modeling, and two special issues of AI Magazine — one on Question Answering Systems, and another on Application of AI to Contemporary and Emerging Education Challenges. He has taught a course on Knowledge Representation and Reasoning at Stanford University. 

He holds a Ph.D. in Computer Science from University of Toronto where he was a Connaught Scholar and a Fellow of Massey College. He also holds a Masters in Industrial and Management Engineering from Indian Institute of Technology Kanpur , and a Bachelor’s degree in Mechanical Engineering from National Institute of Technology, Kurukshetra.