Similarities and differences between traditional logic and modern logic

1, traditional logic, also known as "ordinary logic". Formal logic is different from mathematical logic. It was founded in ancient times and has been enriched and developed continuously, so it is called traditional logic.

2. Mathematical logic is also called symbolic logic and theoretical logic. It is a branch of mathematics, and it is a subject that studies logic or formal logic by mathematical methods.

3. The research object is the formal system after symbolizing the two intuitive concepts of proof and calculation.

4. Mathematical logic is an indispensable part of mathematical foundation. Although there is the word logic in the name, it does not belong to the category of pure logic.