This two week day enrichment program on the campus of Rensselaer Polytechnic Institute in Troy, New York will engage middle school and high school students in a workshop exploring logic. Logic is the science that studies arguments and inferences, and serves as the theoretical foundation of computer science. In this course, we develop mathematical languages used to model arguments and prove (or disprove) their validity. We will also use these languages to represent logic puzzles and solve them efficiently with mathematical rigor, as well as construct our own puzzles. We also briefly explore some of the most important results of the 19th and 20th century mathematics, regarding infinity and provability. Learning outcomes are an increased ability to think logically about arguments and claims, mastering central concepts used in mathematics, computer science, and philosophy, as well as cultivating problem-solving skills that apply both within mathematics and beyond.