Classes

Phi 312: Intermediate Logic

Semester: 

Fall

Offered: 

2016

In this class, we tackled some of the most important metatheorems of logic, including soundness and completeness. But we did so in an unusual way: by studying the category Th of propositional theories (i.e., the category whose objects are propositional theories and whose arrows are translations between theories). For this purpose, we had to examine first three other categories and the relations between them: the category Sets of sets, the category Bool of Boolean algebras, and the category Stone of Stone spaces. The class Read more about Phi 312: Intermediate Logic