Traditional Culture Encyclopedia - Traditional stories - From what point of view is logic divided into mathematical logic and what logic?

From what point of view is logic divided into mathematical logic and what logic?

In general terms, logic can be divided into two main categories: formal logic and dialectical logic .

Formal logic is further divided into traditional formal logic and modern formal logic. Traditional formal logic mainly consists of deductive logic and inductive logic;

Modern formal logic mainly refers to mathematical logic (also known as symbolic logic).

Mathematical logic, in turn, has many branches, such as modal logic, canonical logic, multivalued logic, preferred logic, structural logic, and programming logic.

Logic is divided into formal logic (ordinary logic), mathematical logic, philosophical logic, fuzzy logic, non-formal logic, dialectical logic, and constraint logic.

The object of logic is mainly the logical form of thinking and its basic laws and simple logical methods, and the content of the teaching mainly includes introduction, propositional logic, lexical logic, modal logic, inductive logic, the basic laws of logic and argumentation. Under the guidance of the idea of "modernization of logic", we select and arrange the contents based on the high level of modern logic to deal with the content of traditional logic, retain its essence, and strive for the organic combination of modern logic and traditional logic; pay attention to the close connection with the actuality and characteristics of thinking and natural language, and according to the law of cognition and the requirements of teaching, and strive to achieve It is an organic unity of advancement, scientificity and applicability, and is full of inspirations, so as to achieve our teaching purpose.