There are four major types of logic: informal logic, formal logic, symbolic logic, and mathematical logic.