Symbolic logic undergirds a vast range of contemporary sciences. From Mathematics and Computer Science, to Engineering, Law, Philosophy and Game Theory, mastering the art of expressing one's thoughts clearly and logically is the first step on the road to success. This course, without assuming prior experience, will provide students with an engaging and rigorous foundation in Symbolic Logic. A variety of lectures, exercises, and group activities will keep students engaged as they master key topics, which will include: the syntax and semantics of Propositional Logic, Relational Logic, and Herbrand Logic; validity; contingency; unsatisfiability; logical equivalence; entailment; consistency; natural deduction (Fitch); mathematical induction; resolution; compactness; soundness; and completeness. Students will emerge from their two weeks together with a toolbox of broadly-applicable tools that will allow them to analyze and propose complex propositions wherever their pursuits take them.
Introduction to LogicComputer Science | Mathematics
Scheduled Class Time*
*The course will meet for two hours daily (Monday–Friday) for a live class during this window of time. The exact time will be set closer to the program start. In addition to the live meeting times, students will engage in out-of-class learning assignments such as assigned readings, group work, pre-recorded online lectures, and more.
Completion of an algebra course, as well as comfort with concepts of sets and set operations, such as union and intersection.