Dialectical logic is the system of laws of thought, developed within the Hegelian and

Marxist Marxism is a political philosophy and method of socioeconomic analysis. It uses a dialectical and materialist interpretation of historical development, better known as historical materialism, to analyse class relations, social conflic ...

traditions, which seeks to supplement or replace the laws of

formal logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...

. The precise nature of the relation between dialectical and formal logic was hotly debated within the

Soviet Union The Union of Soviet Socialist Republics. (USSR), commonly known as the Soviet Union, was a List of former transcontinental countries#Since 1700, transcontinental country that spanned much of Eurasia from 1922 until Dissolution of the Soviet ...

and China. Contrasting with the abstract formalism of traditional logic, dialectical logic in the Marxist sense was developed as the logic of motion and change and used to examine concrete forms. Its proponents claim it is a materialist approach to logic, drawing on the objective, material world. Stalin argued in his " Marxism and Problems of Linguistics" that there was no class content to formal logic and that it was an acceptable neutral science. This led to the insistence that there were not two logics, but only formal logic. The analogy used was the relationship between elementary and higher mathematics. Dialectical logic was hence concerned with a different area of study from that of formal logic. The main consensus among dialecticians is that dialectics do not violate the law of contradiction of formal logic, although attempts have been made to create a

paraconsistent logic Paraconsistent logic is a type of non-classical logic that allows for the coexistence of contradictory statements without leading to a logical explosion where anything can be proven true. Specifically, paraconsistent logic is the subfield of log ...

. Some Soviet philosophers argued that the materialist dialectic could be seen in the mathematical logic of

Bertrand Russell Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, and public intellectual. He had influence on mathematics, logic, set theory, and various areas of analytic ...

; however, this was criticized by Deborin and the Deborinists as panlogicism. Evald Ilyenkov held that logic was not a formal science but a reflection of scientific praxis and that the rules of logic are not independent of the content. He followed Hegel in insisting that formal logic had been sublated, arguing that logic needed to be a unity of form and content and to state actual truths about the objective world. Ilyenkov used ''

Das Kapital ''Capital: A Critique of Political Economy'' (), also known as ''Capital'' or (), is the most significant work by Karl Marx and the cornerstone of Marxian economics, published in three volumes in 1867, 1885, and 1894. The culmination of his ...

'' to illustrate the constant flux of

A

and

B

and the vanity of holding strictly to either

A

\neg A

, due to the inherent logical contradiction of self-development. During the Sino-Soviet split, dialectical logic was used in China as a symbol of Marxism–Leninism against the Soviet rehabilitation of formal logic. Recently, research on the formalization of dialectics also attracted scholars by applying formal non-classical logic such as

References

{{Marxism–Leninism Marxist theory Philosophical methodology Philosophical logic