辯證邏輯

辯證邏輯 （ Dialectical Logic ） ， 是在黑格爾和馬克思主義哲學中辯證法部分中 ， 發展起來的思想規律體系 ； 有觀點認爲辯證法特點爲 ， 拒絕經典邏輯中的無矛盾律 ， 旨在並補充或取代形式化的經典邏輯 。 辯證邏輯和形式邏輯之間關係的確切性質在蘇聯和中國內部引起了激烈爭論 。 與傳統邏輯的抽象形式主義相反 ， 馬克思主義意義上的辯證邏輯被髮展爲運動和變化的邏輯 ， 用於考察具體形式 。 也有觀點認爲 ， 辯證法家的主要共識是辯證法不違反形式邏輯的無矛盾律 ， 儘管已經嘗試拒絕無矛盾律的次協調邏輯來研究辯證法 。 中蘇分裂期間 ， 辯證邏輯在中國被用作馬克思列寧主義的象徵 ， 反對蘇聯恢復形式邏輯 。 近年來 ， 中國的邏輯學家也對將辯證法形式化進行了有關研究 ， 涉及利用次協調邏輯, 多值邏輯和相干邏輯 。