You now have behind you a course in elementary symbolic logic and its application to argument.

The purpose of this chapter is to give a taste of where logic goes from here. To this end, we will go over briefly a number of different topics in non-elementary logic: second order logic, modal logic, deontic logic, quantum logic, and Intuitionistic logic.

24.1