What is formal logic?

"Formal logic" refers to traditional logic, deductive logic in a narrow sense and inductive logic in a broad sense. Because "formal logic" is essentially intellectual logic, modern mathematical logic has not surpassed the category of "formal logic", that is, traditional logic.

Aristotle's instrumentalism is the basis of the development of formal logic. It can be said that there is no formal logic without instrumentalism.

Logical research can improve one's ability to understand, analyze, evaluate and construct arguments. Because of this, logic has made great contributions to the teaching of modern universities.

definition

"Formal logic" is a discipline system about the concept, category and law of "formal logic", that is, traditional logic.

The so-called "formal logic" refers to traditional logic, narrow deductive logic and broad inductive logic. Because "formal logic" is essentially

It is intellectual logic, so modern mathematical logic does not go beyond the category of "formal logic", which is traditional logic.

The so-called logic is the law of thinking, logic is the theory about the law of thinking, and the law of thinking is the unity of thinking content and thinking form. Formal logic is also a theory to study the law of thinking from the unity of content and form, so it is by no means pure formal logic. Just as the traditional theory that concept is the "form" of thinking confuses concept and language, the theory that traditional logic is the "form" of thinking confuses traditional logic and linguistics.

brief introduction

The science of studying the laws of thinking from the formal structure of thinking. It summarizes the experience and lessons of human thinking, takes the certainty of thinking as the core, and uses a series of rules and methods to help people think and express their thoughts correctly. It is a necessary tool for people to know and transform the world.