This course aims at three goals:
1) Understanding the basic notions of formal logic
2) Understanding the roles of these notions in specific high school situations
3) Understanding how these notions unify the high school curriculum
4) Understanding the nature of mathematical explanation and justification and the connections with justification in science.
The course will proceed on dual tracks. In one we will use materials around Tarski's world to introduce the fundamental ideas of formal logic. In the other we will be exploring problems from high school mathematics that are best understood using the tools of logic. The work with a computer-based logic curriculum will provide a basis for thinking about the use of computers in high school classrooms.