Study of Logic, its history, principles, and modern forms such as formal logic, inductive logic, and modal logic