Traditional Culture Encyclopedia - Traditional stories - What is the main difference between traditional logic and modern mathematical logic?
What is the main difference between traditional logic and modern mathematical 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.
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. Its research object is the formal system after symbolizing the two intuitive concepts of proof and calculation. 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.
- Related articles
- What is Yun-peng Yue's crosstalk?
- High school class sports speech
- What are the traditional classifications of cartons?
- Features of the promenade of the new museum of Suzhou
- What material does the edge grinding furnace need?
- Mongolian favorite sports: horseback riding, wrestling and archery
- The basic problems of Chinese families are shown in the TV series "It's All Good", what kind of family conflicts are exposed in the TV series?
- Are the ethnic groups in Jay Chou ethnic minorities?
- How about Neijiang? Economy, humanities, geography, climate, scenery and future development trend ...
- What are the common teaching modes?