Lessons in Logic 9: Branches of Logic

One branch is inductive. Another branch is deductive, and that one branches off into its own little branches: categorical and statement logic.