Who is a famous logician?

1, Boolean.

Boolean published Mathematical Analysis of Logic, which is the first of his many contributions to symbolic logic.

2. Russell

Russell, an English philosopher, mathematician, logician, historian and writer, is the main founder of analytical philosophy and the advocate and organizer of the world peace movement.

3. Lucy witz.

Lucasewitz, a Polish logician, whose masterpiece is ternary logic.

4. Godel.

Godel, an Austrian-born American mathematician, logician and philosopher, is one of the greatest logicians in the 20th century. His most outstanding contribution is Godel's incompleteness theorem.

5. Frege.

Frege, German mathematician, logician and philosopher. Is the founder of mathematical logic and analytical philosophy. He is the author of Conceptual Calculus, a symbolic thinking language based on arithmetic language, and The Foundation of Arithmetic, Research on Logical Mathematics of Logarithmic Concepts.

6.pierce.

Pierce, American philosopher, logician and founder of pragmatism. He made an important contribution to formal logic, and many contents contained in his Logic are now called philosophy of science and epistemology. He discovered and founded logic as a branch of symbolic semantics.

7. Taskey.

Taskey, a Polish-born Jewish logician, mathematician and language philosopher, later lived in the United States and was educated at the University of California, Berkeley. A member of Warsaw School, widely involved in topology, geometry, measure theory, mathematical logic, set theory, meta-mathematics, etc. , specializing in model theory, abstract algebra and algebraic logic.

8. Mozi.

Mozi is one of the important pioneers of China's ancient logical thought system. He put forward logical concepts such as argument, category and reason for the first time in the history of China's logic, and asked to study argument as a kind of specialized knowledge.

9. Dignā ga.

Dignā ga is well versed in the traditional Brahmin theory. He fundamentally reformed the traditional Brahman positivism, founded a new Buddhist logic system and made a deep study of logic. ) has made important contributions to the development of.

10, Aristotle.

Aristotle has his own logical paradigm in the sense of science of science and history of science. He is an original logician of the basic theory of logic, taking logic as the research object, distinguishing whether logic is correct or not, and has high attainments in logic.