Back to search results

Introduction to Logic

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 three weeks together with a toolbox of broadly-applicable tools that will allow them to analyze and propose complex propositions wherever their pursuits take them.

Back to search results
Session Two
Accepting Applications
at the time of application
on the first day of session

Completion of an algebra course, as well as comfort with concepts of sets and set operations, such as union and intersection.

九鼎彩票平台官网 赌博威尼斯人-betway必威 威尼斯人赌博-官网 皇冠官网体育平台赌博威尼斯人 乐福彩票-赌博威尼斯人 皇冠官网体育 皇冠官网体育平台 亚洲城ca88|主页官网 澳门葡京网页游戏赌博威尼斯人 betway必威网站