Mathematical logic is a traditional inductive logic.

Formal logic and mathematical logic are two themes of inquiry thinking. The theoretical basis of the former is mainly established by Aristotle, an ancient Greek scholar, so it is traditional logic. Of course, there are also later developed ones, which can also be called logic for short. At present, some majors require careful thinking, so logic is taught in combination with the actual situation of the major, that is, professional logic course. When thinking in formal logic, it is mainly expressed in words. Because of the ambiguity of words, it is easy to produce ambiguity. Mathematical logic is a branch of mathematics, which studies thinking by mathematical methods. The theory of mathematical logic is mainly expressed by definite symbols, and it is also more rigorous and abstract.

Other xx logic is not a subject. However, some applications of the above two disciplines, such as legal logic and MBA logic, still have reference significance.