1. The logic of ancient Greece: represented by the propositional logic of Aristotle and Stoicism.

2. Hui Shi, GongSunLong, Mo Zhai and their later studies.

3. Ancient Indian Buddhism: Indian debating, which is the proper name of Buddhist logic.

Logic has a long and glorious history, at least dating back to Aristotle.

Modern formal deductive logic composed of unified proposition and predicate calculus originated from Boolean, Frege, Peirce and Russell.

Formal logic has made countless progress, including the proof of meta-logic results about the consistency, completeness, reliability and decidability of logical systems;

Modal and moral extension of standard proposition and predicate calculus;

Intuitive, multi-valued, consistency-based, sub-coordination and other corrections to these standard systems;

And efforts to extend the benefits of formalization to inductive reasoning.

Mathematical logic, which once simply refers to the theory of all good reasoning methods, is now often used in a narrower sense to refer to the logic of formal numbers;

Classical logic now usually refers to Frege-Pierce-Russell system.

In contemporary philosophical discourse, logical philosophy is used to refer to the philosophical basis and many branches of logic, including the discussion of different ways to determine and outline the scope of logic;

Argumentation based on logic, including its relationship with metaphysics, meaning theory and reasoning psychology;

Analysis of some concepts such as reasoning, quantification, meaning, truth, validity, logical inheritance, logical truth and implication; And the efforts to solve the semantic paradox formed by the liar paradox family.

Logical innovation comes from the topic of mathematics based on logic; And from the beginning, such people have been interested in modern logic. They are intuitionists, formalists and logicians, and pay attention to the basic problems in mathematics.

Modern logic and logic philosophy are not only beneficial to philosophers and philosophers, but also to experts in many other fields, including linguistics, psychology, legal reasoning and computer theory.